この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "可逆元"
数学、とくに代数学における可逆元（かぎゃくげん、英: invertible element）または単元（たんげん、英: unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。 いくつかの冪等元を持つ半群 S について、S の元 a は S の元 b と冪等元 e が存在して ab = e となるとき e に対する右可逆元であるといい、 S の元 c と冪等元 e′ が存在して ca = e′ となるとき e′ に対する左可逆元であるという。a が冪等元 e に対して左可逆元かつ右可逆元であるとき、a は e に対する可逆元であるという。M が単位的半群であるとき、その単位元に対する（左、右）可逆な元をそれぞれ（左、右）単元 (unit) と呼ぶ[1][2]。 群や単位的半群に対しては、それを半群と見るとき、その元が正則（一般化可逆、擬可逆）元であること、単位元に対する可逆元であること、および単元であることの概念は一致する。 半群 S はその任意の元が（左、右）可逆元であるとき、（左、右）可逆半群
定義
半群 S に冪等元 e が存在するとき、e に関する可逆元の全体は e を単位元として含む S の極大部分群を成す。 環は乗法について半群を成し、環が単位的ならばそれは単位的半群であるから、この構造に関する可逆元、単元（単数）を考えることができる[4]。とくに、単位的環 R の単元の全体は、R の単元群 (group of units) と呼ばれる R の乗法的半群の極大部分群を成す。R の単元群は U(R), R× などで表す。R が可除環となることと、R の単元群が R の非零元全体 R* に一致することとは同値である。 任意の単位的環 R, S に対し、単位的環準同型 f: R → S は、単元群の間の群準同型 U(f): U(R) → U(S) を引き起こす。したがって、単位的環 R にその単元群 U(R) を対応させる操作 Uは、単位的環の圏から群の圏への函手である。この函手の左随伴は群 G に群環 ZG を対応させる操作である[5]。
環の単元群
例
有理整数環 Z の単元は ±1 である。
n を法とする整数の剰余類環 Z/nZ の単元は n と互いに素な整数の n を法とする剰余類（既約剰余類）であり、その全体は n を法とする既約剰余類群
任意の単位的環に対し、その1の冪根は単元である。
代数体の整数環 R について、ディリクレの単数定理によれば、R の単元群は有限生成アーベル群である。たとえば Q[√5] の整数環において (√5 + 2)(√5 − 2) = 1 であり、この場合じつは単元群は無限群である。一般に、実二次体の単元群はつねに階数 1 の無限群である。
体 F 上の n 次正方行列環 M(n, F) における単元は正則行列である。
参考文献^ 田村孝行『半群論』共立出版〈共立講座 現代の数学 8〉、1972年6月。.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}ISBN 978-4-320-01125-0。
^ 田村孝行『半群論』共立出版〈復刊〉、2001年5月。ISBN 978-4-320-01676-7。
^ P. サミュエル『数の代数的理論』2005年、48頁。ISBN 4-431-71188-0。
^ ただし代数体 K の単数といったときには、その整数環 A の単数を指す、などといった言葉遣いもある[3]。
^ Rowen, Louis Halle (2008). Graduate Algebra: Noncommutative View. Graduate Studies in Mathematics. 91. American Mathematical Society. p. 490. ISBN 978-0-8218-4153-2. https://books.google.com/books?id=8svFC09gGeMC
関連項目
逆元
単位元
外部リンク
世界大百科事典『可逆元』 - コトバンク
世界大百科事典『単数（数学）』 - コトバンク
Weisstein, Eric W. "Unit". mathworld.wolfram.com (英語).
雪江明彦. “私の教科書の用語について” (PDF). 2018年5月17日閲覧。 “「単元群」か「単数群」か「乗法群」か”