群论,商群的概念是什么？有什么用？

在数学和抽象代数中，群论研究名为群的代数结构。群在抽象代数中具有基本的重要地位：许多代数结构，包括环、域和模等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。
中文名
群论
外文名
Group Theory
基本概念
群的定义
设 是一个非空集合， 是它的一个二元运算，如果满足以下条件：
(1) 封闭性：若 ，则存在唯一确定的 使得 ；
(2) 结合律成立，即对 中任意元素 都有 ；
(3) 单位元存在：存在 ，对任意 ，满足 。 称为单位元，也称幺元；
(4) 逆元存在：任意 ，存在 ， （ 为单位元），则称 与 互为逆元素，简称逆元。 记作 ；
则称 对 构成一个群。
通常称 上的二元运算 为“乘法”，称 为 与 的积，并简写为 。
若群 中元素个数是有限的，则 称为有限群。否则称为无限群。有限群的元素个数称为有限群的阶。
定义运算
对于 ，对于 的子集 ，定义 ，简写为 ； ，简写为 。
对于 的子集 , ，定义 ，简写为 。
对于 的子集 ，记 。
群的替换定理
若
是群，则对于任一 ， 。
子群
若 是群， 是 的非空子集并且 也是群，那么称 为 的子群。
这条定理可以判定 的子集是否为一个子群：
且 是 的子群
历史
群论是法国数学家伽罗瓦（Galois）的发明。

伽罗瓦
他用该理论，具体来说是伽罗瓦群，解决了五次方程问题。在此之前柯西（Augustin-Louis Cauchy)，阿贝尔（Niels Henrik Abel）等人也对群论作出了贡献。
最先产生的是n个文字的一些置换所构成的置换群，它是在研究当时代数学的中心问题即五次以上的一元多项式方程是否可用根式求解的问题时，经由J.-L.拉格朗日、P.鲁菲尼、N.H.阿贝尔和E.伽罗瓦引入和发展，并有成效地用它彻底解决了这个中心问题。某个数域上一元n次多项式方程，它的根之间的某些置换所构成的置换群被定义作该方程的伽罗瓦群，1832年伽罗瓦证明了：一元 n次多项式方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为“可解群”（见有限群）。由于一般的一元n次方程的伽罗瓦群是n个文字的对称群Sn，而当n≥5时Sn不是可解群，所以一般的五次以上一元方程不能用根式求解。伽罗瓦还引入了置换群的同构、正规子群等重要概念。应当指出，A.-L.柯西早在1815年就发表了有关置换群的第一篇论文，并在1844～1846年间对置换群又做了很多工作。至于置换群的系统知识和伽罗瓦用于方程理论的研究，由于伽罗瓦的原稿是他在决斗致死前夕赶写成的，直到后来才在C.若尔当的名著“置换和代数方程专论”中得到很好的介绍和进一步的发展。置换群是最终产生和形成抽象群的第一个最主要的来源。
在数论中，拉格朗日和C.F.高斯研究过由具有同一判别式D的二次型类，即f=ax^2+2bxy+cy^2，其中a、b、с为整数，x、y 取整数值，且D=b^2-aс为固定值，对于两个型的"复合"乘法，构成一个交换群。J.W.R.戴德金于1858年和L.克罗内克于1870年在其代数数论的研究中也引进了有限交换群以至有限群。这些是导致抽象群论产生的第二个主要来源。
在若尔当的专著影响下，（C.）F.克莱因于1872年在其著名的埃尔朗根纲领中指出，几何的分类可以通过无限连续变换群来进行。克莱因和（J.-）H.庞加莱在对 "自守函数”的研究中曾用到其他类型的无限群（即离散群或不连续群）。在1870年前后，索菲斯·李开始研究连续变换群即解析变换李群，用来阐明微分方程的解，并将它们分类。这无限变换群的理论成为导致抽象群论产生的第三个主要来源。
A.凯莱于1849年、 1854年和 1878年发表的论文中已然提到接近有限抽象群的概念。F.G.弗罗贝尼乌斯于1879年和E.内托于1882年以及W.F.A.von迪克于 1882～1883年的工作也推进了这方面认识。19世纪80年代，综合上述三个主要来源，数学家们终于成功地概括出抽象群论的公理系统，大约在1890年已得到公认。20世纪初，E.V.亨廷顿，E.H.莫尔，L.E.迪克森等都给出过抽象群的种种独立公理系统，这些公理系统和现代的定义一致。
在1896～1911年期间，W.伯恩赛德的“有限群论”先后两版，颇多增益。G.弗罗贝尼乌斯、W.伯恩赛德、I.舒尔建立起有限群的矩阵表示论后，有限群论已然形成。无限群论在2

不就是分类呗

整数关于加法形成一个加法群，现在，我们考虑它们除24后的余数，就像时间一样，今天的一点钟和昨天的一点钟单单就1而言是等价的，所以我们不妨把它们看为同一类元素，也就是说，1和25是等价的，因为它们除24后都余1，这样，我们就把整个整数变成了只有24个元素的有限群，我们分别以1，2...24作为它们的代表元，这24个元素就形成了一个商群。
现在让我们把这个概念抽象出来：如果在一个群上定义了一个等价关系，把诸元素分成互不相交的等价类，取其中一个元素作为代表元，则这样形成的群就是商群。
再回到一般群中，与单位元等价的元素形成的群记为A，则它是一个正规子群，则商群可以写为aA，bA，cA……故，任意正规子群都能产生商群。
至于商群有什么用，你看他把等价元素都弄成一个元素就知道它有什么用了，我们考虑问题时考虑的对象往往是具有某些特殊性质的集合，这些东西可以视为一个东西，商群就可以帮你把它们凝为一体，具体可参考任何一本抽象代数书。