群作用

✍ dations ◷ 2025-07-12 01:44:42 #置换群,群作用

数学上,对称群描述物体的所有对称性。这是通过群作用的概念来形式化的:群的每个元素作为一个双射(或者对称作用)作用在某个集合上。在这个情况下,群称为置换群(特别是在群有限或者不是线性空间时)或者变换群(特别是当这个集合是线性空间而群作为线性变换作用在集合上时)。一个群的置换表示是群作为一个集合的置换群的群表示(通常该集合有限),并且可以表述为置换矩阵,一般在有限的情形作此考虑-这和作用在有序的线性空间基上是一样的。

G {\displaystyle \mathrm {G} } 是一个-集合。

完全一样地,可以定义一个在上的右群作用为函数 X × G X {\displaystyle \mathrm {X} \times \mathrm {G} \rightarrow \mathrm {X} } 这样的积在上作用的次序。对于左作用先作用然后是,而对于右作用先作用然后是。从一个右作用可以构造一个左作用,只要和群上的逆操作复合就可以了。如果为一右作用,则

是一左作用,因为

所以在这里,我们只考虑左群作用,因为右作用可以相应推理。

群G作用在集合X上的作用称为:

轨道

x {\displaystyle x} X {\displaystyle \mathrm {X} } 的一个元素,且群 G {\displaystyle \mathrm {G} } X {\displaystyle \mathrm {X} } 上有着一个作用,那么 x {\displaystyle x} 的轨道 G x {\displaystyle \mathrm {G} _{x}} 就是指以下列方式定义的 X {\displaystyle \mathrm {X} } 的子集:

G x = { g x | g G } {\displaystyle \mathrm {G} _{x}=\{g\cdot x|g\in \mathrm {G} \}}

X {\displaystyle \mathrm {X} } 的两个轨道,要不彼此相等,要不然其交集就是空集合。这是因为假如两个轨道 G x {\displaystyle \mathrm {G} _{x}} G y {\displaystyle \mathrm {G} _{y}} 有一个共通元素 a {\displaystyle a} ,那么就可以找到两个 G {\displaystyle \mathrm {G} } 中的元素 m {\displaystyle m} n {\displaystyle n} ,使得 a = m x G x {\displaystyle a=m\cdot x\in \mathrm {G} _{x}} a = n y G y {\displaystyle a=n\cdot y\in \mathrm {G} _{y}} ,同时有 x = m 1 a = m 1 n y G y {\displaystyle x=m^{-1}\cdot a=m^{-1}n\cdot y\in \mathrm {G} _{y}} ,反之亦可推出 y = n 1 a = n 1 m x G x {\displaystyle y=n^{-1}\cdot a=n^{-1}m\cdot x\in \mathrm {G} _{x}} ,而这使得这两个集合所有的元素都相等。

一个轨道的例子是陪集,假若 H {\displaystyle \mathrm {H} } G {\displaystyle \mathrm {G} } 的一个子集,且定义 G {\displaystyle \mathrm {G} } 中元素的惯常运算规则为 H {\displaystyle \mathrm {H} } G {\displaystyle \mathrm {G} } 上的一个作用,那么 H {\displaystyle \mathrm {H} } 的陪集 a H {\displaystyle \mathrm {aH} } ( a G {\displaystyle a\in \mathrm {G} } )就是 a {\displaystyle a} 的轨道。

不变子集

若S是X的一个子集,群G作用在X上( X 被称作G-set),对于群G中的所有元素 g,以及所有S中的元素 x,有着 g x S {\displaystyle g\cdot x\in S}

则我们会说 S在G的作用下是封闭的,或是说,S在G作用下是不变的

不动点与稳定子群

x {\displaystyle x} X {\displaystyle \mathrm {X} } 的一个元素,对于群 G {\displaystyle \mathrm {G} } 中的所有元素 g {\displaystyle g} 而言,都有 g x = x {\displaystyle g\cdot x=x} ,那么就称 x {\displaystyle x} G {\displaystyle \mathrm {G} } -不变的( G {\displaystyle \mathrm {G} } -invariant)。

另外若 x {\displaystyle x} X {\displaystyle \mathrm {X} } 的一个元素,则所有使得 g x = x {\displaystyle g\cdot x=x} G {\displaystyle \mathrm {G} } 中的元素 g {\displaystyle g} 构成的集合又称 G {\displaystyle \mathrm {G} } 对于 x {\displaystyle x} 的稳定子群(stabilizer subgroup of G {\displaystyle \mathrm {G} } with respect to x {\displaystyle x} ),一般常常将之记作 G x {\displaystyle \mathrm {Gx} } (注意:不要将之与上面轨道的符号混淆)。

G x {\displaystyle \mathrm {Gx} } G {\displaystyle \mathrm {G} } 的一个子群,因为根据定义 e x = x G x {\displaystyle e\cdot x=x\in \mathrm {Gx} } ,因此 G {\displaystyle \mathrm {G} } 的单位元 e {\displaystyle e} 属于 G x {\displaystyle \mathrm {Gx} } ,且假若 m G x {\displaystyle m\in \mathrm {Gx} } ,那么 m {\displaystyle m} 的逆元 m 1 {\displaystyle m^{-1}} 也是 G x {\displaystyle \mathrm {Gx} } 的元素,因为 x = e x = m 1 m x = m 1 x {\displaystyle x=e\cdot x=m^{-1}m\cdot x=m^{-1}\cdot x}

轨道-稳定点定理 与Burnside's 引理

考虑一个映射 f : G x G / G x {\displaystyle f:G\cdot x\longrightarrow G/G_{x}} 可以证明此映射是一个双射的函数,而这个映射的结论就是所谓的 轨道-稳定点定理 | G x | = {\displaystyle |G\cdot x|=}

而一个跟轨道-稳定点定理相似的结果就是Burnside's 引理, | X / G | = 1 | G | g G | X g | {\displaystyle |X/G|={\frac {1}{|G|}}\sum _{g\in G}|X^{g}|}

详情请看 西罗定理

相关

  • 扣带皮层扣带皮层(英文:cingulate cortex)是位于扣带回的大脑皮层。扣带皮层在前侧由下至上从胼胝体附近延伸到扣带沟。根据Brodmann分区系统,扣带皮层包括23,24,26,29,30,31和32区。根据
  • 印度哲学家印度哲学已具有近三千年的历史。印度哲学的发展可分为三个基本时期:在第一个时期,哲学思想逐渐从记录在人类最古老的文献—吠陀里的神话观念中分化出来。这一过程最集中地表现
  • 万有引力之虹《万有引力之虹》(英语:Gravity's Rainbow)是美国作家托马斯·品钦所著的后现代主义史诗小说,初版于1973年2月28日。《万有引力之虹》属于越界小说的范畴——这不仅是因为它质疑
  • 津菜津菜特指天津地方风味菜系,早年起源于民间,以鲜咸为主,口感软嫩酥烂, 从形成到发展至今有300多年历史。天津菜系形成和发展与漕运和盐商息息相关,运河船夫的饮食,促进了天津小吃的
  • 博多尔甘杰乌帕齐拉博多尔甘杰乌帕齐拉(孟加拉语:বদরগঞ্জ,英语:Badarganj Upazila)是孟加拉国朗布尔县的一个乌帕齐拉,位于朗布尔专区的朗布尔县。。据1991年孟加拉国人口普查(英语:1991 Bangla
  • 奥贾温德·莫斯特鲁普奥贾温德·莫斯特鲁普(丹麦语:Øjvind Moestrup;1941年-)是一位丹麦的水生植物学家, 专门研究藻类的分类。现时他在哥本哈根大学植物学研究院的海洋植物学部工作,也是生物学系的教
  • 埃沙赫魏尔湖坐标:47°41′43″N 10°11′28″E / 47.6952°N 10.1911°E / 47.6952; 10.1911埃沙赫魏尔湖(德语:Eschacher Weiher),是德国的湖泊,位于该国东南部,由巴伐利亚州负责管辖,处于布亨
  • 斗破蓝天斗破蓝天(英语:Soldiers of the Sky)是一部1941年的美国纪录短片,由厄尔·阿莱维因执导。该片曾入围第14届奥斯卡金像奖最佳纪录短片。
  • 积分符号∫符号 ∫ {\displaystyle \int } 是数学中用来表示积分的符号。此符号由德国数学家戈特弗里德·莱布尼茨(Gottfried Wilhelm von Leibniz
  • 施普罗克赫弗尔巴赫河坐标:51°24′32″N 7°10′46″E / 51.40889°N 7.17944°E / 51.40889; 7.17944施普罗克赫弗尔巴赫河(德语:Sprockhöveler Bach),是德国的河流,位于该国西部,处于北莱茵-威斯特