有限群

数学および抽象代数学において、有限群(ゆうげんぐん、英: finite group)とは台となっている集合 G が有限個の元しか持たない群のことである。20世紀の間数学者は、特に有限群の局所解析や、可解群や冪零群の理論などといった、有限群の理論のさまざまな面を深く研究していた。全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている（任意の有限群は組成列を持つ）。