2021-11-04

前言

最近学习 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 的最小子群.

二、 循环群

(一)定义

  1. 如果群 G G G 可以由一个元素 a a a 生成,即 G = < a > G=<a> G=<a>,则称 G G G 为由 a a a 生成的一个循环群,并称 a a a G G G 的一个生成元.
  2. < 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 ,a3,a2,a1,a0,a1,a2,a3,}
  3. 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,ϵ,,ϵn1.
    1. 整数加群 Z \mathbb{Z} Z 是无限循环群.
      Z = < 1 > \mathbb{Z} = <1> Z=<1>

( 二 ) 定理

  1. <定理一> 设 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同构.
  2. <定理二> n n n 阶群 G G G 是循环群 ⇔ \Leftrightarrow G G G n n n阶元素.
  3. <定理三> 无限循环群 < a > <a> <a>有两个生成元,即 a a a a − 1 a^{-1} a1; 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} a1显然.
    ∣ 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)个生成元.
  4. <定理四> 循环群的子群仍为循环群.
  5. <定理六> 无限循环群 G G G 有无限多个子群;当 G = < a > G = <a> G=<a>为 n 阶循环群时,对 n 的每个正因数k, G G G 有且仅有一个 k 阶子群,这个群就是 < a n k > <a^{\frac{n}{k}}> <akn> .

附录

  1. 群的定义:如果非空集合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) (ab)b=a(bc);
    (2) G G G 中有元素 e e e, 叫做 G G G 的左单位元,它对G中每个元素 a a a 都有 e ∘ a = a e \circ a = a ea=a;
    (3) 对 G G G 中每个元素 a a a, 在 G G G 中都有元素 a − 1 a^{-1} a1, 叫做 a a a 的左逆元,使得 a − 1 ∘ a = e a^{-1}\circ a = e a1a=e,
    则称 G G G 对这个代数运算做成一个群.

  2. 群中元素的阶:
    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来表示.

总结

主要做知识的回顾,定理的证明没有敲出来,需要的朋友可以评论私信我~

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

心yu

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值