位数 pqr の有限群は可解群
明けましておめでとうございます. 2022年になりました.
こういう年号が変わるときはその年の数のについてもしかしたら人生で一番考えるときになっているという人もいるかもしれません. 僕もその一人です.
さて は素因数分解すると
となり, つの素数の積になります. このような数は楔数(くさびすう)といいます.
ここでは位数がこういう 型の有限群が可解群であることを示したいと思います.
補題 1. を 有限群 の位数の最小の素因数とする. このとき指数 の部分群 は正規部分群である.
証明 とする. このとき は
が定義でき, これが群準同型写像になることも簡単にわかる. すると は に含まれる の正規部分群になる. ここで は で割り切れ, かつ を割る. が の位数の最小の素因数であったことをふまえると がわかり となり, よって は正規部分群である. (終)
ちなみに上の補題の証明の前半は 「剰余類の置換による群の表現」という, 結構よく見るテクニックになります. (参考文献の「大学院への代数学演習」や YouTube でも龍孫江さんなどが解説をあげていらっしゃいます)
命題 2. < < を相異なる つの素数とする. このとき位数 の有限群 は可解群である.
証明 まず の 部分群の個数の候補は Sylow の定理から で割って 余る の約数となるがそれは のみである. よって 部分群の個数は つだけであり, よって正規部分群になる. これを とおく. を の 部分群の一つとする. このとき は位数 , よって指数が の位数の最小の素因数 である の部分群になる. よって補題より も正規部分群. すると
という部分群の列が が可解群である条件をみたすことを示すものである. (終)
系 3. 位数 である有限群は可解群である.
何か間違いなどあれば教えてください.
[参考文献]