群（密码学）的定义

群是抽象代数中的一种抽象模型，它被设计用来研究某一种运算（记为符号⋅）和能被这种运算所作用的所有元素集合（元素集合记为𝑆）之间的关系。

乘法群：一个乘法群是一个具有以下性质的群： • 运算⋅在集合𝑆上封闭。也就是说任意两个集合中的元素𝑎, 𝑏 ∈ 𝑆，都满足𝑐 ∈ 𝑆, 𝑐 = 𝑎 ⋅ 𝑏。常见的乘法群实现是全体正整数上的乘法运算；而一个简单的乘法群实现可以是正整数集合{𝑎|𝑎 = 1,2, … ,10} 和乘法组成的群ℤ11∗，为了使运算封闭，群ℤ11∗在做乘法运算时还对结果进行除数为11的取余操作。

• 必存在单位元。设乘法群中的运算符号为⋅，且群的元素集合中有元素𝑒, 𝑒 ∈ 𝑆。若对𝑆中的所有元素𝑎都有𝑒 ⋅ 𝑎 = 𝑎成立，则称𝑒是该乘法群中的单位元。 • 必存在一个元素的逆元素。对于乘法群中的任意元素𝑎，集合中总是存在另一个元素𝑏，使得𝑎 ⋅ 𝑏 = 𝑒，𝑒是乘法群的单位元。如在乘法群𝔾11∗中，元素2的逆元是6，因为2 × 6 mod11 = 1。

• 满足结合律。对于乘法群中的任意三个元素𝑎, 𝑏, 𝑐，总是满足𝑎 ⋅ (𝑏 ⋅ 𝑐) =(𝑎 ⋅ 𝑏) ⋅ 𝑐。 满足上述性质的群被称为一个乘法群。 乘法群元素的幂乘运算：下文常常省略乘法群的运算符号，并将两个乘法群元素𝑎, 𝑏的运算写为𝑎𝑏 = 𝑎 ⋅ 𝑏。而重复在同一个群元素上做运算可写作幂乘的形式：𝑎 ⋅ 𝑎 ⋅ … ⋅ 𝑎 = 𝑎^𝑛，其中𝑛表示运算重复了𝑛次。

元素的阶：乘法群ℤ11∗中只包含 10 个元素，则称这个群的阶为 10，记为：ord(ℤ11∗) = 10。

Abelian 群：特别地，因为乘法群ℤ11∗中的所有元素都有𝑎 ⋅ 𝑏 = 𝑏 ⋅ 𝑎，像这样满足交换律的群被称为 Abelian 群。 

循环群：又因为乘法群ℤ11∗中的所有元素都可以通过重复在元素2上做运算得到：{2^𝑖mod11|i = 1,2, … ,10} = 𝑆，故该乘法群还是一个循环群，且元素2被称为循环群中的生成元素。

子群：此外，乘法群ℤ11∗中的元素3不是该群的生成元素，因为重复在3上做运 算 不 能 得 到 群 中 的 所 有 元 素 ， 而 是 得 到 一 个 𝑆 的 真 子 集 ： 𝔾5∗= {3^𝑖|i=1,2, … ,10} = {1,3,4,5,9} ⊂ 𝑆。这种由一个群的非生成元素生成的真子集被称为这个群的一个子群。

乘法群ℤ11∗存在两个阶分别为 5 和 2 的子群，这是因为ord(ℤ11∗) = 10，且10 = 2 × 5。 加法群：与乘法群不同，加法群中的运算类似于整数加法。除了满足上述乘法群运算的各种性质外，加法群的运算一般还满足交换律，即加法群总是一个 Abelian 群。可以证明加法群与乘法群并不同构，即加法群和乘法群并不能相互代替。