📚 Group of Seven/Eight (G7/G8) | 七阶与八阶群
In algebra, a "group" is not a political alliance but a precise mathematical structure. This article explores groups of order 7 and 8, often abbreviated as G7 and G8, through complex roots of unity, cyclic groups, and the classification of all groups of order 8.
在代数中，“群”不是政治联盟，而是一种精确的数学结构。本文通过复数单位根、循环群以及八阶群的分类，探讨七阶和八阶群，通常简写为 G7 和 G8。
s form the first examples of finite groups. Understanding their structure gives a powerful link between complex numbers and abstract algebra, and it is exactly this link that makes G7 and G8 such rewarding revision topics.
Edexcel 进阶数学的学生在解 zⁿ = 1 这类方程时会遇到单位根；这些对象恰好构成有限群的第一个例子。理解它们的结构能在复数与抽象代数之间建立强有力的联系，而正是这种联系使 G7 与 G8 成为很有价值的复习主题。
1. What Is a Group? | 什么是群？
A group is a set G together with a binary operation ∗ that satisfies four axioms. The operation could be addition, multiplication, composition of rotations, or any rule that combines two elements of G to produce another element of G.
群是一个集合 G 连同一种二元运算 ∗，满足四条公理。该运算可以是加法、乘法、旋转的复合，或者任何把 G 中两个元素结合成 G 中另一个元素的规则。
Axiom 1 - Closure. For all a, b ∈ G, the element a ∗ b also belongs to G. The set never "leaks" outside itself.
公理 1 - 封闭性。对任意 a, b ∈ G，元素 a ∗ b 仍属于 G。集合永远不会“漏”到自身之外。
Axiom 2 - Associativity. For all a, b, c ∈ G, (a ∗ b) ∗ c = a ∗ (b ∗ c). Brackets may be moved freely, though the order of elements may not be.
公理 2 - 结合律。对任意 a, b, c ∈ G，(a ∗ b) ∗ c = a ∗ (b ∗ c)。括号可以自由移动，但元素顺序未必可以。
Axiom 3 - Identity. There exists an element e ∈ G such that a ∗ e = e ∗ a = a for every a ∈ G.
公理 3 - 单位元。存在元素 e ∈ G，使得对每个 a ∈ G 都有 a ∗ e = e ∗ a = a。
Axiom 4 - Inverses. For every a ∈ G there exists a⁻¹ ∈ G such that a ∗ a⁻¹ = a⁻¹ ∗ a = e.
公理 4 - 逆元。对每个 a ∈ G，存在 a⁻¹ ∈ G，使得 a ∗ a⁻¹ = a⁻¹ ∗ a = e。
Standard examples include (ℤ, +), the non-zero rationals under multiplication, ℤ iplication, and the symmetries of a regular polygon under composition. If the extra rule a ∗ b = b ∗ a holds for all pairs, the group is called abelian; otherwise it is non-abelian.
标准例子包括 (ℤ, +)、非零有理数在乘法下、ℤₙ 在模 n 加法下、n 次单位根在乘法下，以及正多边形对称在复合下。如果额外的规则 a ∗ b = b ∗ a 对所有元素都成立，该群称为阿贝尔群；否则称为非阿贝尔群。
2. Order and Lagrange's Theorem | 阶与拉格朗日定理
The order of a group G, written |G|, is the number of elements in the set. A group is finite if this number is finite, and both G7 and G8 are finite by definition, with orders 7 and 8 respectively.
群 G 的阶记作 |G|，就是集合中元素的个数。如果这个数有限，该群就是有限群；按定义 G7 与 G8 都是有限群，阶分别为 7 和 8。
The order of an element a ∈ ive integer n such that aⁿ = e. This number always equals the order of the cyclic subgroup ⟨a⟩ generated by a.
元素 a ∈ G 的阶是使 aⁿ = e 成立的最小正整数 n。这个数总等于由 a 生成的循环子群 ⟨a⟩ 的阶。
Lagrange's Theorem states that if H is a subgroup of a finite group G, then |H| divides |G|. Consequently every element order must divide |G| as well.
拉格朗日定理指出：若 H 是有限群 G 的子群，则 |H| 整除 |G|。因此每个元素的阶也必定整除 |G|。
|H| | |G| and ord(a) | |G|
For order 7 the only divisors are 1 and 7, which is an extremely strong constraint. For order 8 the divisors are 1, 2, 4 and 8, which allows far more internal structure and therefore far more distinct groups.
对阶 7，正因数只有 1 和 7，这是一个极强的限制。对阶 8，正因数是 1、2、4、8，允许更丰富的内部结构，因此也存在更多互不同构的群。
3. Roots of Unity and the Cyclic Group Cₙ | 单位根与循环群 Cₙ
e form zⁿ = 1. The complete solution set is z = cos(2πk/n) + i sin(2πk/n) for k = 0, 1, 2, …, n − 1.
Edexcel 进阶数学的学生在解 zⁿ = 1 这类方程时会遇到单位根。完整的解集是 z = cos(2πk/n) + i sin(2πk/n)，其中 k = 0, 1, 2, …, n − 1。
These n complex numbers are equally spaced around the unit circle in the Argand diagram, forming the vertices of a regular n-gon. They are closed under multiplication, contain 1 as identity, and every element has an inverse, so they form a group of order n.
这 n 个复数在阿冈图中均匀分布在单位圆上，构成正 n 边形的顶点。它们在乘法下封闭，包含单位元 1，且每个元素都有逆元，因此构成一个 n 阶群。
(2πk/n) + i sin(2πk/n). A group in which every element is a power of a single element is called cyclic, and this one is denoted Cₙ or ℤₙ.
记 ζ = cos(2π/n) + i sin(2π/n)，则每个根都是 ζ 的幂，因为 ζᵏ = cos(2πk/n) + i sin(2πk/n)。若群中每个元素都是某个单一元素的幂，该群称为循环群，这里记作 Cₙ 或 ℤₙ。
ty, a regular octagon giving C₈. Note that Cₙ is a multiplicative group of complex numbers, while ℤₙ under addition modulo n is its abstract twin - the two are isomorphic.
取 n = 7 得到七个七次单位根，它们构成正七边形，给出群 C₇。取 n = 8 得到八个八次单位根，构成正八边形，给出 C₈。注意 Cₙ 是复数的乘法群，而模 n 加法下的 ℤₙ 是它抽象的孪生兄弟——两者同构。
4. Groups of Order 7 - Only One Exists | 七阶群只有一个
A fundamental theorem says that every group of prime order is cyclic. Since 7 is prime, there is exactly one group of order 7 up to isomorphism, namely C₇ ≅ ℤ₇.
一条基本定理指出：每个素数阶群都是循环群。因为 7 是素数，所以七阶群在同构意义下恰好只有一个，即 C₇ ≅ ℤ₇。
Proof outline: choose any element g in G with g ≠ e. By Lagrange's Theorem the order of the subgroup ⟨g⟩ divides 7. It cannot be 1, because g is not the identity, so it must be 7. Therefore ⟨g⟩ = G and G is cyclic.
证明思路：取 G 中任意非单位元 g。由拉格朗日定理，子群 ⟨g⟩ 的阶整除 7。它不可能是 1，因为 g 不是单位元，所以只能是 7。因此 ⟨g⟩ = G，G 是循环群。
Two immediate consequences follow. First, G7 has no proper non-trivial subgroups at all. Second, every one of the six non-identity elements generates the whole group and therefore has order 7.
由此立刻得到两个推论。第一，G7 没有任何非平凡真子群。第二，六个非单位元中的每一个都能生成整个群，因此阶都是 7。
The number of generators of C₇ is given by Euler' order 7. By contrast φ(8) = 4, so C₈ has four generators, namely the elements of order 8.
C₇ 的生成元个数由欧拉函数给出：φ(7) = 6，与阶为 7 的元素个数一致。相比之下 φ(8) = 4，所以 C₈ 有四个生成元，也就是阶为 8 的那些元素。
5. The Seven-Element Multiplication Table | 七阶群的乘法表
hole Cayley table is therefore just addition modulo 7 in disguise, which is why the table is perfectly symmetric about its main diagonal - the group is abelian.
对七次单位根群，运算规则是 ζᵃ · ζᵇ = ζ^((a + b) mod 7)。整个凯莱表其实只是模 7 加法换了衣服，所以表的对角线两侧完全对称——该群是阿贝尔群。
| g | g² | g³ | g⁴ | g⁵ | g⁶ | g⁷ |
| ζ | style="border:1px solid #ccc
广告 / Sponsored 培生爱德思考试教材 统计数学3 Edexcel International A Level Mathematics S… 数学 备考教辅 · 正版现货 · 与本文内容相关 查看详情 / View on Taobao参考价 ¥156.0更多咨询请联系16621398022（同微信） 备考资讯每日更新，关注不错过 考纲变化 · 科目分析 · 学习方法  在微信里长按二维码识别关注 或截图后用「扫一扫 → 相册」选择本图 公众号：tutorhao |