有限群但不是可解群得例子.docxVIP

有限群但不是可解群得例子 有限群是群论中的一个重要概念。群是一种代数结构，满足封闭性、结合律、存在单位元素和逆元素。在数学中，有限群是指群中的元素个数是有限的。可解群是一种特殊的有限群，其定义是存在一组子群，使得每个子群都是正规子群，且子群的商构成一个交换群。在这篇文章中，我们将讨论有限群中不是可解群的例子。 一个经典的例子是五阶对称群（Symmetric group of degree 5），记为$S_5$。这个群有$5!=120$个元素。$S_5$表示的是一个五元集合的置换群。它的元素是所有可能的置换，因此一个置换可以看作是一种元素的排列。例如，$(1~ 2~ 3)$表示将1、2、3三个元素进行置换，变成2、3、1，其它元素保持不变。$S_5$中的群运算是置换的复合运算，也就是将一个置换作用在另一个置换上。 $S_5$不是可解群，这是由于它的复合序列不可约。具体来说，它包含一个次序为2的元素，也就是一个置换自身作用两次就等于单位元素。记为$(1~2)$，它可以表示为$(1~2)=(1~2~3~4~5)(1~2)(1~2~3~4~5)$。假设存在一个正规子群$N$，并且$N$不等于$S_5$或$\{e\}$，那么$N$肯定包含非平凡的置换。如果这个置换是奇交错群$A_5$的元素，那么由于$A_5$不是可解群，$N$也不是可解群。如果这个置换不是$A_5$中的元素，那么它可以表示为两个不相交的置换的复合$γ_1γ_2$，其中每个置换的长度小于5。这样一来，$N$就包含这两个小置换的子群，由于这两个群都是可解群，那么$N$也是可解群。因此，$S_5$不可能存在一个正规子群，使得它是可解群。 除了五阶对称群之外，还有许多不是可解群的有限群。例如，偶数阶交错群、三阶特殊线性群、七阶幂零群等等。这些群的定义和性质可以在相关的群论教材中找到。 综上所述，有限群是数学中一个非常重要的研究对象，可解群是其中的一种特殊群。本文介绍了五阶对称群作为不可解群的典型例子，并指出了其他不是可解群的一些有限群。这些群在代数、数论、物理和计算机科学等领域中都有广泛的应用。