可換環論(かかんかんろん、英語:commutative algebra、commutative ring theory)は、その乗法が可換であるような環(これを可換環という)に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。 イデアルの概念がリヒャルト・デーデキントによって1870年代に導入されて、以後
非可換環
可換環にも適用できる。 可換でない環の例をいくつか挙げる: 実数上の n 次全行列環、ただし n > 1。 ハミルトンの四元数。 可換でない群と零環でない環から作られる任意の群環 幾何学から生じる可除環を始まりとして、非可換環の研究は現代代数学の主要な分野に成長している。非可換環
可換体
×) は群であり、乗法群と呼ばれる。K の乗法群をしばしば K× とも記し、Gm(K) と記されることもある。体 K の乗法群の任意の有限部分群は巡回群である。 体の元の濃度を位数といい、有限な位数を持つ体を有限体と呼び、そうでない体を無限体と呼ぶ。有限斜体は常に可換体である(ウェダバーンの小定理)。