ここでは京大数学教室・RIMSの修士課程の院試の2020専門01の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
素数p及び自然数nに対し、位数3pnの群は可解であることを示せ。ただしp-群の可解性は証明なしに用いて良い。
p=3のときはp-群の可解性からすぐに従う。
p>3の場合を考える。Gのp-Syllow部分群Hをとったとき、Syllowの定理からこれは正規部分群である。よって完全列0→H→G→G/H→0が取れ、H及びG/Hはそれぞれp-群及び3-群なので、いずれも可解であるからGの可解性が従う。
p=2の場合を考える。帰納法で示す。n=1のとき、Gは3次対称群かアーベル群であるから可解である。次にn≤kのとき、位数2n3の群が可解であったとする。ここでGを位数2k+13の群とする。まずSyllowの定理から2-Syllow部分群は1個または3個である。前者の場合、これをHとすると、H及びG/Hが2-群及び3-群で可解なので、Gの可解性が従う。以下後者の場合を考える。2-Syllow部分群のひとつをHとし、剰余類の集合G/Hを考える。このとき左作用G↷G/Hから準同型G→S3が誘導される。Gの位数は≥12であるから、この準同型は非自明な核Kを持つ。ここで完全列0→K→G→G/K→0が取れる。KはHの部分群であるから可解であり、同時にG/Kも帰納法の仮定から可解である。よってGの可解性が従う。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。