结构推理 设(Z6,?6)是一个群,其中?6是模6加法,Z6={[0],[1],[2],[3],[4],[5]},试找出(Z6,?6)中的所有子群.
【正确答案】根据拉格朗日定理,有可能成为子群时的阶数分别为1、2、3、6.
   (Z6,+6)的单位元素为[0].
   (1)一阶子群为({[0]),+6);
   (2)二阶子群为({[0],[3]),+6);
   (3)三阶子群为({[0],[2],[4]},+6);
   (4)六阶子群为本身(Z6,+6).
   说明根据拉格朗日定理,子群的阶是群的阶的因子,这里6的因子分别有1、2、3、6,但未必这四种子群一定存在,故对所找到的子群要一一验证,看是否符合子群的定义.
   对(1):[0]为单位元素;满足结合律;满足封闭性;[0]的逆元[0].
   对(2):[0]为单位元素;满足结合律;[0]+6[3]=[3],[0]+6[0]=[0],[3]+6[3]=[0],满足封闭性;[0]的逆元为[0],[3]的逆元为[3].
   对(3):[0]为单位元素;满足结合律;[0]+6[2]=[2],[0]+6[4]=[4],[2]+6[4]=[0],[2]+6[2]=[4],[4]+6[4]=[2],[0]+6[0]=[0],满足封闭性;[0]的逆元为[0];[2],[4]互为逆元.
   对(4):(Z6+6)本身是群.
【答案解析】