0
大学数学基礎解説
東大数理院試過去問解答例(2003B01)
78
0
$$$$
ここでは東大数理の修士課程の院試の2003B01の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
2003B01
$7$次対称群$S_7$について、以下の問いに答えなさい。
(1) $S_7$の位数$2$の元の個数を計算しなさい。
(2) $S_7$の自己同型による互換の像は互換であることを示しなさい。
(3) 群準同型
$$
\begin{split}
\imath:S_7&\to \mathrm{Aut}(S_7)\\
\sigma&\mapsto (\tau\mapsto\sigma \tau\sigma^{-1})
\end{split}
$$
は群同型であることを示しなさい。
- このような元は相異なる$a,b,c,d,e,f$を用いて
$$ {(a,b)(c,d)(e,f)} $$
$$ {(a,b)(c,d)} $$
$$ {(a,b)} $$
で表せるもので尽くされる。よってその個数は
$$ {}_7C_2+\frac{{}_7C_2{}_5C_2}{2}+\frac{{}_7C_2{}_5C_2{}_3C_2}{6}=21+105+105={\color{red}231} $$
である。 - 集合
$$ C_1=\{(a,b)|a\neq b\} $$
$$ C_2=\{(a,b)(c,d)|(a,b)(c,d)=(c,d)(a,b)\} $$
$$ C_3=\{(a,b)(c,d)(e,f)|(a,b)(c,d)=(c,d)(a,b),(a,b)(e,f)=(e,f)(a,b),(c,d)(e,f)=(e,f)(c,d)\} $$
は全て共役類を為している。互換$(a,b)$の同型$f:S_7\to S_7$による像$f(a,b)$は$C_1,C_2,C_3$のいずれかに含まれるが、$|C_1|=21$である一方$|C_2|=|C_3|=105$であったから$f(a,b)\in C_1$、つまり$f(a,b)$が互換であることが従う。 - $2$つの互換$(a,b),(a,c)$を取ったとき、
$$ (a,c)=(b,c)(a,b)(b,c) $$
であることから、
$$ f(a,c)=f(b,c)f(a,b)f(b,c) $$
である。二つの互換がある互換によって共役であるとき、それらは等しいか共通の元を移動させるから、これによって写像$\sigma_F:\{1,\cdots,7\}\to \{1,\cdots,7\}$を
$$ \sigma_F(a)=(\textsf{任意の }x\textsf{ に対して、}F(a,x)\textsf{ に固定されない元}) $$
とおく。このとき
$$ F(a,b)=\sigma_F(a,b)\sigma_F^{-1} $$
と表されるから、$\mathrm{Aut}(S_7)$の元は全て内部自己同型である。これによって$\imath$の全射性が示せた。一方$S_7$の中心は自明であることから$\imath$は単射である。以上から$\imath$は群同型を定めている。
投稿日：9月22日
更新日：9月22日
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
この記事に送られたバッジ
この記事に送られたバッジ
バッジはありません。
投稿者
投稿者
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中