京大数学科院試過去問解答例(2015専門01)

ここでは京大数学教室・RIMSの修士課程の院試の2015専門01の解答例を解説していきます(但し解説の都合上少し問題を改変しています)。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2015専門01

非可換群 $G$ が次の条件

$G$ の相異なる非自明な正規部分群 $N_{1}, N_{2}$ をどのように取っても、包含関係 $N_{1} \subseteq N_{2}$ は成り立たない。

次の問いに答えなさい。

$G$ が相異なる非自明な部分群 $N_{1}, N_{2}$ を持つとする。このとき $G = N_{1} \times N_{2}$ を示しなさい。
$G$ の非自明な部分群の個数は $2$ 個以下であることを示しなさい。

まず二つの非自明な正規部分群 $N_{1}, N_{2}$ を取ったとき、 $N_{1} \cap N_{2}$ も正規部分群なので(i)より $N_{1} \cap N_{2} = {1}$ である。次に $N_{1}$ と $N_{2}$ で生成される部分群も正規部分群なので条件(i)より $G = N_{1} N_{2}$ である。また $N_{1}$ 及び $N_{2}$ の正規性から
$[N_{1} : N_{2}] = N_{1} \cap N_{2} = {1}$
であるから $N_{1}$ の元と $N_{2}$ の元は可換である。以上から $G = N_{1} \times N_{2}$ が従う。
初めに $G$ が相異なる非自明な正規部分群を $2$ つ以上持つとし、これらのうち $2$ つを $N_{1}, N_{2}$ する。 $N_{1}$ 及び $N_{2}$ は非自明な正規部分群を持たない。ここで $N$ を $G$ の非自明な正規部分群とする。ここで $N_{1}$ の部分群
$H_{1} = {n_{1} \in N_{1} | \exists b \in N_{2} s.t. (n_{1}, b) \in N}$
は $N_{1}$ の正規部分群であるから、 $N_{1}, {1}$ のいずれかになる。後者のとき $N = {1}, N_{2}$ が従う。また $H_{2}$ を同様に定義したとき、これも $N_{2}, {1}$ のいずれかになり、後者のとき $N = {1}, N_{1}$ が従う。以下
$H_{1} = N_{1}$
$H_{2} = N_{2}$
として矛盾を導く。ここで $N \cap N_{1} = N \cap N_{2} = {1}$ であることを考慮すると、ある群同型 $f : N_{1} ≃ N_{2}$ が存在して
$N = {(n, f (n)) | n \in N_{1}}$
である。このとき $n$ を固定すると、 $N_{1}$ の中心は自明であるから、 $j \in N_{1}$ を
$i n \neq n i$
を満たすように取ることができる。このとき
$(i, 1) (n, f (n)) (i^{- 1}, 1) = (i n i^{- 1}, f (n)) \notin N$
であるから $N$ の非正規性が従い矛盾する。以上から条件(i)を満たす $G = N_{1} \times N_{2}$ の部分群は $N_{1}, N_{2}$ のみである。以上で結果が示せた。

投稿日：2024年10月2日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53375

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

京大数学科院試過去問解答例(2015専門01)