抽象代数群论正规子群的一些判定方法方法一：设H是群G的子群，则$ H\lhd G \Leftrightarrow \forall g\in G $ ，有$ gH=Hg~(\text{或}gHg^{-1}=H) $ 方法二：设H是群G的子群，，则$ H\lhd G \Leftrightarrow \forall g\in G,h\in H $ ，有$ ghg^{-1}\in H $……

抽象代数群论陪集分解与Lagrange定理定义：陪集分解设H是群G的子群，设H在G中的指数为r,即$[G:H]=r$，则称 G=a_0 H\cup a_1 H\cup \cdots\cup a_{r-1} H其中$a_0=e$，$a_i H\cap a_j H=\varnothing $，为群G关于其子群H的陪集分解……

抽象代数群论有关元素的阶(周期)的问题题目1设$G$为群，$ a\in G $，a的阶为m,证明： (1)$ a^n=e $当且仅当$ m|n $ (2)$ a^k=a^h $当且仅当$ k\equiv h(mod m) $……

抽象代数群论群的判定方法方法一：群的定义设G是一个非空集合，G上定义了一个二元运算”$\cdot$”，且该二元运算满足如下条件 (1)封闭性：$ \forall x,y \in G,x\cdot y\in G $ (2)结合律：$ \forall x,y,z\in G,(x\cdot y)\cdot z=x\cdot (y\cdot z) $ (3)幺元：$ \exists e\in G,\forall a\in G,e\cdot a=a\cdot e=a $ (4)逆元：$ \forall a\in G,\exists b\in G,a\cdot b=b\cdot a=e $ 则称G关于”$\cdot$”构成群……