Skip to content
数学
Main Navigation
代数
代数概述
初等代数
高等代数
抽象代数概述
抽象代数-群论
抽象代数-环论
抽象代数-域论
抽象代数-交换代数
抽象代数-李代数
中文
English
英文
中文
English
英文
Appearance
Menu
Return to top
On this page
有限群与无限群之置换群的定义与性质
对称群（Symmetric Group）
对称群是一种特殊类型的有限群，它由所有可以实现对称变换（即使是反射）的转换组成。例如，对于一道画，有四个可能的对称变换：旋转90度、180度、270度和不旋转。
公式：
You can't use 'macro parameter character #' in math mode
|A_n| = n!$$，其中$|A_n|$是对称群中元素的数量，$n!$表示$n$个正整数的阶乘。 ## 交错群（Dihedral Group） 交错群是一种有限群，它由所有可以实现旋转和反射变换的转换组成。例如，对于一道画，有四个可能的交错变换：旋转90度、180度、270度和不旋转。 公式： $$|D_n| = 2n$$，其中$|D_n|$是交错群中元素的数量，$n$表示旋转次数。 ## 无限群（Borel Group） 无限群是一种无穷多个元素的群，它由所有可以实现某种变换的转换组成。例如，对于一个三维空间，有无穷多个可能的变换，从而形成无限群。 公式： $$\text{Sl}_n(\mathbb{R}) = \{\begin{pmatrix} a_{ij} & j \leq n \\ 0 & j > n \end{pmatrix} \mid a_{ij} \in \mathbb{R}, \det(a_{ij}) = 1\}$$，其中$\text{Sl}_n(\mathbb{R})$表示$n\times n$正方形平面中的高斯群。 ##置换群的性质 置换群是群的一种特殊类型，它由所有可以实现对称变换或交错变换的转换组成。置换群具有以下性质： * 对称群中，对于任何两个元素$a,b \in A_n$，存在一个逆元$ab^{-1} \in A_n$。 * 交错群中，对于任何两个元素$a,b \in D_n$，存在一个逆元$ab^{-1} \in D_n$。 * 无限群中，对于任何两个元素$a,b \in B_n$，存在一个逆元$ab^{-1} \in B_n$。 ## 应用置换群 置换群在多种领域中应用非常广泛，包括： * 数学：置换群用于解决数值计算问题和理论计算问题。 * físics：置换群用于描述物理系统的行为。 * 计算机科学：置换群用于编程语言和数据结构的开发。 总之，置换群是一种非常有用的群，它在多种领域中具有重要性。
|A_n| = n!$$，其中$|A_n|$是对称群中元素的数量，$n!$表示$n$个正整数的阶乘。 ## 交错群（Dihedral Group） 交错群是一种有限群，它由所有可以实现旋转和反射变换的转换组成。例如，对于一道画，有四个可能的交错变换：旋转90度、180度、270度和不旋转。 公式： $$|D_n| = 2n$$，其中$|D_n|$是交错群中元素的数量，$n$表示旋转次数。 ## 无限群（Borel Group） 无限群是一种无穷多个元素的群，它由所有可以实现某种变换的转换组成。例如，对于一个三维空间，有无穷多个可能的变换，从而形成无限群。 公式： $$\text{Sl}_n(\mathbb{R}) = \{\begin{pmatrix} a_{ij} & j \leq n \\ 0 & j > n \end{pmatrix} \mid a_{ij} \in \mathbb{R}, \det(a_{ij}) = 1\}$$，其中$\text{Sl}_n(\mathbb{R})$表示$n\times n$正方形平面中的高斯群。 ##置换群的性质 置换群是群的一种特殊类型，它由所有可以实现对称变换或交错变换的转换组成。置换群具有以下性质： * 对称群中，对于任何两个元素$a,b \in A_n$，存在一个逆元$ab^{-1} \in A_n$。 * 交错群中，对于任何两个元素$a,b \in D_n$，存在一个逆元$ab^{-1} \in D_n$。 * 无限群中，对于任何两个元素$a,b \in B_n$，存在一个逆元$ab^{-1} \in B_n$。 ## 应用置换群 置换群在多种领域中应用非常广泛，包括： * 数学：置换群用于解决数值计算问题和理论计算问题。 * físics：置换群用于描述物理系统的行为。 * 计算机科学：置换群用于编程语言和数据结构的开发。 总之，置换群是一种非常有用的群，它在多种领域中具有重要性。