群论(基本)

（Upd 2021.07.19 关于一些定理的补充和证明，school）

---

（原文地址：https://www.cnblogs.com/fallingdust/p/14515290.html）
PS：都是我的博客
注：数字公式两个网站不一样，建议去原版观看，谢谢。

简介

群论，是数学概念。在数学和抽象代数中，群论研究名为群的代数结构。群在抽象代数中具有基本的重要地位：许多代数结构，包括环、域和模等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。
群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。

群论是法国数学家伽罗瓦（Galois）的发明。伽罗瓦是一个极具传奇性的人物，年仅21岁就英年早逝于一场近乎自杀的决斗中。

伽罗瓦
他用该理论，具体来说是伽罗瓦群，解决了五次方程问题。在此之前柯西（Augustin-Louis Cauchy)，阿贝尔（Niels Henrik Abel）等人也对群论作出了贡献。
最先产生的是n个文字的一些置换所构成的置换群，它是在研究当时代数学的中心问题即五次以上的一元多项式方程是否可用根式求解的问题时，经由J.-L.拉格朗日、P.鲁菲尼、N.H.阿贝尔和E.伽罗瓦引入和发展，并有成效地用它彻底解决了这个中心问题。某个数域上一元n次多项式方程，它的根之间的某些置换所构成的置换群被定义作该方程的伽罗瓦群，1832年伽罗瓦证明了：一元 n次多项式方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为“可解群”（见有限群）。由于一般的一元n次方程的伽罗瓦群是n个文字的对称群Sn，而当n≥5时Sn不是可解群，所以一般的五次以上一元方程不能用根式求解。

---

群论

我们将满足以下性质的集合成为群：

• 封闭律：$a,b\in S,ab\in S$
• 结合律：$a(bc)=(ab)c$
• 幺元：$\exist e\in S ,\forall b\in S,eb=be=b $
• 逆元：$\forall a\in S,\exists b\in S,ab=e$

子群定义

若$(S,\cdot )$是群，$T$是$S$的非空子集，且$(T,\cdot )$也是群，则称$(T,\cdot )$是$(S,\cdot )$的子群。

一种特殊的群：阿贝尔群（交换群）
满足性质：$ab=ba$

值得注意的是：群论中，群的运算：乘法是经过重新定义的，并非代数中的数乘。

群的举例：
自然数集 N ，乘法：数乘。这就是一个简单的群。

---

置换群

用途：将元素进行交换。

置换的定义

有限集合到自身的双射（逻辑上的一一对应关系）成为置换。$S=a_1,a_2,...,a_n$上的置换可以表示为：
$$f=\left(\begin{array}{r}{a}_1,a_2,...,a_n\\ a_{p1},a_{p2},...a_{pn}\end{array}\right)$$
意为将$a_i$映射为$a_{pi}$，其中$p1,p2,...,pn$式$1,2,...,n$的一个排列。显然$S$上的所有置换的数量为