群
群 ( G , ∗ ) (G,*) (G,∗)由非空集合 G G G和 G G G的一个代数运算 ∗ * ∗组成,且满足以下公理:
1 、 1、 1、封闭性:对 ∀ a , b ∈ G \forall a,b\in G ∀a,b∈G,有 a ∗ b ∈ G a*b\in G a∗b∈G
2 、 2、 2、结合律:对 ∀ a , b , c ∈ G \forall a,b,c\in G ∀a,b,c∈G,有 ( a ∗ b ) ∗ c = a ∗ ( b ∗ c ) (a*b)*c=a*(b*c) (a∗b)∗c=a∗(b∗c)
3 、 3、 3、单位元:存在 e ∈ G e\in G e∈G,使对 ∀ a ∈ G \forall a\in G ∀a∈G,有 e ∗ a = a ∗ e = a e*a=a*e=a e∗a=a∗e=a
4 、 4、 4、逆元:对 ∀ a ∈ G \forall a\in G ∀a∈G,存在一元素 b ∈ G b\in G b∈G,使 a ∗ b = b ∗ a = e a*b=b*a=e a∗b=b∗a=e
如果群 G G G还满足结合律,也就是对 ∀ a , b ∈ G \forall a,b\in G ∀a,b∈G,有 a ∗ b = b ∗ a a*b=b*a a∗b=b∗a,则称群 ( G , ∗ ) (G,*) (G,∗)为交换群,或者 A b e l Abel Abel群。
另若一个群 G G G的每一个元都是某一个元 a a a的乘方,这时我们把 ( G , ∗ ) (G,*) (G,∗)叫做循环群.我们也说, G G G是由元 a a a生成的,并用符号 G = < a > G=<a> G=<a>表示,其中 a a a叫做 G G G的一个生成元。
群和元的阶
如果群 G G G只有有限个元素,我们称它为有限群.其元素的个数称为群G的阶,记为|G|,否则称它为无限群,记 ∣ G ∣ = ∞ |G|=\infin ∣G∣=∞
对于群 G G G的一个元素 a a a,能够使得 a m = e a^m=e am=e的最小整数 m m m叫做元 a a a的阶,记为 ∣ a ∣ = m |a|=m ∣a∣=m.如果这样的 m m m不存在,我们说 a a a是无限阶的,记为 ∣ a ∣ = ∞ |a|=\infin ∣a∣=∞
结论1:在群 G G G中,若元 a a a的阶为 m m m,且 a n = e a^n=e an=e,则 m ∣ n m|n m∣n
结论2:设 G G G为群, a ∈ G a\in G a∈G,且 ∣ a ∣ = n |a|=n ∣a∣=n,则对任意的整数 k k k,有 ∣ a k ∣ = n ( k , n ) |a^k|=\frac{n}{(k,n)} ∣ak∣=(k,n)n
结论3:在群 G G G中,元素 a a a的阶为 n n n, b b b的阶为 m m m,若 a b = b a ab=ba ab=ba,且 ( n , m ) = 1 (n,m)=1 (n,m)=1,则 ∣ a b ∣ = n m |ab|=nm ∣ab∣=nm
子群和子群的陪集
假设 H H H是群 G G G的一个非空子集,如果对 G G G中的代数运算 H H H本身也成一个群,则称 H H