#汽车资讯#【雷克萨斯注册“GX550”商标 新车或搭载3.5T V6发动机】雷克萨斯最近在中美洲哥斯达黎加注册了“GX550”商标，预计这个新商标可能会被旗下的全新换代GX或现款GX新车型所使用。此前有消息表明全新换代GX可能会在2024年亮相，同时这一代的新款GX车型也在8月初刚刚发布，所以无论是被哪款产品所使用，都不难猜出未来“GX550”可能会搭载与全新丰田兰德酷路泽相同的3.5T V6发动机。#搜狐汽车#
（事故案例警示）2018年4月13日15时许
在227省道延津县小潭乡湘安社区门口
冯某驾驶一辆yugx5**2微型轿车由西向东行驶
由于避免由南向北行驶并左转
李某驾驶的yuau5**3小轿车驶入对面车道
与田某的yuaa4**V相撞
造成豫gx5**2小轿车、Yu gx5**2小型车和田某的Yua4**3小型车道路交通事故
事故发生的主要原因是冯某未按操作规程安全文明驾驶
雨天未降低行驶速度
延津交警支招：遇到雨雪大雾等恶劣天气
司机应降低行驶速度
安全文明出行
在227省道延津县小潭乡湘安社区门口
冯某驾驶一辆yugx5**2微型轿车由西向东行驶
由于避免由南向北行驶并左转
李某驾驶的yuau5**3小轿车驶入对面车道
与田某的yuaa4**V相撞
造成豫gx5**2小轿车、Yu gx5**2小型车和田某的Yua4**3小型车道路交通事故
事故发生的主要原因是冯某未按操作规程安全文明驾驶
雨天未降低行驶速度
延津交警支招：遇到雨雪大雾等恶劣天气
司机应降低行驶速度
安全文明出行
群作用(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
✋热门推荐