「可逆元」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m Bot作業依頼#Cite webの和書引数追加 |
||
| (7人の利用者による、間の10版が非表示) | |||
| 3行目: | 3行目: | ||
== 定義 == |
== 定義 == |
||
いくつかの[[冪等|冪等元]]を持つ[[半群]] ''S'' について、''S'' の元 ''a'' は ''S'' の元 ''b'' と冪等元 ''e'' が存在して ''ab'' = ''e'' となるとき ''e'' に対する'''右可逆元'''であるといい、 ''S'' の元 ''c'' と冪等元 ''e'' |
いくつかの[[冪等|冪等元]]を持つ[[半群]] ''S'' について、''S'' の元 ''a'' は ''S'' の元 ''b'' と冪等元 ''e'' が存在して ''ab'' = ''e'' となるとき ''e'' に対する'''右可逆元'''であるといい、 ''S'' の元 ''c'' と冪等元 ''e''′ が存在して ''ca'' = ''e''′ となるとき ''e''′ に対する'''左可逆元'''であるという。''a'' が冪等元 ''e'' に対して左可逆元かつ右可逆元であるとき、''a'' は ''e'' に対する'''可逆元'''であるという。''M'' が[[モノイド|単位的半群]]であるとき、その単位元に対する（左、右）可逆な元をそれぞれ（左、右）'''単元''' {{lang|en|(''unit'')}} と呼ぶ<ref>{{Cite book |和書 |author=田村孝行|authorlink=田村孝行 |date=1972-06 |title=半群論 |publisher=共立出版 |series=共立講座 現代の数学 8 |id= |isbn=978-4-320-01125-0 |ref={{Harvid|田村|1972}} }}</ref><ref>{{Cite book |和書 |author=田村孝行 |date=2001-05 |title=半群論 |publisher=共立出版 |series=復刊 |id= |isbn=978-4-320-01676-7 |ref={{Harvid|田村|2001}} }}</ref>。 |
||
[[群 (数学)|群]]や単位的半群に対しては、それを半群と見るとき、その元が正則（一般化可逆、擬可逆）元であること、単位元に対する可逆元であること、および単元であることの概念は一致する。 |
[[群 (数学)|群]]や単位的半群に対しては、それを半群と見るとき、その元が正則（一般化可逆、擬可逆）元であること、単位元に対する可逆元であること、および単元であることの概念は一致する。 |
||
| 14行目: | 14行目: | ||
== 環の単元群 == |
== 環の単元群 == |
||
[[環 (数学)|環]]は乗法について半群を成し、環が単位的ならばそれは[[モノイド|単位的半群]]であるから、この構造に関する可逆元、単元（ |
[[環 (数学)|環]]は乗法について半群を成し、環が単位的ならばそれは[[モノイド|単位的半群]]であるから、この構造に関する可逆元、単元（単数）を考えることができる{{refnest|ただし[[代数体]] {{mvar|K}} の単数といったときには、その[[整数環]] {{mvar|A}} の単数を指す、などといった言葉遣いもある<ref>{{cite book|和書|author=P. サミュエル|title=数の代数的理論|year=2005|isbn=4-431-71188-0|page=48}}</ref>。}}。とくに、[[単位的環]] {{mvar|R}} の単元の全体は、{{mvar|R}} の'''単元群''' {{lang|en|(''group of units'')}} と呼ばれる {{mvar|R}} の乗法的半群の極大[[部分群]]を成す。{{mvar|R}} の単元群は {{math|''U''(''R'')}}, {{math|''R''<sup>×</sup>}} などで表す。{{mvar|R}} が[[可除環]]となることと、{{mvar|R}} の単元群が {{mvar|R}} の非零元全体 {{math|''R''*}} に一致することとは同値である。 |
||
任意の単位的環 |
任意の単位的環 {{mvar|R, S}} に対し、単位的環準同型 {{math|''f'': ''R'' → ''S''}} は、単元群の間の[[群準同型]] {{math|''U''(''f''): ''U''(''R'') → ''U''(''S'')}} を引き起こす。したがって、単位的環 {{mvar|R}} にその単元群 {{math|''U''(''R'')}} を対応させる操作 {{mvar|U}}は、[[単位的環の圏]]から[[群の圏]]への[[函手]]である。この函手の[[左随伴]]は群 {{mvar|G}} に[[群環]] {{math|'''Z'''''G''}} を対応させる操作である<ref>{{ |
||
cite book |
|||
|last=Rowen |
|||
|first=Louis Halle |
|||
|title=Graduate Algebra: Noncommutative View |
|||
|year=2008 |
|||
|series=Graduate Studies in Mathematics |
|||
|volume=91 |
|||
|publisher=[[American Mathematical Society]] |
|||
|isbn=978-0-8218-4153-2 |
|||
|url={{google books|8svFC09gGeMC|plainurl=yes}} |
|||
|page={{google books quote|id=8svFC09gGeMC|page=490|490}} |
|||
}}</ref>。 |
|||
== 例 == |
== 例 == |
||
* [[有理整数環]] '''Z''' の単元は |
* [[有理整数環]] '''Z''' の単元は ±1 である。 |
||
* ''n'' を法とする整数の[[剰余類環]] '''Z'''/''n'''''Z''' の単元は ''n'' と互いに素な整数の ''n'' を法とする剰余類（既約剰余類）であり、その全体は ''n'' を法とする[[既約剰余類群]]と呼ばれる。 |
* ''n'' を法とする整数の[[剰余類環]] '''Z'''/''n'''''Z''' の単元は ''n'' と互いに素な整数の ''n'' を法とする剰余類（既約剰余類）であり、その全体は ''n'' を法とする[[既約剰余類群]]と呼ばれる。 |
||
* 任意の単位的環に対し、その[[1の冪根]]は単元である。 |
* 任意の単位的環に対し、その[[1の冪根]]は単元である。 |
||
* [[代数的整数|代数体の整数環]] ''R'' について、[[ディリクレの単数定理]]によれば、''R'' の単元群は[[有限生成アーベル群]]である。たとえば '''Q'''[ |
* [[代数的整数|代数体の整数環]] ''R'' について、[[ディリクレの単数定理]]によれば、''R'' の単元群は[[有限生成アーベル群]]である。たとえば '''Q'''[√5] の整数環において (√5 + 2)(√5 − 2) = 1 であり、この場合じつは単元群は無限群である。一般に、[[二次体|実二次体]]の単元群はつねに階数 1 の無限群である。 |
||
* 体 ''F'' 上の ''n'' 次正方[[行列環]] ''M''(''n'', '''F''') における単元は[[正則行列]]である。 |
* 体 ''F'' 上の ''n'' 次正方[[行列環]] ''M''(''n'', '''F''') における単元は[[正則行列]]である。 |
||
| 30行目: | 42行目: | ||
== 関連項目 == |
== 関連項目 == |
||
* [[逆元]] |
* [[逆元]] |
||
*[[単位元]] |
|||
== 外部リンク == |
|||
*{{Kotobank|可逆元|2=世界大百科事典}} |
|||
*{{Kotobank|単数（数学）|2=世界大百科事典}} |
|||
*{{MathWorld|title=Unit|urlname=Unit}} |
|||
*{{Cite web|和書|title=私の教科書の用語について|quote=「単元群」か「単数群」か「乗法群」か|author=雪江明彦|url=https://www.math.kyoto-u.ac.jp/~yukie/yougo.pdf|format=PDF|accessdate=2018-05-17}} |
|||
{{DEFAULTSORT:かきやくけん}} |
{{DEFAULTSORT:かきやくけん}} |
||
2023年11月15日 (水) 23:04時点における最新版
 |
数学、とくに代数学における可逆元（かぎゃくげん、英: 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 はその任意の元が（左、右）可逆元であるとき、（左、右）可逆半群であるという。 逆半群（任意の元が（一般化）逆元を唯一つもつ半群）や左群（任意のふたつの元 a, b に対して ca = b となる元 c が唯一つ存在する半群）、右群（任意のふたつの元 a, b に対して ac = b となる元 c が唯一つ存在する半群）などはすべて可逆半群である。
半群 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月。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