|
|
1行目: |
1行目: |
− | [[数学]]、とくに[[環上の加群|加群]]論において、[[環 (数学)|環]] ''R'' と ''R''-加群 ''M'' とその部分加群 ''N'' が与えられたとき、次の条件を満たすならば ''M'' は ''N'' の'''本質拡大'''({{lang-en-short|essential extension}})(あるいは ''N'' は ''M'' の'''本質部分加群'''({{lang-en-short|essential submodule}} または {{lang-en-short|large submodule}}))と呼ばれる。''M'' のすべての部分加群 ''H'' に対して
| |
− | :{{math|1=''H'' ∩ ''N'' = 0}} ならば {{math|1=''H'' = 0}}.
| |
− | 特別な場合として、''R'' の'''本質左イデアル'''({{lang-en-short|essential left ideal}})は左加群 <sub>''R''</sub>''R'' の部分加群として本質的な左イデアルである。そのような左イデアルは ''R'' の任意の 0 でない左イデアルと 0 でない共通部分をもつ。同様に、'''本質右イデアル'''は右 ''R'' 加群 ''R''<sub>''R''</sub> の本質部分加群のことである。
| |
| | | |
− | 本質部分加群の一般的な表記には次の2つがある<ref name="notation">左側の表記は {{harvtxt|Lam|1999|p={{google books quote|id=r9VoYbk-8c4C|page=74|74}}}} に、右側の表記は {{harvtxt|Anderson|Fuller|1992|p=72}} に見られる。</ref>。
| |
− | :{{math|''N'' ⊆{{sub|''e''}} ''M''}} および <math>N \trianglelefteq M</math>.
| |
− |
| |
− | 本質部分加群の双対概念は余剰部分加群である。次の条件を満たすならば ''N'' は ''M'' の'''余剰部分加群'''({{lang-en-short|superfluous submodule}} または {{lang-en-short|small submodule}})と呼ばれる。 ''M'' のすべての部分加群 ''H'' に対して
| |
− | :{{math|1=''N'' + ''H'' = ''M''}} ならば {{math|1=''H'' = ''M''}}.
| |
− | 余剰部分加群の一般的な表記には次の2つがある<ref name="notation" />。
| |
− | :{{math|''N'' ⊆{{sub|''s''}} ''M''}} および <math>N \ll M</math>
| |
− |
| |
− | == 性質 ==
| |
− | ''M'' を加群とし、''K'', ''N'', ''H'' を ''M'' の部分加群で ''K'' ⊂ ''N'' とする。
| |
− | === 本質部分加群 ===
| |
− | 上で導入された表記の下で本質部分加群の基本的な性質をいくつか挙げる。
| |
− | * 明らかに ''M'' は ''M'' の本質部分加群であり、0 でない加群 ''M'' の部分加群 0 は決して本質的でない。
| |
− | * {{math|''K'' ⊆{{sub|''e''}} ''M''}} であることと {{math|''K'' ⊆{{sub|''e''}} ''N''}} かつ {{math|''N'' ⊆{{sub|''e''}} ''M''}} であることは同値。
| |
− | * {{math|''K'' ∩ ''H'' ⊆{{sub|''e''}} ''M''}} であることと {{math|''K'' ⊆{{sub|''e''}} ''M''}} かつ {{math|''H'' ⊆{{sub|''e''}} ''M''}} であることは同値。
| |
− | * {{math|''M'' ≠ 0}} が[[アルティン加群]]ならば {{math|[[半単純成分|soc]](''M'') ⊆<sub>e</sub> ''M''}}<ref name="AF 10.11">{{harvnb|Anderson|Fuller|1992|loc=Corollary 10.11}}</ref>。
| |
− |
| |
− | [[ツォルンの補題]]を使って次の有益な事実を証明できる。
| |
− | ''M'' の任意の部分加群 ''N'' に対してある部分加群 ''C'' が存在し
| |
− | :{{math|''N'' ⊕ ''C'' ⊆{{sub|''e''}} ''M''}}.
| |
− |
| |
− | さらに、真の本質拡大のない加群(つまり、加群が別の加群において本質的ならば後者は前者に等しい)は[[移入加群]]である。すべての加群 ''M'' は極大な本質拡大 ''E''(''M'') をもつことが証明でき、''M'' の[[移入包絡]]と呼ばれる。移入包絡は移入加群であり、同型を除いて一意的である。移入包絡は ''M'' を含む他のどんな移入加群も ''E''(''M'') のコピーを含むという意味で極小でもある。
| |
− |
| |
− | === 余剰部分加群 ===
| |
− | 多くの基本的な性質は余剰部分加群にも双対化されるが、すべてではない。
| |
− | * 明らかに 0 は ''M'' の余剰部分加群であり、0 でない加群 ''M'' の部分加群 ''M'' は決して余剰的ではない。
| |
− | * {{math|''N'' ⊆{{sub|''s''}} ''M''}} であることと {{math|''K'' ⊆{{sub|''s''}} ''M''}} かつ {{math|''N''/''K'' ⊆{{sub|''s''}} ''M''/''K''}} であることは同値。
| |
− | * {{math|''K'' + ''H'' ⊆{{sub|''s''}} ''M''}} であることと {{math|''K'' ⊆{{sub|''s''}} ''M''}} かつ {{math|''H'' ⊆{{sub|''s''}} ''M''}} であることは同値。
| |
− | * {{math|''M'' ≠ 0}} が[[ネーター加群]]ならば {{math|[[ジャコブソン根基|rad]](''M'') ⊆<sub>s</sub> ''M''}}<ref name="AF 10.11" />。
| |
− |
| |
− | すべての加群は像が移入加群(移入包絡)において本質的であるような[[単射]][[準同型]]によって写されるので、その双対命題が正しいか問うだろう。すなわち、すべての加群 ''M'' に対して[[射影加群]] ''P'' と核が余剰的であるような ''P'' から ''M'' への全射準同型が存在するだろうか?(そのような ''P'' は[[射影被覆]]と呼ばれる。)答えは一般には「いいえ」であり、右加群が射影被覆をもつような環のクラスは右[[完全環]]のクラスである。
| |
− |
| |
− | == 一般化 ==
| |
− | この定義は任意の[[アーベル圏]] '''C''' に一般化できる。'''本質拡大'''とは[[単射]] ''u'' : ''M'' → ''E'' であってすべての 0 でない[[部分対象]] ''s'' : ''N'' → ''E'' に対して[[ファイバー積]] ''N'' ×<sub>''E''</sub> M ≠ 0 であるようなものである。
| |
− |
| |
− | == 脚注 ==
| |
− | {{reflist}}
| |
− |
| |
− | == 参考文献 ==
| |
− | *{{citation |last1=Anderson |first1=F.W. |last2=Fuller |first2=K.R.|title=Rings and Categories of Modules | series=Graduate Texts in Mathematics |volume=13 |edition=2nd |publisher=[[Springer-Verlag]] |year=1992 |isbn=978-1-4612-8763-6| url={{google books|MALaBwAAQBAJ|plainurl=yes}}}}
| |
− | * David Eisenbud, ''Commutative algebra with a view toward Algebraic Geometry'' ISBN 0-387-94269-6
| |
− | * {{Citation | last1=Lam | first1=Tsit-Yuen | title=Lectures on modules and rings | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | volume=189 | isbn=978-0-387-98428-5 | mr=1653294 | year=1999 | url={{google books|r9VoYbk-8c4C|plainurl=yes}}}}
| |
− | * {{Mitchell TOC}} Section III.2
| |
− |
| |
− | == 関連項目 ==
| |
− | * [[稠密部分加群]]は本質部分加群の特別なタイプである。
| |
− |
| |
− | {{DEFAULTSORT:ほんしつかくたい}}
| |
− | [[Category:抽象代数学]]
| |
− | [[Category:可換環論]]
| |
− | [[Category:加群論]]
| |
− | [[Category:数学に関する記事]]
| |