可換環論(かかんかんろん、英語:commutative algebra、commutative ring theory)は、その乗法が可換であるような環(これを可換環という)に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。 イデアルの概念がリヒャルト・デーデキントによって1870年代に導入されて、以後
非可換環
可換環にも適用できる。 可換でない環の例をいくつか挙げる: 実数上の n 次全行列環、ただし n > 1。 ハミルトンの四元数。 可換でない群と零環でない環から作られる任意の群環 幾何学から生じる可除環を始まりとして、非可換環の研究は現代代数学の主要な分野に成長している。非可換環
可解群
が有限項で自明な部分群 1 に達することと定義もできる。ここで各 k ≥ 0 について G(k + 1) は G(k) の交換子部分群 [G(k), G(k)] である。可解群 G に対して G(n) = 1 となる最小の n ≥ 0 を導来列の長さ (derived length) という。 任意の群 H とその正規部分群