知识点回顾|近世代数之循环群
前言
最近学习 The ElGamal Cryptosystem, 涉及到近世代数的很多知识,因此翻出来曾经的课本,把循环群这一节的重点定义和定理做了摘录,有错误的地方欢迎指正~
循环群是一种很重要的群,也是一种已经被完全解决了的群,也就是说这种群的元素表达方式和运算规则,以及在同构意义下这种群有多少个和它们子群的状况等等都已经完全研究清楚了。
一、定义1:生成系M
(一)子群:用子群来研究群是研究群的重要方法之一
<定义> 设 G G G 是一个群, H H H 是 G G G 的一个非空子集. 如果 H H H 本身对 G G G 的乘法也做成一个群,则称 H H H 为群 G G G 的一个子群.
(二) < M M M> 称为群 G G G 中由 M M M生成的子群,并把 M M M 称叫做这个子群的生成系.
逻辑解释:设 M M M 是群 G G G 的任意一个非空子集, G G G 中包含 M M M 的子群总是存在的,比如 G G G 本身就是一个,现在用< M M M> 表示 G G G 中包含 M M M的一切子群的交,则< M M M>仍然是 G G G 中包含 M M M 的一个子群,而且 G G G 中任何一个子群,只要包含 M M M,就必然包含 < M > <M> <M>. 所以, < M > <M> <M> 是群 G G G 中包含 M M M 的最小子群.
二、 循环群
(一)定义
- 如果群 G G G 可以由一个元素 a a a 生成,即 G = < a > G=<a> G=<a>,则称 G G G 为由 a a a 生成的一个循环群,并称 a a a 为 G G G 的一个生成元.
-
<
a
>
<a>
<a> 是由一切形如
a
k
a^{k}
ak 的元素作成的群,亦即
{ ⋯ , a − 3 , a − 2 , a − 1 , a 0 , a 1 , a 2 , a 3 , ⋯ \cdots, a^{-3},a^{-2},a^{-1},a^0,a^1,a^2,a^3,\cdots ⋯,a−3,a−2,a−1,a0,a1,a2,a3,⋯} - n 次单位根群
U
n
U_{n}
Un 是一个 n 阶循环群.
设 ϵ \epsilon ϵ 是一个 n 次原根,则 ϵ \epsilon ϵ 是 U n U_n Un 的一个生成元,且 U n = < ϵ > = 1 , ϵ , ⋯ , ϵ n − 1 U_n = <\epsilon>={1,\epsilon, \cdots, \epsilon^{n-1}} Un=<ϵ>=1,ϵ,⋯,ϵn−1.- 整数加群
Z
\mathbb{Z}
Z 是无限循环群.
Z = < 1 > \mathbb{Z} = <1> Z=<1>
- 整数加群
Z
\mathbb{Z}
Z 是无限循环群.
( 二 ) 定理
- <定理一> 设
G
=
<
a
>
G = <a>
G=<a> 为任一循环群,则
(1)当 ∣ a ∣ = ∞ |a| = \infty ∣a∣=∞时, G = < a > G = <a> G=<a> 为无限循环群,且与整数加群 Z \mathbb{Z} Z 同构.
(2)当 ∣ a ∣ = n |a| = n ∣a∣=n时, G = < a > G=<a> G=<a> 为 n n n 阶循环群,且与 n n n 次单位根群 U n U_{n} Un同构. - <定理二> n n n 阶群 G G G 是循环群 ⇔ \Leftrightarrow ⇔ G G G有 n n n阶元素.
- <定理三> 无限循环群
<
a
>
<a>
<a>有两个生成元,即
a
a
a 与
a
−
1
a^{-1}
a−1;
n
n
n阶循环群有
ϕ
(
n
)
\phi(n)
ϕ(n)个生成元,其中
ϕ
(
n
)
\phi(n)
ϕ(n)为Euler函数.
证明:当 ∣ a ∣ = ∞ |a|=\infty ∣a∣=∞时, < a > <a> <a>只有两个生成元 a a a和 a − 1 a^{-1} a−1显然.
当 ∣ a ∣ = n |a|=n ∣a∣=n时,元素 a k ( 0 < k < n ) a^{k}(0<k<n) ak(0<k<n)是 < a > <a> <a>的生成元当且仅当 a k a^k ak的阶也是n,即 ( k , n ) = 1 (k,n)=1 (k,n)=1. 从而 < a > <a> <a>有 ϕ ( n ) \phi(n) ϕ(n)个生成元. - <定理四> 循环群的子群仍为循环群.
- <定理六> 无限循环群 G G G 有无限多个子群;当 G = < a > G = <a> G=<a>为 n 阶循环群时,对 n 的每个正因数k, G G G 有且仅有一个 k 阶子群,这个群就是 < a n k > <a^{\frac{n}{k}}> <akn> .
附录
-
群的定义:如果非空集合G有代数运算 ∘ \circ ∘满足
(1) 结合律成立, 即对 G G G 中的任意元素 a a a, b b b, c c c 都有 ( a ∘ b ) ∘ b = a ∘ ( b ∘ c ) (a\circ b)\circ b = a\circ(b\circ c) (a∘b)∘b=a∘(b∘c);
(2) G G G 中有元素 e e e, 叫做 G G G 的左单位元,它对G中每个元素 a a a 都有 e ∘ a = a e \circ a = a e∘a=a;
(3) 对 G G G 中每个元素 a a a, 在 G G G 中都有元素 a − 1 a^{-1} a−1, 叫做 a a a 的左逆元,使得 a − 1 ∘ a = e a^{-1}\circ a = e a−1∘a=e,
则称 G G G 对这个代数运算做成一个群. -
群中元素的阶:
设 a a a 为群 G G G 的一个元素,使得 a n = e a^n =e an=e 的最小整数 n n n, 叫做元素 a a a 的阶.
元素 a a a 的阶常用 ∣ a ∣ |a| ∣a∣来表示.
总结
主要做知识的回顾,定理的证明没有敲出来,需要的朋友可以评论私信我~