近世代数--置换群--一个置换的例子
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
在 S 4 S_4 S4中,令 K = { ( 1 ) , ( 12 ) ( 34 ) , ( 13 ) ( 24 ) , ( 14 ) ( 23 ) } K=\{(1),(12)(34),(13)(24),(14)(23)\} K={ (1),(12)(34),(13)(24),(14)(23)},要证 K K K是 S S S的正规子群。
- 首先我们要知道正规子群的几个等价定义。
- H ◃ G H \triangleleft G H◃G
- ∀ a ∈ G , a H = H a \forall a\in G,aH=Ha ∀a∈G,aH=Ha
- ∀ a ∈ G , a H a − 1 ⊂ H \forall a\in G,aHa^{-1}\subset H ∀a∈G,aHa−1⊂H
- ∀ a ∈ G , h ∈ H , a h a − 1 ∈ H \forall a\in G,h\in H,aha^{-1}\in H ∀a∈G,h∈H,aha−1∈H
证明:
( 1 ) → ( 2 ) : H ◃ G → ∀ a ∈ G , a H = H a (1)\rightarrow(2):H \triangleleft G\rightarrow \forall a\in G,aH=Ha (1)→(2):H◃G→∀a∈G,aH=Ha
( 2 ) → ( 3 ) : ∀ a ∈ G , a H = H a → a H a − 1 = H → a H a − 1 ⊂ H (2)\rightarrow(3):\forall a\in G,aH=Ha\rightarrow aHa^{-1}=H\rightarrow aHa^{-1}\subset H (2)→(3):∀a∈G,aH=Ha→aHa−1=H→aHa−1⊂H
( 3 ) → (