群作用

群作用将群的抽象元素实现为集合的变换，使对称性具体化，并通过轨道-稳定子关系提供计数工具。

Definition

群 G 在集合 X 上的作用是从 G 到 X 的置换群的同态，等价地，它是一个将每个群元素和点映射到新点的映射，且与群运算和单位元兼容。

Scope

本主题涵盖作用的定义、轨道和稳定子、轨道-稳定子定理、类方程、伯恩赛德计数引理，以及通过共轭作用和在陪集上的作用来推导群的结构结果。

Core questions

• 一个抽象群如何作为集合的具体对称性而作用？
• 轨道的尺寸与稳定子子群的尺寸有何关系？
• 类方程如何限制有限群的结构？
• 群作用如何用于对对称性下的对象进行计数？

Key theories

Orbit-stabilizer theorem

For a group acting on a set, the size of the orbit of a point equals the index of its stabilizer subgroup, linking orbit sizes to subgroup indices.

Class equation

Applying the orbit-stabilizer theorem to the conjugation action partitions a finite group into conjugacy classes whose sizes divide the group order, a key tool for studying p-groups and centers.

Burnside's lemma

The number of orbits of a finite group action equals the average number of points fixed by the group elements, providing a systematic method for counting configurations up to symmetry.

Clinical relevance

群作用是对称性的形式化表达，是组合学中对称性计数（伯恩赛德和波利亚枚举）、几何和物理对称群分析以及用于证明核心定理（如凯莱定理和西洛定理）的同态构造的基础。

History

作用的观点源于19世纪伽罗瓦、柯西和约当对置换群的研究，并随着抽象群概念的成熟，被形式化为群作用于集合。伯恩赛德的计数技术系统化了对称性下的枚举。

Key figures

• Arthur Cayley
• William Burnside
• Camille Jordan

Seminal works

• dummit2004
• artin2011
• rotman1995

Frequently asked questions

如果群已经是抽象的，为什么群作用还有用？

作用将抽象的群元素转化为集合的具体置换，因此结构问题变为组合问题。凯莱定理甚至表明每个群都忠实地作用于自身，将其嵌入到对称群中。

轨道-稳定子定理能带来什么？

它将轨道大小转换为子群指数，而子群指数整除群的阶。这是类方程、西洛定理和有限群论中许多计数论证的引擎。