環準同型? 核? 内部自己同型? フロベニウス自己準同型
可換環
代数体? 整数環? 多項式環? 商環? 分数イデアル? 全商環
非可換環作用素環
ホプキンス・レヴィツキの定理ネーター環
アルティン環
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}
表
話
編
歴
数学、特に抽象代数学の一分野である環論における可換環(かかんかん、英: commutative ring)は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。
いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体
導入
定義詳細は「環 (数学)」を参照
環 R は加法 "+" と乗法 "?" という二種類の二項演算(つまり任意の二元を結合して第三の元 a + b や a ? b を与える操作)を備えた集合である。環を成すためにはこれら二つの演算がいくつかの適当な性質を満たさねばならない。即ち、環 R は加法についてアーベル群を成し、乗法に関して単位的半群を成し、かつ乗法は加法に対して分配的(つまり a ? (b + c) = (a ? b) + (a ? c))である。加法および乗法の単位元はそれぞれ 0 および 1 で表される。
この時さらに乗法が可換律a ? b = b ? a
をも満たすならば、環 R は可換であると言う。以後、本項で扱う環は特に断りのない限りすべて可換であるものとする。 重要かついくつかの意味で重大な例は、整数全体 Z が通常の加法と乗法に関して成す環である。整数の乗法は可換な演算だから、これは可換環である。これをふつう Z と書くのはドイツ語で「数」を意味する Zahlen の略からである。 可換体は任意の非零元 a が可逆である、つまり a ? b = 1 を満たす乗法逆元 b を持つような可換環をいう。従って定義により任意の可換体は可換環を成す。有理数の全体、実数の全体、複素数の全体はそれぞれ体を成す。 二次正方行列全体の成す環は可換でない。行列の乗法が可換でないことは、例えば [ 1 1 0 1 ] ⋅ [ 1 1 1 0 ] = [ 2 1 1 0 ] [ 1 1 1 0 ] ⋅ [ 1 1 0 1 ] = [ 1 2 1 1 ] {\displaystyle {\begin{aligned}{\begin{bmatrix}1&1\\0&1\end{bmatrix}}\cdot {\begin{bmatrix}1&1\\1&0\end{bmatrix}}&={\begin{bmatrix}2&1\\1&0\end{bmatrix}}\\[10pt]{\begin{bmatrix}1&1\\1&0\end{bmatrix}}\cdot {\begin{bmatrix}1&1\\0&1\end{bmatrix}}&={\begin{bmatrix}1&2\\1&1\end{bmatrix}}\end{aligned}}}
簡単な例