ガランガラのブログ

数学や好きな音楽について書くことが多いです。

N/C Theorem

今回は群論 N/C Theorem について簡単にまとめたいと思います.

 N はNormalizer,  C はCentralizer のことです. まずはこれから使う概念の定義を簡単にまとめます.

定義 1.  H を群  G の部分群とする.

  1.  N_{G}(H)=\{ g \in G \mid gHg^{-1}=H \} H正規化群(normalizer)という.
  2.  C_{G}(H)=\{g \in G \mid \forall h \in H, gh=hg \} H中心化群(centralizer) という.
  3.  Z(G):=C_{G}(G) を群  G中心という.

 (余談ですが中心でZが使われるのは, ドイツ語の「Zentrum」からきているみたいです)

これらはすべて群  G の部分群になります. また, 定義からすぐわかることとして

  1.  H \lhd N_{G}(H) 
  2.  H \lhd G \Longleftrightarrow N_{G}(H)=G
  3. 中心化群は  H と可換なものが取り出されている.
  4.  G がアーベル群  \Longleftrightarrow Z(G)=G

 

などがあると思います. また中心に関しては  p 群の中心は単位群でないということも有名だと思います. (この事実は  p 群に関する命題を帰納法を使って示すときなどに便利だなと思っています)

自己同型群などに関しても定義していきます.

定義 2.  G を群とする.

  1.  \rm{Aut} (G) = \{ \phi : G \to G \mid \phi は同型写像 \} G自己同型群という.
  2.  g \in G に対して  i_{g} : G \to G i_{g}(h)=ghg^{-1} と定義し, 内部自己同型という.
  3.  \rm{Inn} (G) = \{ i_{g} \mid g \in G \}内部自己同型群という.

 

 簡単にわかることとして  g \in G に対して

 i_{g}=\rm{id}_{G} \Longleftrightarrow \forall h \in G,\ ghg^{-1}=h \Longleftrightarrow g \in Z(G)

などがあります. この事実はすぐ後に使います. では準備が長くなりましたが本題に入りたいと思います. 次のような写像を考えます.

 \psi : G \to  \rm{Aut} (G), \psi(g)=i_{g}

 この写像が群準同型写像になること, 像が  \rm{Inn} (G)になること, そして核が中心  Z(G) になることが簡単に確認できます. よって準同型定理から

 G/Z(G) \cong \rm{Inn} (G) \subset  \rm{Aut} (G)

 が従います. ここで本題の  N/C Theorem とは何かというと, これを  G のところを任意の部分群  H にして少し一般化したような定理です. 

定理3. (N/C Theorem)

 H を群  G の部分群とする. このとき

  \psi : N_{G}(H) \to  \rm{Aut} H, \psi(g)=i_{g}|_{H} は well-defined で

 N_{G}(H)/C_{G}(H) \cong  \rm{Im} (\psi) \subset  \rm{Aut} (H)

 

この定理で  H=G としたときにその前に述べた主張になることがわかると思います. 

部分群  H正規部分群でない場合には g \in G, h \in H に対して,  ghg^{-1} \in H とはならないので, 写像  \psi が定義される( i_{g}|_{H} \rm{Aut} (H)の元になる)ように定義域が正規化群に修正されています.  核として  H の元と可換な  G の元が取り出されています. また似たようなこととして次のことも成り立ちます.

命題4. 

 H を群  G の部分群,  N \lhd G とする. このとき

 \psi : H \to  \rm{Aut} (N), \psi(g)=i_{g}|_{N} は well-defined で

 H/\{h \in H \mid \forall n \in N, hn=nh \} \cong  \rm{Im} (\psi) \subset  \rm{Aut} (N)

 

 このときの核は  N の元と可換な  H の元が取り出されています. このことから命題4. の設定の下で,

 \rm{Im} (\psi) = \{e\}   \Longleftrightarrow  H N が可換 

 などが成り立つことがわかります. 有限群での議論だと,  \rm{Im} (\psi) の位数が  H の位数と  \rm{Aut} (N) の位数の公約数になるということが利用できて便利だと思います. 実際京都大学の平成30年度の院試の専門の問題はこのことを使う解法があります. 面白いのでぜひ解いてみてください.

 

何か間違いや改善点などがあれば教えてください. (定理とか囲えるようになりたい)

 

[参考文献]