可逆元

数学、とくに代数学における可逆元（かぎゃくげん、）または単元（たんげん、）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。
定義.
いくつかの冪等元を持つ半群 "S" について、"S" の元 "a" は "S" の元 "b" と冪等元 "e" が存在して "ab" = "e" となるとき "e" に対する右可逆元であるといい、 "S" の元 "c" と冪等元 "e"′ が存在して "ca" = "e"′ となるとき "e"′ に対する左可逆元であるという。"a" が冪等元 "e" に対して左可逆元かつ右可逆元であるとき、"a" は "e" に対する可逆元であるという。"M" が単位的半群であるとき、その単位元に対する（左、右）可逆な元をそれぞれ（左、右）単元 と呼ぶ。
群や単位的半群に対しては、それを半群と見るとき、その元が正則（一般化可逆、擬可逆）元であること、単位元に対する可逆元であること、および単元であることの概念は一致する。
半群 "S" はその任意の元が（左、右）可逆元であるとき、（左、右）可逆半群であるという。
逆半群（任意の元が（一般化）逆元を唯一つもつ半群）や左群（任意のふたつの元 "a", "b" に対して "ca" = "b" となる元 "c" が唯一つ存在する半群）、右群（任意のふたつの元 "a", "b" に対して "ac" = "b" となる元 "c" が唯一つ存在する半群）などはすべて可逆半群である。
半群 "S" に冪等元 "e" が存在するとき、"e" に関する可逆元の全体は "e" を単位元として含む "S" の極大部分群を成す。
環の単元群.
環は乗法について半群を成し、環が単位的ならばそれは単位的半群であるから、この構造に関する可逆元、単元（単数）を考えることができる。とくに、単位的環 の単元の全体は、 の単元群 と呼ばれる の乗法的半群の極大部分群を成す。 の単元群は , などで表す。 が可除環となることと、 の単元群が の非零元全体 に一致することとは同値である。
任意の単位的環 に対し、単位的環準同型 は、単元群の間の群準同型 を引き起こす。したがって、単位的環 にその単元群 を対応させる操作 は、単位的環の圏から群の圏への函手である。この函手の左随伴は群 に群環 を対応させる操作である。