ヘルシュタイン演習:次のような有限群Gの部分群 $|G| \nmid i_G(H)!$ 重要な通常のサブグループが含まれている必要があります。

Aug 17 2020

これは、HersteinによるAbstract Algebra(1996)の「より難しい」問題40です。私はこれを行う方法を理解することができません。非常によく似た投稿を見つけましたが。以下は、質問の逐語的なステートメントです。

場合 $G$ 有限群です、 $H$ のサブグループ $G$ そのような $n \nmid i_G(H)!$、 どこ $n=|G|$、通常のサブグループがあることを証明します $N \neq (e)$$G$ に含まれた $H$

PS私はこれに約1週間立ち往生していて、今はタオルを投げているので、解決策を本当に感謝しますが、この問題を解決できるように、代わりにヒントを教えてください(率直に言って、私は希望をあきらめました。

回答

3 DavidA.Craven Aug 17 2020 at 21:34

仮定 $H$ インデックスがあります $n$$G$。の(右、言う)剰余類に対するアクション$H$ 準同型を誘発する $\phi:G\to S_n$このマップの、カーネル、コア$H$$G$は、の最大の正規部分群です。 $G$ に含まれた $H$。したがって、サブグループが存在する場合に限り、コアは重要です。$N$ あなたが必要とするので、 $N$このコアを示します。以来$G/N$ のサブグループと同型です $S_n$$|G/N|\mid n!$。だが$|G|\nmid n!$、 したがって $|N|>1$