群作用(Group Action）
在数学中，空间上的群作用是给定群在空间变换群中的群同态。类似地，对一个数学结构的群作用是把一个群的群同态化为该结构的自同态群。据说群体作用于空间或结构。如果一个组对一个结构起作用，那么它通常也会对由该结构构建的对象起作用。例如，欧几里得等距组作用于欧几里得空间，也作用于其中所画的图形。特别地，它作用于所有三角形的集合。类似地，多面体的对称群作用于多面体的顶点、边和面。
在(有限维)向量空间上的群作用称为群表示。它允许用GL(n, K)的子群标识许多群，GL(n, K)是一个域上的维数为n的可逆矩阵群。对称群Sn作用于任何有n个元素的集合，方法是对集合中的元素进行置换。虽然一个集合的所有排列的组形式上依赖于该集合，但是群作用的概念允许人们考虑单个群(不是单群)研究具有相同基数的所有集合的排列。
一. 定义
1. 左群作用
如果G是一个具有单位元素e的群，而X是一个集合，那么G对X的左群作用α是一个函数
α: G x X —> X;
满足以下两个公理：
恒等：α:(e,x) = x；
兼容性：α(g, α(h,x)) = α(gh, z);
当考虑群作用从上下文中明确时，α(g, x) 通常缩短为gx或g⋅x：
恒等：e⋅x = x；
兼容性：g⋅(h,x) = (gh) ⋅ x;
对于G中的所有g和h以及X中的所有的x。据说群G作用于X(从左边开始)。集合X与G的动作一起称为(左)G 集。
根据这两个公理，对于G中的任何固定g，从X到自身的函数把x映射到g ⋅ x是一个双射，反双射是 g^(−1)的对应映射。因此，可以把G对X的群作用等价地定义为从G到从X到其自身的所有双射的对称群Sym(X) 的群同态。
2. 右群作用
同样，G 对 X 的右群作用是一个函数
α: X x G —> X;
考虑的当群作用从上下文中明确时，α(x, g)通常缩短为xg或x⋅g。
满足类似的公理：
恒等：x⋅e = x；
兼容性：(x⋅g) ⋅ h = x ⋅ (gh);
对于G中的所有g和h以及X中的所有x。
左作用和右作用之间的区别在于乘积gh作用于x的顺序。对于左作用，h先作用，然后是g。对于右作用，g先作用，然后是h。由于公式(gh)^(-1) = h^(-1) g^(-1)，可通过组合群的逆运算从右作用构造左作用。同样，群G在X上的右作用可被认为是其相对群G^(op)在X上的左作用。
因此，为建立组动作的一般属性，只考虑左作用就足够。但是，在某些情况下这是不可能的。例如，一个组的乘法导致对组本身的左作用和右作用—分别在左边和右边乘法。
二. 作用类型
G 对X的动作称为：
传递：如果X是非空的并且对于X中的每对x, y存在G中的g使得g⋅x = y，则是可传递的。例如，X的对称群的作用是传递的，向量空间V的一般线性群或特殊线性群对V∖{0} 的作用是传递的，而一个欧几里得的正交群的作用空间E在E∖{0}上不是可传递的(尽管它在E的单位球面上是可传递的)。
如果对于G中的每两个不同的g, h 存在一个x在 X 中使得g⋅x ≠ h⋅x，那么为忠实或有效；或者等效地，如果对于 G 中的每个 g ≠ e，则在X中存在一个x，使得g⋅x ≠ x。换句话说，在忠实群作用中，G 的不同元素引起X的不同置换(排列)。 [a]在代数术语中，群G忠实地作用于X当且仅当对称群 G → Sym( X)，有一个平凡的核。因此，对于忠实作用，G嵌入到 X上的置换群中；具体来说，G与其在Sym(X)中的像同构。如果G不忠实于X，我们可很容易地修改群以获得忠实的作用。如定 N = {g in G : g⋅x = x for all x in X}，则N是G的正规子群；实际上，它是同态G →Sym(X) 的核。因子群G/N通过设置(gN)⋅x = g⋅x 忠实地作用于 X。当且仅当N = {e} 时G对X的原始作用是忠实的。对于相同大小的，群可定义忠实作用的最小集合可能会有很大差异。例如：
三个大小为 120 的群是对称群 S5、二十面体群和循环群Z/120Z可定义忠实作用的最小集合的大小分别为 5、12 和 16。
大小为2^n的阿贝尔群包括循环群(Z/(2^nZ)或(Z/2Z)^n(Z/(2Z)的n个副本的直积，但后者忠实地作用于大小为 2n 的集合，而前者不能在比它小的集合上忠实地作用。
自由或半正则或无不动点：如果给定g, h在G 中，x中存在x且g⋅x = h⋅x 意味着g = h。等价地：若g是一个群元素且在X中存在一个x且g⋅x = x (即若g至少有一个不动点)，则g是恒等式。请注意非空集合上的自由作用是忠实的。
........
三. 轨道和稳定子
1. 轨道(orbits)
考虑作用在集合X上的群G。 X中元素x的轨道是 X 中元素的集合，G 的元素可将x移动到该集合。 x的轨道由G⋅x表示：
G ⋅ x = {g ⋅ x | g ∈ G };
群的定义性质保证在G的作用下(点 x in)X的轨道集合形成X的一个划分。相关的等价关系定义为x ∼ y当且仅当G中存在g且g⋅x = y。那么轨道就是这个关系下的等价类；两个元素 x和y是等价的，当且仅当它们的轨道相同，即 G⋅x = G⋅y。
群作用是可传递的，当且仅当它只有一个轨道，也就是说，如果在X中存在x且G⋅x = X。这是当且仅当G⋅x = X对于X中的所有x (鉴于X非空）。
在G的作用下X的所有轨道的集合被写为X/G(或G\X)且被称为作用的商。在几何情况下，它可能被称为轨道空间，而在代数情况下，它可能被称为共变量空间，并写作XG，与不变量(不动点)相反，表示为XG：共变量是商，而不变量是一个子集。共变术语和符号特别用于群上同调和群同调，它们使用相同的上标/下标约定。
2. 不变子空间
3. 不动点和稳定子群(stabilizers)
给定G中的g和X中的x且 g⋅x = x，可以说“x 是g的不动点”或“g 固定 x”。对于X中的每个 x，G 相对于x的稳定子群（也称为各向同性群或小群 [7]）是 G 中所有固定 x 的元素的集合：
G_{x}= {g ∈ G | g ⋅ x = x};
这是G的一个子群，虽然通常不是正规的。当且仅当所有稳定器都是平凡的时，G对X的作用是自由的。具有对称群G → Sym(X)的同态的核N由X中所有x的稳定子Gx的交集给出。如果N是平凡的，那么称该动作是忠实的或有效的。
设x和y是X中的两个元素，设g是一个群元素，使得y = g⋅x。那么两个稳定子群Gx 和 Gy 的关系为 Gy = g Gx g^(−1)。证明：根据定义，h ∈ Gy 当且仅当 h⋅(g⋅x) = g⋅x。将g^(−1) 应用于这个等式的两边产生(g^(−1)hg)⋅x = x；即g^(−1)hg ∈ Gx。通过取 h∈Gx并假设x = g^(−1)⋅y 类似地遵循相反的包含。
上面说在同一轨道上的元素的稳定子是相互共轭的。因此，对于每个轨道，我们可将G的一个子群即该子群的所有共轭的集合的一个共轭类相关联。令(H)表示H的共轭类。那么轨道O的类型为(H)。如果稳定子G_{x}在轨道O中的一些/任何x属于(H)。最大轨道类型通常称为主轨道类型。
wi/Group_action
在数学中，空间上的群作用是给定群在空间变换群中的群同态。类似地，对一个数学结构的群作用是把一个群的群同态化为该结构的自同态群。据说群体作用于空间或结构。如果一个组对一个结构起作用，那么它通常也会对由该结构构建的对象起作用。例如，欧几里得等距组作用于欧几里得空间，也作用于其中所画的图形。特别地，它作用于所有三角形的集合。类似地，多面体的对称群作用于多面体的顶点、边和面。
在(有限维)向量空间上的群作用称为群表示。它允许用GL(n, K)的子群标识许多群，GL(n, K)是一个域上的维数为n的可逆矩阵群。对称群Sn作用于任何有n个元素的集合，方法是对集合中的元素进行置换。虽然一个集合的所有排列的组形式上依赖于该集合，但是群作用的概念允许人们考虑单个群(不是单群)研究具有相同基数的所有集合的排列。
一. 定义
1. 左群作用
如果G是一个具有单位元素e的群，而X是一个集合，那么G对X的左群作用α是一个函数
α: G x X —> X;
满足以下两个公理：
恒等：α:(e,x) = x；
兼容性：α(g, α(h,x)) = α(gh, z);
当考虑群作用从上下文中明确时，α(g, x) 通常缩短为gx或g⋅x：
恒等：e⋅x = x；
兼容性：g⋅(h,x) = (gh) ⋅ x;
对于G中的所有g和h以及X中的所有的x。据说群G作用于X(从左边开始)。集合X与G的动作一起称为(左)G 集。
根据这两个公理，对于G中的任何固定g，从X到自身的函数把x映射到g ⋅ x是一个双射，反双射是 g^(−1)的对应映射。因此，可以把G对X的群作用等价地定义为从G到从X到其自身的所有双射的对称群Sym(X) 的群同态。
2. 右群作用
同样，G 对 X 的右群作用是一个函数
α: X x G —> X;
考虑的当群作用从上下文中明确时，α(x, g)通常缩短为xg或x⋅g。
满足类似的公理：
恒等：x⋅e = x；
兼容性：(x⋅g) ⋅ h = x ⋅ (gh);
对于G中的所有g和h以及X中的所有x。
左作用和右作用之间的区别在于乘积gh作用于x的顺序。对于左作用，h先作用，然后是g。对于右作用，g先作用，然后是h。由于公式(gh)^(-1) = h^(-1) g^(-1)，可通过组合群的逆运算从右作用构造左作用。同样，群G在X上的右作用可被认为是其相对群G^(op)在X上的左作用。
因此，为建立组动作的一般属性，只考虑左作用就足够。但是，在某些情况下这是不可能的。例如，一个组的乘法导致对组本身的左作用和右作用—分别在左边和右边乘法。
二. 作用类型
G 对X的动作称为：
传递：如果X是非空的并且对于X中的每对x, y存在G中的g使得g⋅x = y，则是可传递的。例如，X的对称群的作用是传递的，向量空间V的一般线性群或特殊线性群对V∖{0} 的作用是传递的，而一个欧几里得的正交群的作用空间E在E∖{0}上不是可传递的(尽管它在E的单位球面上是可传递的)。
如果对于G中的每两个不同的g, h 存在一个x在 X 中使得g⋅x ≠ h⋅x，那么为忠实或有效；或者等效地，如果对于 G 中的每个 g ≠ e，则在X中存在一个x，使得g⋅x ≠ x。换句话说，在忠实群作用中，G 的不同元素引起X的不同置换(排列)。 [a]在代数术语中，群G忠实地作用于X当且仅当对称群 G → Sym( X)，有一个平凡的核。因此，对于忠实作用，G嵌入到 X上的置换群中；具体来说，G与其在Sym(X)中的像同构。如果G不忠实于X，我们可很容易地修改群以获得忠实的作用。如定 N = {g in G : g⋅x = x for all x in X}，则N是G的正规子群；实际上，它是同态G →Sym(X) 的核。因子群G/N通过设置(gN)⋅x = g⋅x 忠实地作用于 X。当且仅当N = {e} 时G对X的原始作用是忠实的。对于相同大小的，群可定义忠实作用的最小集合可能会有很大差异。例如：
三个大小为 120 的群是对称群 S5、二十面体群和循环群Z/120Z可定义忠实作用的最小集合的大小分别为 5、12 和 16。
大小为2^n的阿贝尔群包括循环群(Z/(2^nZ)或(Z/2Z)^n(Z/(2Z)的n个副本的直积，但后者忠实地作用于大小为 2n 的集合，而前者不能在比它小的集合上忠实地作用。
自由或半正则或无不动点：如果给定g, h在G 中，x中存在x且g⋅x = h⋅x 意味着g = h。等价地：若g是一个群元素且在X中存在一个x且g⋅x = x (即若g至少有一个不动点)，则g是恒等式。请注意非空集合上的自由作用是忠实的。
........
三. 轨道和稳定子
1. 轨道(orbits)
考虑作用在集合X上的群G。 X中元素x的轨道是 X 中元素的集合，G 的元素可将x移动到该集合。 x的轨道由G⋅x表示：
G ⋅ x = {g ⋅ x | g ∈ G };
群的定义性质保证在G的作用下(点 x in)X的轨道集合形成X的一个划分。相关的等价关系定义为x ∼ y当且仅当G中存在g且g⋅x = y。那么轨道就是这个关系下的等价类；两个元素 x和y是等价的，当且仅当它们的轨道相同，即 G⋅x = G⋅y。
群作用是可传递的，当且仅当它只有一个轨道，也就是说，如果在X中存在x且G⋅x = X。这是当且仅当G⋅x = X对于X中的所有x (鉴于X非空）。
在G的作用下X的所有轨道的集合被写为X/G(或G\X)且被称为作用的商。在几何情况下，它可能被称为轨道空间，而在代数情况下，它可能被称为共变量空间，并写作XG，与不变量(不动点)相反，表示为XG：共变量是商，而不变量是一个子集。共变术语和符号特别用于群上同调和群同调，它们使用相同的上标/下标约定。
2. 不变子空间
3. 不动点和稳定子群(stabilizers)
给定G中的g和X中的x且 g⋅x = x，可以说“x 是g的不动点”或“g 固定 x”。对于X中的每个 x，G 相对于x的稳定子群（也称为各向同性群或小群 [7]）是 G 中所有固定 x 的元素的集合：
G_{x}= {g ∈ G | g ⋅ x = x};
这是G的一个子群，虽然通常不是正规的。当且仅当所有稳定器都是平凡的时，G对X的作用是自由的。具有对称群G → Sym(X)的同态的核N由X中所有x的稳定子Gx的交集给出。如果N是平凡的，那么称该动作是忠实的或有效的。
设x和y是X中的两个元素，设g是一个群元素，使得y = g⋅x。那么两个稳定子群Gx 和 Gy 的关系为 Gy = g Gx g^(−1)。证明：根据定义，h ∈ Gy 当且仅当 h⋅(g⋅x) = g⋅x。将g^(−1) 应用于这个等式的两边产生(g^(−1)hg)⋅x = x；即g^(−1)hg ∈ Gx。通过取 h∈Gx并假设x = g^(−1)⋅y 类似地遵循相反的包含。
上面说在同一轨道上的元素的稳定子是相互共轭的。因此，对于每个轨道，我们可将G的一个子群即该子群的所有共轭的集合的一个共轭类相关联。令(H)表示H的共轭类。那么轨道O的类型为(H)。如果稳定子G_{x}在轨道O中的一些/任何x属于(H)。最大轨道类型通常称为主轨道类型。
wi/Group_action
又是一年教师节，记忆中的教师节似乎还停留在18岁以前，不免想起几位塑造我个性和兴趣的老师。
首先被我们称呼为“神仙”的历史老师，教学从来不说普通话，每次都是空手进教室，但是却能清晰的记清楚教材的每一个段落。他的历史课诙谐幽默，从不照本宣科，旁征博引，激发起我们极大的求知欲。因此他的课向来都是座无虚席的，我们有时候上体育课，也会打听神仙在哪个班级上课，特地赶过去蹭课。因此他常常训斥我们这些不带历史课本蹭课的同学“读书不带书，讲到哪里都不知道，你们是神仙嘛？”久而久之，他就成了“神仙”，这位神仙像是一盏灯，照亮了我们对历史的无知。
然后是重新激发我写作热情的老张。他布置我们写的一篇作文是关于父母的。我当时用了较为轻松搞笑的方式去描述父母吵架这件事，然后被选出来当作范文全班诵读。后来他给我送了“另辟蹊径”四个字，这也让我多了不同角度来看待周遭事物。
今天不免又重读了一遍韩愈的《师说》，其中有一句是我近些年来尤为感慨的：“生乎吾后 ，其闻道也亦先乎吾，吾从而师之，是故无贵无贱，无长无少，道之所存，师之所存也 ”。
28岁以后，遇到了太多太多比我年轻比我优秀的人了。有他们都激发了我，并鞭策我不断塑造自己。于是我开始健身，开始玩滑板，开始尝试一个人旅行，开始自己剪辑视频，重新捡起了写小作文的爱好……
三人行必有我师！ https://t.cn/RuQ52aU
首先被我们称呼为“神仙”的历史老师，教学从来不说普通话，每次都是空手进教室，但是却能清晰的记清楚教材的每一个段落。他的历史课诙谐幽默，从不照本宣科，旁征博引，激发起我们极大的求知欲。因此他的课向来都是座无虚席的，我们有时候上体育课，也会打听神仙在哪个班级上课，特地赶过去蹭课。因此他常常训斥我们这些不带历史课本蹭课的同学“读书不带书，讲到哪里都不知道，你们是神仙嘛？”久而久之，他就成了“神仙”，这位神仙像是一盏灯，照亮了我们对历史的无知。
然后是重新激发我写作热情的老张。他布置我们写的一篇作文是关于父母的。我当时用了较为轻松搞笑的方式去描述父母吵架这件事，然后被选出来当作范文全班诵读。后来他给我送了“另辟蹊径”四个字，这也让我多了不同角度来看待周遭事物。
今天不免又重读了一遍韩愈的《师说》，其中有一句是我近些年来尤为感慨的：“生乎吾后 ，其闻道也亦先乎吾，吾从而师之，是故无贵无贱，无长无少，道之所存，师之所存也 ”。
28岁以后，遇到了太多太多比我年轻比我优秀的人了。有他们都激发了我，并鞭策我不断塑造自己。于是我开始健身，开始玩滑板，开始尝试一个人旅行，开始自己剪辑视频，重新捡起了写小作文的爱好……
三人行必有我师！ https://t.cn/RuQ52aU
#史记#司马迁写《史记》，要面对一捆一捆的丝帛和竹简。有学者估算过，五十二万字的《史记》写在竹简上大概一百多斤重；《左传》有二十几万字，也是沉重的材料。司马迁的写作环境跟今天完全不是一回事，查资料很辛苦，不像我们随便翻翻就能找到。他是艰难地靠记忆写作，所以可能会犯一点错误，我们应该体谅他的难处。
✋热门推荐