可逆元

数学、とくに代数学における可逆元︵かぎゃくげん、英: invertible element︶または単元︵たんげん、英: unit︶とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。

定義

いくつかの冪等元を持つ半群 Sについて、S の元 aは Sの元 bと冪等元 eが存在して ab= eとなるとき eに対する右可逆元であるといい、 Sの元 cと冪等元 e′ が存在して ca= e′ となるとき e′ に対する左可逆元であるという。a が冪等元 eに対して左可逆元かつ右可逆元であるとき、a は eに対する可逆元であるという。M が単位的半群であるとき、その単位元に対する︵左、右︶可逆な元をそれぞれ︵左、右︶単元 (unit) と呼ぶ。

群や単位的半群に対しては、それを半群と見るとき、その元が正則︵一般化可逆、擬可逆︶元であること、単位元に対する可逆元であること、および単元であることの概念は一致する。

半群 Sはその任意の元が︵左、右︶可逆元であるとき、︵左、右︶可逆半群であるという。 逆半群︵任意の元が︵一般化︶逆元を唯一つもつ半群︶や左群︵任意のふたつの元 a, bに対して ca= bとなる元 cが唯一つ存在する半群︶、右群︵任意のふたつの元 a, bに対して ac= bとなる元 cが唯一つ存在する半群︶などはすべて可逆半群である。

半群 Sに冪等元 eが存在するとき、e に関する可逆元の全体は eを単位元として含む Sの極大部分群を成す。

環の単元群

環は乗法について半群を成し、環が単位的ならばそれは単位的半群であるから、この構造に関する可逆元、単元︵単数︶を考えることができる。とくに、単位的環 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を対応させる操作である。

例

●有理整数環 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月。ISBN 978-4-320-01125-0。 

(二)^ 田村孝行﹃半群論﹄共立出版︿復刊﹀、2001年5月。ISBN 978-4-320-01676-7。 

(三)^ P. サミュエル﹃数の代数的理論﹄2005年、48頁。ISBN 4-431-71188-0。 

(四)^ ただし代数体 Kの単数といったときには、その整数環 Aの単数を指す、などといった言葉遣いもある。

(五)^ 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.co.jp/books?id=8svFC09gGeMC 

関連項目

●逆元

●単位元

外部リンク

●世界大百科事典﹃可逆元﹄ - コトバンク

●世界大百科事典﹃単数︵数学︶﹄ - コトバンク

●Weisstein, Eric W. "Unit". mathworld.wolfram.com (英語).

●雪江明彦. “私の教科書の用語について” (PDF). 2018年5月17日閲覧。 “﹁単元群﹂か﹁単数群﹂か﹁乗法群﹂か”