Aを環としてそのイデアルIと根基r(I)を考えます。
r(I)が極大イデアル であるとき、Iは準素イデアルである。特に極大イデアル mのべきはm準素イデアルである。
以下証明
r(I)=mとすればmのA/Iへの像はA/Iへのベキ零根基となり、A/Iへのベキ零根基はA/Iの全ての素イデアルの共通部分であるからA/Iはただ一つの素イデアルを持つ。よってA/Iの全ての元は単元もしくはベキ零元である。
したがってA/Iの零因子は全てベキ零元である
という命題が教科書(アティアマクドナルド可換代数入門p78)
に載っていました。
質問1.そもそも極大イデアル mのべきとは何でしょうか?m^2とかm^nのことかと思いましたが、それならば極大イデアル mのべき積と書くと思うので何か教えてください。
質問2
A/Iへのベキ零根基はA/Iの全ての素イデアルの共通部分であるからA/Iはただ一つの素イデアルを持つ
と言えるのは何故ですか?
質問3
よってA/Iの全ての元は単元もしくはベキ零元である。と言えるのは何故ですか?
No.1ベストアンサー
- 回答日時:
1)
極大イデアルMのべきとは
M^2={x^2;x∈M}
とか
M^n={x^n;x∈M}
のことでよいと思います
2)
r(I)=MのA/Iへの像は極大イデアルだから
A/Iのベキ零根基で
A/Iの全ての素イデアルの共通部分である
極大イデアルだから
A/Iはただ一つの素イデアルを持つ
と言えるのです
3)
よってA/Iの全ての元は
r(I)=MのA/Iへの像(極大イデアル)に属さないものは単元
r(I)=MのA/Iへの像(極大イデアル)に属すものはベキ零元である
といえるのです
No.2
- 回答日時:
回答1. 訳語に関しては, 訳者に直接問い合わせてほしいんだが.
原書では,
In particular, the powers of a maximal ideal m are m-primary.
となっている.
「極大イデアル m のベキ」と訳して, まったく問題ないと思うが.
ただし, イデアルの積の定義を知らないと大変だよ.
例えば, m² = {x² | x ∈ m} と定義した場合, この m² がイデアルになるかどうか, 考えてみるといい.
回答2. 写像 g : A → A/I を, g(x) = x + I で定義する.
P を A/I の任意の素イデアル, g⁻¹(P) = p とすると,
g(m) = nil(A/I) ⊂ P であるから m ⊂ p となるが, m が極大イデアルなので m = p がいえる.
これより nil(A/I) = P であり, nil(A/I) が A/I の唯一つの素イデアルと分かる.
つまり, A/I は局所環である.
回答3. 局所環 (A/I, nil(A/I)) において, nil(A/I) の元でないものは, すべて単元.
理由は簡単だから自分で考えてほしいが, どうしても分からないなら補足質問してくれ.
nil(A/I) の元がすべてベキ零元であることは, さすがに説明の必要は無いだろう.
ところで, あなたは大学数学に関して, 随分たくさん質問しているけれど, 実際はどこまで理解できているのかな.
ここは「私は一生懸命, 勉強しています」なんてことを, ひたすらアピールする場所ではないと思うが.
よほどのことが無い限り, 疑問は自力で解決するというのが, 大学数学を学ぶ際の姿勢では?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 素イデアルに関する証明 2 2023/01/15 20:26
- 数学 素イデアル 1 2023/07/22 16:12
- 数学 Ac:={bc│bc∈A}が左イデアルであることを示せ。 3 2023/01/24 17:00
- 数学 単純環 1 2023/06/18 00:53
- 数学 イデアルの核について 1 2023/01/15 20:15
- 数学 二次体K=Q(√-31)について、整数環O_Kにはノルムが3となるイデアルは存在しないことを示せ。 4 2022/12/02 22:47
- 数学 全射の証明について 3 2023/08/26 14:06
- 数学 既約元であることの証明 1 2023/01/15 20:11
- 数学 環論の素元について 6 2022/05/09 04:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なにしてるかわからない。。
-
皆さん定義を教えてください 「...
-
自然数 整数 有理数 実数 加法 ...
-
無限から無限を引いたら何にな...
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
-
普通の人は人を激しい責めます...
-
ネットストーカーの定義 最近SN...
-
環の乗法に関して左(右)逆元...
-
「互いに素」の定義…「1と2は互...
-
数学の両辺2乗と√について教え...
-
eの0乗は1ってどういう原理です...
-
なぜ、直角三角形ではないのにs...
-
数学で、未定義の
-
A二乗のルート=絶対値Aになり...
-
数字の1とは何なのか?
-
ヘシアンが0の場合どうやって極...
-
ノートンのウイルス定義のバー...
-
べき乗
-
0次元多様体
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報