可迁

可迁性
术语名称	可迁性
英语名称	transitivity

可迁(transitive)指一个群作用可以总通过群中元素把集合中任一元素映射到任一元素。

定义

对群 [math]\displaystyle{ G }[/math] 在集合 [math]\displaystyle{ X }[/math] 上的作用，若 [math]\displaystyle{ (\forall a,b \in X)(\exists g \in G)(b = \alpha(g, a)) }[/math] ，称群作用 [math]\displaystyle{ \alpha }[/math] 是可迁的(transitive)。

基础群论初步
群、群公理	交换群、交换群公理	重排定理
子群 [math]\displaystyle{ \leq }[/math]	陪集、陪集定理	Lagrange 定理
正规子群、不变子群 [math]\displaystyle{ \unlhd }[/math]	共轭、共轭关系、共轭类
	同余关系、同余类	商群
同态与同构
同态	同态核、同态像
单同态、满同态	同构 [math]\displaystyle{ \cong }[/math]
第一同构定理	第二同构定理	第三同构定理
群作用与变换群
群作用	左乘作用、共轭作用
忠实、自由		Cayley 定理
轨道	稳定子群	轨道-稳定子群定理
不动点		Burnside 引理