この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2023年9月)
数学、特に環論における単位的環(たんいてきかん、英: unital/unitary ring)、単位環(たんいかん、英: unit ring)あるいは単位元を持つ環 (ring with unit/unity/identity) とは[注釈 1]、乗法単位元を持つ環のことである。 集合 R 上の2つの二項演算 (+, ∗) を持つ代数系 (R, +, ∗) が単位的環であるとは、 を満たすことを言う。(ラングの本など)環の定義に乗法単位元の存在を含める文献もあり、その場合に必ずしも単位的でない環を表すのに擬環 (pseudo-ring, rng) などの語が用いられる[要出典]。即ち、R が単位環であるとは、乗法単位元 1R の存在する擬環のことに他ならない。 整数の全体 Z や任意の体(有理数体 Q, 実数体 R, 複素数体 C, 有限体 Fq など)は単位的環である。また、適当な集合 I 上で定義され適当な単位的環に値をとる写像全体の成す集合は、(点ごとの和と)点ごとの積に関して単位的環を成す(乗法単位元は、I の各元に対して常に単位元を対応させる写像)。 単位的環に係数を持つ多項式全体の成す集合やコンパクト台付きシュヴァルツ超函数全体の成す集合は合成積に関して単位的環を成す。しかし、(シュヴァルツ超函数の双対である)試験函数には無限遠で 0 に収斂するなどの制約がついていることが多く、解析学に現れるそういった函数空間の多くは(点ごとの積に関する)単位元を持たない環となる。
定義について
加法の結合性:R の各元 a, b, c に対して (a + b) + c = a + (b + c) が成り立つ。
加法の可換性:R の各元 a, b に対して a + b = b + a が成り立つ。
加法単位元:R の元 0R が存在して、R の全ての元 a に対して 0R + a = a + 0R = a を満たす。
加法逆元:R の各元 a に対して a + (−a) = (−a) + a = 0 となる −a ∈ R が取れる。
乗法の結合性:R の各元 a, b, c に対して (a ∗ b)∗ c = a ∗(b ∗ c) が成り立つ。
乗法単位元:R の元 1R が存在して、R の全ての元 a に対して 1R ∗ a = a ∗ 1R = a を満たす。
左右分配性:R の各元 a, b, c に対して a ∗(b + c) = (a ∗ b) + (a ∗ c) および (b + c)∗ a = (b ∗ a) + (c ∗ a) が成り立つ。
例
脚注[脚注の使い方]
注釈^ 環論において、環 R の "unit"(単元)は、単位元 1R に限らず、その環 R において乗法逆元を持つ元(可逆元)を総した呼称である。しかし、可逆性は単位元の存在なしには定義できないし、単位元は必ず単元であるので、何らかの単元を持つ環は必ず単位的環となって、"ring with (a) unit" という呼称は図らずも齟齬をきたさない。
参考文献
Wilder, Raymond L. (1965), Introduction to the Foundations of Mathematics, John Wiley and Sons, New York, NY. Uses the terminology ring with a unit in the definition of rings on page 176.
関連項目
半環
単位的多元環
外部リンク
.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}Weisstein, Eric W. "Unit Ring". mathworld.wolfram.com (英語).