|
数学における部分環(ぶぶんかん、)は、環 ''R'' の部分集合 ''S'' で、''R'' の加法と乗法をそこに制限するときそれ自身が環となり、かつ ''R'' の単位元を含むものを言う。単位元を持つことを仮定しない場合には、''R'' の演算の制限で ''S'' が環を成すことのみを以って部分環を定義する(この場合も自動的に ''S'' は ''R'' の加法単位元を含む)。後者は前者よりも弱い条件であり、例えば任意のイデアルは(たとえ乗法的単位元を持つ環においても)後者の意味の部分環になる(この部分環が、もとの環とは異なる乗法単位元を持つ場合もあり得る)。(本項で扱う)単位元の存在を定義に含める場合には、''R'' の部分環となるようなイデアルは ''R'' 自身に限る。 == 定義といくつかの事実 == 環 の部分環とは、''R'' の部分集合 ''S'' で環構造を保存するものを言う。即ち は環であり を満足する。同じことだが、加法群 の部分群かつ乗法モノイド の部分モノイドとなるものということもできる。 整数環 Z およびその剰余類環 Z/''n''Z は、それ自身以外の(単位元を共有する)部分環を持たない。 任意の環は、適当な非負整数 ''n'' に対する環 Z/''n''Z に同型な、最小の部分環をただ一つ持つ。ただし、この場合整数環 Z は に対応するものとする(Z は Z/0Z に同型)。 は、任意の環 ''R'' に対して、''R'' の部分集合が部分環となるのはそれが ''R'' の加法単位元を含み、かつ減法と乗法に関して閉じている場合に限ることを述べる。 例として、整数環 Z は、実数体 R の部分環であり、また多項式環 の部分環でもある。'Z は、それ自身以外の(単位元を共有する)部分環を持たない。 任意の環は、適当な非負整数 ''n'' に対する環 Z/''n''Z に同型な、最小の部分環をただ一つ持つ。ただし、この場合整数環 Z は に対応するものとする(Z は Z/0Z に同型)。 は、任意の環 ''R'' に対して、''R'' の部分集合が部分環となるのはそれが ''R'' の加法単位元を含み、かつ減法と乗法に関して閉じている場合に限ることを述べる。 例として、整数環 Z は、実数体 R の部分環であり、また多項式環 の部分環でもある。 R の部分環であり、また多項式環 の部分環でもある。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「部分環」の詳細全文を読む スポンサード リンク
|