§ 6 自由群

定义一个群的一种方法是指定一组生成元(generator) 和生成元所满足的一组关系(relation)。

问题：具有一组生成元但没有关系的群是什么样的？如果生成元集是$S$，这个群称为在$S$上的自由群。

§ 5 循环表示

定义 5.1 设有一个群作用

作用在集合 $X$ 上。固定 $g \in G$。我们称 $g$ 在 $X$ 上的作用 为

其中 $\langle g \rangle \to G$ 是群同态，因为子群的包含映射是群同态。$\langle g \rangle \to \mathrm{Aut}_{\text{set}}$ 是群同态，因为两个群同态的复合仍是群同态。

本质上，$g$ 在 $X$ 上的作用可以通过将 $g$ 分解为循环来用循环表示法表示，其中每个循环对应于 $g$ 在 $X$ 上作用的一个轨道。

§4 群作用

§4.1 群作用的动机

正如一位最伟大的数学家所说，让数学自己说话——不必觉得你需要为一切提供动机。如果它是美丽的，它会自己激励自己。因此，话虽如此，我不想为你动机群作用，但其历史实际上相当有趣，所以值得讨论。

所以，如果你是19世纪中期的法国或德国数学家，你对群的定义将不会是我们在上述背景中给出的那个。事实上，群被简单地定义为矩阵群$GL_n(\mathbb{R})$，如果你想在一个使一切绝对美丽的世界中工作，可能会使用$\mathbb{C}$。自然地，我们有一个双射：

其$V$是一个维数为$n$的实向量空间。因此，通过上述双射来研究$GL_n(\mathbb{R})$的元素如何表现是很自然的，而不是盲目地进行行简化——这个在自同构(4.1)中的“群作用”实际上产生了你们之前学过的更抽象的线性代数理论！这实际上被称为群表示，当你有一个从$G$到某个向量空间的线性自同构群的群同态时，就是群表示，我们很快也会学习到。关键是，群作用自然地从对自同构(4.1)的研究中产生，所以我们所研究的并非完全是人为构造的。要理解我们是如何从研究向量空间的线性自同构转到仅仅研究集合的自同构，事实证明，这种群作用的概念在线性代数之外的领域也是普遍存在的，所以为什么不将我们的群作用理论从向量空间“推广”到集合呢！事实证明，这种类型的过程在代数中非常重要。你需要看看你手上有什么，尝试去除任何你不一定需要用来研究“抽象理论”的结构，看看是否能得到一个有趣的理论。正是这种过程实际上促使了Emmy Nöther在20世纪初定义了我们当前的群的概念。

§3 群的映射

每当你定义一个想法时，最好能知道这个想法是哪些函数的朋友。

提问： 我们要研究哪些类型的函数?

例 3.1