単位的環

数学、特に環論における単位的環（たんいてきかん、）、単位環（たんいかん、）あるいは単位元を持つ環 とは、乗法単位元を持つ環のことである。
定義について.
集合 上の2つの二項演算 を持つ代数系 が単位的環であるとは、
を満たすことを言う。（ラングの本など）環の定義に乗法単位元の存在を含める文献もあり、その場合に必ずしも単位的でない環を表すのに擬環 (pseudo-ring, rng) などの語が用いられる。即ち、 が単位環であるとは、乗法単位元 の存在する擬環のことに他ならない。
例.
整数の全体 Z や任意の体（有理数体 Q, 実数体 R, 複素数体 C, 有限体 F など）は単位的環である。また、適当な集合 "I" 上で定義され適当な単位的環に値をとる写像全体の成す集合は、（点ごとの和と）点ごとの積に関して単位的環を成す（乗法単位元は、"I" の各元に対して常に単位元を対応させる写像）。
単位的環に係数を持つ多項式全体の成す集合やコンパクト台付きシュヴァルツ超函数全体の成す集合は合成積に関して単位的環を成す。しかし、（シュヴァルツ超函数の双対である）試験函数には無限遠で 0 に収斂するなどの制約がついていることが多く、解析学に現れるそういった函数空間の多くは（点ごとの積に関する）単位元を持たない環となる。