群作用及其相关性质
1. 群作用的定义与示例
群作用是一种强大的工具,可用于深入了解群的结构。它将群的元素表示为集合的对称性。
1.1 群作用的定义
设 (A) 是一个集合,(G) 是一个群。(G) 在 (A) 上的群作用是一个从 (G\times A) 到 (A) 的映射 (*),记为 ((g, a)\to g * a),满足以下性质:
1. 对于所有 (a\in A),(g_1, g_2\in G),有 (g_1 * (g_2 * a) = (g_1g_2) * a)。
2. 对于所有 (a\in A),其中 (e) 是 (G) 的单位元,有 (e * a = a)。
此时,(A) 称为 (G -) 集,我们称 (G) 作用于 (A)。
1.2 群作用的示例
序号 | 群 (G) 和集合 (A) 的定义 | 映射定义 | 是否为群作用 | 作用名称 |
---|---|---|---|---|
1 | (G) 为群,(A) 为非空集合 | (g * a = a),(\forall g\in G),(\forall a\in A) | 是 | 平凡作用 |
2 | (G) 为群,(A = G) | (g * |