文献あり

部分群に含まれる最大の正規部分群について

995

初めに

記号について

以下では $G$ を群、 $H$ を $G$ の部分群とします。また、 $G / H$ を $G$ の $H$ による左剰余類全体とします。

背景

$H$ の共役部分群 $x H x^{- 1} (x \in G)$ 全体の共通部分はなぜ正規部分群になるのだろうと疑問に思っていました。命題 1 の「1つ目の証明方法」では理由がよくわかりませんでした。この証明方法よりももっと、「なるほど！」と思うような何かがあるのではないかと調べていたところ、Wikipedia で見つけました。

正規部分群は以下の定義とします。

$H$ が $G$ の正規部分群であるとは、任意の $g \in G$ に対して $g H g^{- 1} = H$ が成り立つことをいう。

次は $H$ の共役部分群 $x H x^{- 1} (x \in G)$ 全体の共通部分が正規部分群となる命題です。

群 $G$ の部分群 $H$ に対して、 $⋂_{x \in G} x H x^{- 1}$ は $G$ の正規部分群である。

ここでは 2 つ証明方法を記載します。

1つ目の証明方法

素朴な証明です。

$N = ⋂_{x \in G} x H x^{- 1}$ とおく。任意の $g \in G$ に対して $g N g^{- 1} = N$ を示す。
( $\subset$ )
任意の $y \in g N g^{- 1}$ に対して、 $y = g z g^{- 1}$ となる $z \in N$ が存在する。 $z \in N$ より、任意の $x \in G$ に対して、 $z = (g^{- 1} x) h (g^{- 1} x)^{- 1}$ となる $h \in H$ が存在する。よって、

y = g (g^{- 1} x) h (g^{- 1} x)^{- 1} g^{- 1} = x h x^{- 1} \in x H x^{- 1}

となるので、 $y \in N$ である。

( $\supset$ )
「( $\subset$ )」で示したことより、任意の $g \in G$ に対して、 $g^{- 1} N g \subset N$ が成り立つから、 $N \subset g N g^{- 1}$ が成り立つ。

2つ目の証明方法

こちらは以下の Web サイトを参考にしました。 $l e f t m u l t i p l i c a t i o n$ という作用を考えます。

https://groupprops.subwiki.org/wiki/Group_acts_on_left_coset_space_of_subgroup_by_left_multiplication

$G$ の $G / H$ への作用を $g \cdot (x H) = g x H (g \in G)$ と定義する。この作用により、 $g \in G$ に対して

$φ_{g} : G / H \to G / H, x H \mapsto g (x H)$

を考えることができる。 $S y m (G / H) = {φ_{g} | g \in G}$ と書くと、 $S y m (G / H)$ は写像の合成に関して群となる。準同型写像

$φ : G \to S y m (G / H), g \mapsto φ_{g}$

を考える。任意の $x \in G$ に対して、

$g \in K e r (φ) ⟺ g (x H) = x H ⟺ g \in x H x^{- 1}$

であるから、 $K e r (φ) = ⋂_{x \in G} x H x^{- 1}$ である。

命題 1 の $⋂_{x \in G} x H x^{- 1}$ を $G$ における $H$ の正規核と呼び、 $H_{G}$ と書きます。 $H_{G}$ は命題 1 により $G$ の正規部分群であり、 $H$ の共役部分群全体の共通部分ですので特に $H$ に含まれます。そこで $H_{G}$ は $H$ の中でどのくらい大きな正規部分群なのか、それは次の命題が述べます。