=========================================
正規部分群に関する幾つかの性質
=========================================
正規部分群に関する重要な性質や定理を幾つか羅列的に取り上げます。いまここで全て理解できなくても、またいつか正規部分群の性質でつまずいたときに、この記事を参照してして頂ければ良いと思います。



中心
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
中心は、常に群の正規部分群です。中心 $Z$ に属する元 $x$ が、群に属する任意の元 $g$ と $gx=xg$ の関係を満たすことを考えれば、 $gZg^{-1}=Z$ は明らかでしょう。



部分群に含まれる正規部分群
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ の正規部分群 $K$ が、部分群 $H$ に含まれるとします。このとき、 $K$ は $H$ の正規部分群でもあります。


.. admonition:: theorem 

	 $K \triangleleft G, \  K \subset H \ \longrightarrow \ K \triangleleft H$ 


.. admonition:: proof 

	定義より $h \in H$ ならば $h^{-1}Kh=K$ がなりたつなずなので、 $K$ は $H$ の正規部分群だといえます■


	

正規部分群の共通集合
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

.. admonition:: theorem
	
	群 $G$ の二つの正規部分群 $H,K$ の共通集合 $H \cap K$ も正規部分群になります。 


.. admonition:: proof 

	いま $H \cap K$ に含まれる元 $a$ を考えると、 $H$ も $K$ も正規部分群であることから、群 $G$ の任意の元 $g$ に対し、 $gag^{-1} \in H , gag^{-1} \in K$ がなりたつので、 $gag^{-1} \in H \cap K$ がいえます。 $a$ は $H \cap K$ に含まれる任意の元だったので、全体としては $g(H \cap K)g^{-1} \subset H \cap K$ が成り立つと言えます（１）。この両辺に、左側から $g^{-1}$ 、右側から $g$ を乗ずれば $(H \cap K) \subset g^{-1}(H \cap K)g$ を得ますが、いま $g$ は任意の元だったので $g$ の代わりに $g^{-1}$ を代入しても良いはずです。すると  $(H \cap K) \subset g(H \cap K)g^{-1}$ を得ます（２）。(1)(2)より、 $H \cap K = g^{-1}(H \cap K)g$ が要請され、 $H \cap K$ も正規部分群であることが分かります。■ 




.. admonition:: theorem
	
	群 $G$ の部分群 $H$ と、 $G$ の正規部分群 $N$ の積 $HN$ は $G$ の部分群になります。 
	
.. admonition:: proof 

	いま $H$ の任意の元 $h$ に対し、 $hN=Nh$ がなりたつので $HN \subset NH$ が言えます。同様に $Nh=hN$ より  $HN \supset NH$ がいえるので、結局 $HN = NH$ が示せます。このとき $HN$ の任意の元 $h_{1},h_{2},n_{1},n_{2}$ (ただし $h_{1},h_{2} \in H$ , $n_{1},n_{2} \in N$ とします)に対し、 $(h_{1}n_{1})^{-1}(h_{2}n_{2})={n_{1}}^{-1}{h_{1}}^{-1}h_{2}n_{2}\in NHHN = HHNN = HN$ がいえるので、部分群の定義より $HN$ は $G$ の部分群です。■
	
	
正規部分群に対する元の合同
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
部分群に関する元の合同を 剰余類２_ で勉強しました。 $a,b \in G$ が、 $a^{-1}b \in H \subset G$ を満たすとき、 $a$ と $b$ は $H$ に関して左合同であるといい、 $ba^{-1} \in H \subset G$ を満たすとき、 $a$ と $b$ は $H$ に関して右合同であると言い、 $a \sim b(H)$ のように書くのでした。


左合同は $b\in aH$ ,右合同は $b\in Ha$ と書き換えられますが、正規部分群では $aH=Ha$ であるため、左合同と右合同の区別はありません。


また、 $a \sim a'(H)$ の場合、何か他の元を作用させても $ba \sim ba'(H)$ がなりたつはずです( $xa$ が属するのは $a$ とは違う共役類ですが、 $ba$ と $ba'$ は同じはずです)。同様に $ab \sim a'b$ もなりたちます。この二式を併せて、合同の関係にある二組の元 $a,a',b,b'$ に関して正規部分群 $H$ の場合は次式がなりたつことが分かります。

<tex>
a \sim a'(H), \ b \sim a'(H) \ \ \Longleftrightarrow \ \ ab \sim a'b'(H) 
</tex>


つまり、正規部分群に関する剰余類の間には、乗法が定義できるということです。

<tex>
(aH)(bH)=abH
</tex>

この話題は 商群_ に続きます。


.. _商群: http://www12.plala.or.jp/ksp/algebra/QuotinentGroup/
.. _群の公理: http://www12.plala.or.jp/ksp/algebra/GroupAxiom/
.. _ラグランジェの定理: http://www12.plala.or.jp/ksp/algebra/LagrangeanTheorem/
.. _群の中心: http://www12.plala.or.jp/ksp/algebra/GroupCentre/
.. _剰余類２: http://www12.plala.or.jp/ksp/algebra/Remainder2/

@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: NormalSubgroup2@@