東大数理院試過去問解答例(2023B01)

595

ここでは東大数理の修士課程の院試の2023B01の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2023B01

$G$ は有限生成群であり、その交換子群 $[G : G]$ は有限群であるとする。
(1) $G$ の任意の部分群は有限生成群であることを示せ。
(2) $G$ の部分群
$G_{x} = {g \in G | g x g^{- 1} = x}$
は指数有限であることを示せ。
(3) 以下の条件
　(i) $N$ は $G$ の正規指数有限部分群である
　(ii) $N$ は $N \cap [G : G] = 0$ なるアーベル群である。
を満たす部分群 $N$ が存在することを示せ。

部分群 $H$ をとり、群準同型
$f : H \subseteq G ↠ G / [G : G]$
をとる。ここで $H^{'} := [G : G] \cap H = {g_{1}, \dots, g_{t}}$ とおく。またf(H)は有限生成アーベル群の部分群であるから有限生成アーベル群であり、その生成元の $H$ への引き戻し(を各生成元に対して一つずつとったもの)を $h_{1}, \dots, h_{s}$ とおく。 $H$ は ${h_{1}, \dots, h_{t}, g_{1}, \dots, g_{s}}$ で生成される。
$x \in G$ を任意にとる。左剰余類の集合から $[G : G]$ への写像
$\begin{aligned} G / G_{i} & \to [G : G] \\ g G_{i} & \mapsto g x g^{- 1} x^{- 1} \end{aligned}$
とると、これはwell-definedな単射である。よって $[G : G]$ の有限性から結果が従う。
$G$ が有限群であれば $N = 0$ とすれば良い。以下 $| G | = \infty$ とする。中心を $C (G)$ とおく。(1)及び(2)から $C (G)$ は $G$ の指数有限部分群である。(1)によりこれは有限生成アーベル群であり、ここで同型 $C (G) ≃ Z^{r} \oplus ⨁_{i} Z / p_{i}^{r_{i}} Z$ が取れる。これは無限群 $G$ の指数有限部分群であるから、 $r \neq 0$ である。ここで捩れなし部分を $N$ とすると、これが所望の条件を満たしている。

投稿日：2023年10月9日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

53666

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2023B01)