user
下の段落を参照し,その後の質問に,段落と同じ言語で答えます.  パセージ:数学者はしばしば,数学的な概念の完全な分類 (またはリスト) を目指します. 限られた群の文脈では,この目的は難しい数学につながります. ラグランジュ定理によれば,素数pの有限群は必然的に周期 (アベリアン) 群Zpである. 順序p2のグループもアベリアンであることが示され得るが,これは順序p3に一般化されない.上記8=23の非アベリアングループD4が示すように. コンピュータ代数システムは小グループをリストにするために使用できますが,すべての有限グループの分類はありません. 中間段階は,有限な単純な群の分類である. 非<unk>小群は,その唯一の正常子群が<unk>小群と群そのものである場合に単純群と呼ばれます. ジョーダン・ホルダー定理は,すべての有限群の構成要素として有限の単純な群を示している. すべての有限の単純な群をリストアップすることは,現代の群論における大きな成果であった. 1998年のフィールズ賞を受賞したリチャード・ボーチルズは,モンスターシャインの仮説を証明することに成功し,最大の有限の単純な散発群"モンスター群"と特定のモジュール関数,古典的な複合分析の1つ,そして多くの物理現象の記述を統一する理論である弦理論との驚くべき深い関係を示しました.  質問:ジョーダン・ホルダー定理の大きな成果として考えられたものは?
assistant
すべての有限の単純な群をリストする