关于冯·戴克定理的疑问：Hungerford《Algebra》中群生成元表述困惑

嘿，这个问题绝对是初学群表示与生成元-关系定义时的典型困惑——核心在于符号<X>在G和H的语境里完全不是同一个意思，千万别被表面的写法误导了！

先拆解G的定义 #

设X为集合，Y为X上的既约字集合，G是由生成元$x\in X$及关系$w=e, w\in Y$定义的群。

严格来说，G的精确定义是：以集合X为生成元的自由群F(X)，模掉由Y中所有字生成的正规子群N，也就是 $G=F(X)/N$。这里的<X>指的是自由群F(X)的抽象生成元集合，G里的元素是X中元素构成的字的等价类（等价关系就是通过Y里的关系互相替换）。简单说，G是“满足关系Y的最小群”——任何满足这些关系的群，都是G的同态像（这正是冯·戴克定理要讲的）。

再看H的定义 #

若$H=\langle X\rangle$且H满足Y中的全部关系

这里的<X>完全是另一个概念：

• H是某个已经存在的具体群（比如整数加法群$\mathbb{Z}$、对称群$S_n$之类）；
• 这里的X不是抽象集合，而是H中的一组元素（或者说存在一个映射$f: X \to H$，把每个$x\in X$对应到H里的某个元素$f(x)$）；
• $H=\langle X\rangle$的意思是，H恰好由这组元素$f(x)$生成（H里的每个元素都能写成这些$f(x)$及其逆元的乘积）；
• “H满足Y中的全部关系”是说：把Y里的每个字w中的$x\in X$换成H里对应的$f(x)$，计算结果等于H的单位元$e_H$。

举个具体例子帮你理解 #

比如取$X={a,b}$，$Y={aba^{-1}b{-1}}$：

• 此时G是自由阿贝尔群$\mathbb{Z}\times\mathbb{Z}$（因为关系要求ab=ba，也就是生成元交换）；
• 现在取H为整数加法群$\mathbb{Z}$，让X对应到H里的元素1和2，那么$H=\langle1,2\rangle=\mathbb{Z}$，而且在H里，$1+2-1-2=0$（对应关系$aba^{-1}b{-1}=e$），满足Y的条件；
• 根据冯·戴克定理，存在满同态$G\to H$，比如把$(m,n)\in\mathbb{Z}\times\mathbb{Z}$映射到$m+2n$，这确实是满同态，而G和H显然不是同一个群。

关键总结 #

• G是抽象构造的“泛群”：从自由群商掉关系得到，是满足Y中关系的“最一般”的群；
• H是具体存在的群：它有自己的运算和元素，只是恰好能被一组对应于X的元素生成，且满足相同的关系；
• 两者的<X>只是符号复用，一个是抽象生成元集合，一个是具体群里的生成元素组，本质完全不同。

内容的提问来源于stack exchange，提问作者Mr. Tea