由集合生成的正规子群疑问：求证F/N为21阶非交换群

嗨，我来帮你拆解这个问题的核心思路，以及推荐一些能帮你理解正规子群N结构的资料：

一、证明F/N是21阶非交换群的核心步骤 #

首先，我们可以先明确商群F/N中元素的形式：因为N包含b³、a⁷，所以在商群里a⁷N = N，b³N = N，也就是说a的阶在商群里整除7，b的阶整除3。

接下来关键是利用第三个关系aba⁻²b⁻¹ ∈ N，这等价于在商群中abN = b a² N（两边乘bN和a²N就能推出来）。这个关系告诉我们：a和b在商群里不可交换——如果它们可交换，那ab = ba，代入上面的式子会得到ba = b a²，两边消去b就有a = a²，即aN = N，但这和a的阶整除7矛盾（除非a是单位元，但显然不是），所以商群是非交换的。

然后算元素个数：所有元素都可以写成a^i b^j N的形式，其中i=0,1,...,6，j=0,1,2。利用ab = b a²的关系，我们可以把任何包含a和b的乘积都调整成b在右边、a在左边的形式（比如ba = a^(-1) b a²，多次迭代就能把所有b移到右侧），所以总共有7×3=21个不同的元素，因此商群的阶是21。

二、证明a不在N中的方法 #

要证a ∉ N，最直观的方法是用群同态的“核”性质：构造一个从F到某个群G的同态φ，使得φ(a)不是G的单位元，但φ把N的所有生成元都映射到单位元（也就是N⊆kerφ）。这样如果a∈N，那φ(a)必须是单位元，就会矛盾。

更直接的思路是结合商群的阶数：我们已经证明F/N是21阶群，且a在商群中的阶是7（因为a⁷N=N但不存在更小的正整数k使得a^k=N），所以aN≠N，这就直接说明a∉N——如果a在N里，那aN=N，a的阶就是1，和我们得到的结论矛盾。

三、理解正规子群N结构的参考资料 #

如果想深入理解这类自由群的正规子群结构，推荐几本经典教材：

• 《代数学引论》（柯斯特利金）：这本书的群论部分对自由群、正规子群和商群的基础概念讲解非常清晰，有很多实例帮你建立直观认知，适合入门打基础。
• 《Group Theory》（J.J. Rotman）：这本书对自由群的构造、关系群（由生成元和关系定义的群）的分析很深入，里面有大量类似的商群构造例子，能帮你掌握如何通过关系来刻画正规子群。
• 《自由群与组合群论》（Lyndon & Schupp）：这是组合群论领域的经典专著，专门聚焦自由群、正规子群、字问题等核心内容，详细讨论了正规子群的生成元、元素形式，以及如何通过同态、表示等方法分析其结构，是深入研究的优质资料。

内容的提问来源于stack exchange，提问作者user10575