|
|
| 1行目: |
1行目: |
| − | [[数学]]における'''部分環'''（ぶぶんかん、{{lang-en-short|''subring''}}）は、[[環 (数学)|環]] ''R'' の[[部分集合]] ''S'' で、''R'' の加法と乗法をそこに制限するときそれ自身が環となり、かつ ''R'' の単位元を含むものを言う。[[擬環|単位元を持つことを仮定しない]]場合には、''R'' の演算の制限で ''S'' が環を成すことのみを以って部分環を定義する（この場合も自動的に ''S'' は ''R'' の加法単位元を含む）。後者は前者よりも弱い条件であり、例えば任意の[[イデアル (環論)|イデアル]]は（たとえ乗法的単位元を持つ環においても）後者の意味の部分環になる（この部分環が、もとの環とは異なる乗法単位元を持つ場合もあり得る）。（本項で扱う）単位元の存在を定義に含める場合には、''R'' の部分環となるようなイデアルは ''R'' 自身に限る。
| + | '''部分環'''（ぶぶんかん、{{lang-en-short|''subring''}}） |
| | | | |
| − | == 定義といくつかの事実 ==
| + | 代数学での基礎概念の一つ。環の部分集合で、もとの環の演算に関してそれ自身が環であるもの。 |
| − | 環 {{math|(''R'', +, ∗, 0, 1)}} の'''部分環'''とは、''R'' の部分集合 ''S'' で環構造を保存するものを言う。即ち {{math|(''S'', +, ∗, 0, 1)}} は環であり {{math|''S'' ⊆ ''R''}} を満足する。同じことだが、加法群 {{math|(''R'', +, 0)}} の[[部分群]]かつ乗法モノイド {{math|(''R'', ∗, 1)}} の[[部分モノイド]]となるものということもできる。
| |
| − | | |
| − | [[整数]]環 '''Z''' およびその[[剰余類環]] '''Z'''/''n'''''Z''' は、それ自身以外の（単位元を共有する）部分環を持たない。
| |
| − | | |
| − | 任意の環は、適当な非負整数 ''n'' に対する環 '''Z'''/''n'''''Z''' に同型な、最小の部分環をただ一つ持つ。ただし、この場合整数環 '''Z''' は {{math|1=''n'' = 0}} に対応するものとする（'''Z''' は '''Z'''/0'''Z''' に同型）。
| |
| − | | |
| − | {{仮リンク|部分環判定法|en|subring test}}は、任意の環 ''R'' に対して、''R'' の部分集合が部分環となるのはそれが ''R'' の加法単位元を含み、かつ減法と乗法に関して閉じている場合に限ることを述べる。
| |
| − | | |
| − | 例として、整数環 '''Z''' は、[[実数]][[可換体|体]] '''R''' の部分環であり、また[[多項式環]] {{math|'''Z'''[''X'']}} の部分環でもある。
| |
| − | | |
| − | == 生成された部分環 ==
| |
| − | 環 ''R'' に対し、''R'' の任意個数の部分環の交わりはまた ''R'' の部分環となる。従って、''R'' の任意の部分集合 ''X'' に対し、''X'' を含む部分環すべての交わり ''S'' は ''X'' を含む ''R'' の部分環となる。この部分環 ''S'' は ''X'' を含む ''R'' の部分環のうち最小のものである（ここで「最小」であるというのは、''T'' が ''X'' を含む ''R'' の部分環ならば必ず ''S'' が ''T'' に含まれることを意味する）。この部分環 ''S'' を ''X'' によって[[生成 (数学)|生成]]された ''R'' の部分環という。''S'' = ''R'' となるとき、環 ''R'' は ''X'' で生成されるという。
| |
| − | | |
| − | == イデアルとの関係 ==
| |
| − | 真の[[イデアル (環論)|イデアル]]は、''R'' の加法について閉じた部分集合で、''R'' の元による左および右からの乗法に関して閉じているようなものである。
| |
| − | | |
| − | 環の定義から単位元を持つという仮定を落として考える場合には、部分環は空でなく環構造を保ちさえすればいいのであるから、任意のイデアルは部分環になる。イデアルはその環構造に関する乗法単位元（もとの環の単位元とは異なる）を持つ場合も持たない場合もあり得る。
| |
| − | * 成分ごとの加法と乗法を持つ環 {{math|'''Z''' × '''Z''' {{=}} {(''x'',''y'') {{!}} ''x'',''y'' ∈ '''Z'''}}} のイデアル {{math|''I'' {{=}} {(''z'',0) {{!}} ''z'' ∈ '''Z'''}}} は乗法単位元 {{math|(1,0)}} を持つがこれはもとの環 {{math|'''Z''' × '''Z'''}} の単位元 {{math|(1,1)}} とは異なる。つまり、''I'' は単位的環で {{math|'''Z''' × '''Z'''}} の「非単位的部分環」だが「単位的部分環」ではない。
| |
| − | * 整数環 '''Z''' の真のイデアルは乗法単位元を持たない。
| |
| − | | |
| − | == 可換部分環による説明 ==
| |
| − | 環を、それが含む[[交換法則|可換]]部分環がどのようなものであるかによって調べることができる。
| |
| − | * [[四元数]]環 '''H''' はただ一つの平面的部分環として[[複素数平面]]を含む。
| |
| − | * {{仮リンク|分解型四元数|en|coquaternion}}環は三種類の平面的部分環（[[二重数]]平面、[[分解型複素数]]平面、通常の複素数平面）を持つ。
| |
| − | * 3 × 3 実行列環は[[単位行列]]と位数 3 の[[冪零行列]] ε (つまり、{{math|εεε {{=}} 0}} だが {{math|εε ≠ 0}}) で生成される部分環を持つ。例えば[[ハイゼンベルグ群]]は、そのような冪零生成された 3 × 3 行列行列の部分環ふたつの結びとして実現することができる。
| |
| − | | |
| − | == 参考文献 ==
| |
| − | * {{cite book | author= Iain T. Adamson | title=Elementary rings and modules | series=University Mathematical Texts | publisher=Oliver and Boyd | year=1972 | isbn=0-05-002192-3 | pages=14–16 }}
| |
| − | * Page 84 of {{Lang Algebra|edition=3}}
| |
| − | * {{cite book | author=David Sharpe | title=Rings and factorization | publisher=[[Cambridge University Press]] | year=1987 | isbn=0-521-33718-6 | pages=15–17}}
| |
| | | | |
| | + | {{テンプレート:20180815sk}} |
| | {{DEFAULTSORT:ふふんかん}} | | {{DEFAULTSORT:ふふんかん}} |
| | [[Category:環論]] | | [[Category:環論]] |
| | [[Category:数学に関する記事]] | | [[Category:数学に関する記事]] |