离散数学关于循环群的问题书上写循环群的生成元不是使所有元素都等于它的幂吗,后面又写了个定理说对于任何小于群的阶数n且与他互素的都是生成元,比如15阶循环群G=,它的生成元有a,a^2,a^4,……,a^14,像a^2,a^4怎么是生成元的,其他元素像a^14能表示成它们的整数次幂吗?还有子群的问题,说n的每个正因子d恰好有一个d阶子群,但是书上的例子G是模12加群,12的正因子有1,2,3,4,6,12,那么=={0}后面注释是1阶子群,不应该是12阶子群吗?还有一道题设G=是15阶循环群,它的子群有,={a^3,a^6,a^9,a^12,e},={a^5,a^10,e},G.这里面,我能明白,但,它们是哪个因子的子群啊?学习离散数学很多地方看不懂,感激不尽!
问题描述:
离散数学关于循环群的问题
书上写循环群的生成元不是使所有元素都等于它的幂吗,后面又写了个定理说对于任何小于群的阶数n且与他互素的都是生成元,比如15阶循环群G=,它的生成元有a,a^2,a^4,……,a^14,像a^2,a^4怎么是生成元的,其他元素像a^14能表示成它们的整数次幂吗?
还有子群的问题,说n的每个正因子d恰好有一个d阶子群,但是书上的例子G是模12加群,12的正因子有1,2,3,4,6,12,那么=={0}后面注释是1阶子群,不应该是12阶子群吗?
还有一道题设G=是15阶循环群,它的子群有,={a^3,a^6,a^9,a^12,e},={a^5,a^10,e},G.这里面,我能明白,但,它们是哪个因子的子群啊?
学习离散数学很多地方看不懂,感激不尽!
答
1、n阶循环群={e,a,a^2,...,a^(n-1)},则a^n=e,e是单位元.生成元除了a,还可以是a^k(1<k<n,至于更高幂次没有讨论讨论的意义,因为一定有a^(n+k)=a^k,k<n),那么k一定与n互素.只要你求出b=a^k的所有不超过n-1的幂次,就...