关于同构关系的一些证明(1)

定义一种集合乘法 X Y = { x y ∣ x ∈ X , y ∈ Y } XY=\{xy|x\in X,y\in Y\} XY={ xy∣x∈X,y∈Y}.
那么我们可以看见若$H⩽G$,则 H H = { h h ′ ∣ h , h ′ ∈ H } = { h ∣ h ∈ H } = H HH=\{hh'|h,h'\in H\}=\{h|h\in H\}=H HH={ hh′∣h,h′∈H}={ h∣h∈H}=H.
特别的,若集合中只有一个元素,那么可以这么写 { a } H = a H = { a h ∣ h ∈ H } \{a\}H=aH=\{ah|h\in H\} { a}H=aH={ ah∣h∈H}.
现在我们可以用这种乘法书写了.
$\text{Theorem 1 }$$H◃G$,当且仅当$gH=Hg$.
证明:$H=g^{-1}Hg$,显然正规子群的共轭仍然是原来的正规子群.
$\text{Lemma }$若$H◃G$,那么任意集合在集合乘法中与$H$可交换.
Definition  定 义 G / H = { a H ∣ a ∈ G } , 其 中 H ◃ G . \text{Definition }定义G/H=\{aH|a\in G\},其中H\triangleleft G. Definition 定义G/H={ aH∣a∈G},其中H◃G.
$\text{Theorem 2 }G/H$是群,称作商群.
$H$是$G/H$的幺元,$aH$的逆元是$a^{-1}H$,若$aH,bH\in G/H,$那么$aHbH=abHH=(ab)H\in G/H$,也容易验证结合律,从而$G/K$是群.
显然$G/H$的每一个元素都是群$G$的一个陪集,由拉格朗日定理商群的阶$[G:H]=\frac{|G|}{|H|}$.
$\text{Example }$ Z / < m > = Z m Z/\left<m\right>=Z_m