抽象代数群论群同态基本定理，对应定理等的一些应用举例题目一：设N是群G的正规子群，证明：N是G的极大正规子群的充要条件是$ G/N $是单群……

抽象代数群论有限Abel群是循环群的一些充要条件引理：设$a$是有限Able群G中阶最大的元素，即 o(a)=max\{o(g)|g\in G\}则对任意的$g\in G$，有$o(g)|o(a)$，其中$o(a)$表示$a$的阶（周期） 由此可知$o(a)$是G中所有元素的阶的最小公倍数……

抽象代数 群论有关自同构群的一些问题问题一：若G是无限循环群，则$ AutG $为2阶循环群……

抽象代数群论与商群有关的一类问题问题一：设G是群，H是G的正规子群，若H在G中的指数$ [G:H]=n $有限，则$\forall x\in G\text{有} x^n\in H $ 证明：考虑商群$G/H$，由于$ |G/H|=[G:H]=n $，而$ xH\in G/H $，故$ x^nH=(xH)^n=H $ 故$ x^n\in H $……

抽象代数群论正规子群的一些判定方法方法一：设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$”构成群……