可換環論(かかんかんろん、英語:commutative algebra、commutative ring theory)は、その乗法が可換であるような環(これを可換環という)に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。 イデアルの概念がリヒャルト・デーデキントによって1870年代に導入されて、以後
可解群
が有限項で自明な部分群 1 に達することと定義もできる。ここで各 k ≥ 0 について G(k + 1) は G(k) の交換子部分群 [G(k), G(k)] である。可解群 G に対して G(n) = 1 となる最小の n ≥ 0 を導来列の長さ (derived length) という。 任意の群 H とその正規部分群