群 (数学)
群の概念が初めてはっきりと取り出されたのは、エヴァリスト・ガロアによる根の置換群を用いた代数方程式の研究だとされている。
16世紀中頃に、ジェロラモ・カルダーノ、ルドヴィコ・フェラーリらによって四次方程式までは冪根による解の公式が得られていたが、5 次以上の方程式に解の公式が存在するのかどうかはわかっていなかった。その後18世紀後半になってラグランジュによって代数方程式の解法が根の置換と関係していることが見出された。(「ラグランジュの定理」にその名が残っているのはこのためである。)19世紀に入り、ルフィニやニールス・アーベルによって五次以上の方程式にはべき根による解の公式が存在しないことが示された。
ガロアは、より一般に任意の代数方程式について根が方程式の係数から加減乗除や冪根の操作によって得られるかどうかという問題を、方程式のガロア群の可解性という性質に帰着した。ガロアの研究に端を発する群を用いた代数方程式の理論は今ではガロア理論と呼ばれている。
ガロア理論によれば五次以上の代数方程式の非可解性は交代群が単純であることによって説明される。このような有限単純群の分類は20世紀に大きく発展し、1980年代までにいくつかの系列と26の例外からなる有限単純群の同型類のリストアップが完成した。
有限べき零群はそのシロー部分群の直積に同型である。