对于G的子群A,为什么我们称子群A对G的陪集个数[G:A]为A对G的指数呢?这种说法其实是非常直观形象的,在说明这点前,我们先引出循环群的定义。
(定义2.6.1)循环群。由一个元素反复运算生成的群
由于循环群中任意元素都可以表为生成元的幂,所以有
(定理2.6.1)循环群都是Abel群。
证明:直接由群的结合律推出。
(定理2.6.2)循环群G中的任意元素都是G或G的子群A的生成元。
证明:设G的其中一个生成元为g,那么G中的所有元素都可以表示为
(定理2.6.3)循环群的任意子群也是循环群。
证明:这是显然的。
(定理2.6.4)设群
证明:利用群的同态,我们很容易建立
作为上述定理的应用,我们可以确定非Abel群的最小阶数,首先有
(定理2.6.5)p(素数)阶群G均是Abel群,并且同构于
证明:根据定理2.4.2,对于每个群元素g都有
由上述定理可知,2,3,5阶群均是Abel群,而1元群(1阶)显然是Abel群,然后我们再来考虑4阶群,由定理2.4.2可知,4阶群元素的阶只可能是1,2,4,我们先考虑拥有4阶元素的4阶群,显然这个群只可能是
(定理2.6.6)若群G中每一个非幺元素的阶均为2,则G是Abel群。
证明:设
从而由上述定理我们得知,没有4阶元素的4阶群是Abel群。目前,我们已经对4阶群做了完全的分类了,在同构意义下,只存在2个4阶群,它们分别是:
有4阶元素的4阶群
没有4阶元素的4阶群
其中
我们从上述讨论中得知4阶群都是Abel群,那么最小阶非Abel群极有可能是6阶群,而事实上,我们的确可以举出这个具体的例子,在此之前,我们先认识一下什么是置换。
(定义2.6.2)置换。设X是一个有限集,其元素个数为n=|X|,
意义为原排列的第1个元素用第
显然有
我们将这个记号上下翻转,得到
然后对齐(下方元素跟随上方元素移动)整理为正顺序
显然
前面的讨论暗示着我们