代数学総合スレッド Part6

分からない問題はここに書いてね362
http://kamome.2ch.net/test/read.cgi/math/1321363629/685-694

685 名前：１３２人目の素数さん[sage] 投稿日：2011/12/04(日) 18:19:35.00
Z を整数環として、P ⊂ Z[X_1 , … , X_n] を整数係数 n 変数多項式環の素イデアルとする。
このとき、Z ∩ P = {0} ならば P は極大イデアルではないことを示せ。

多分成り立つはずなのですが示せません。どなたかお願いします。

686 名前：682[sage] 投稿日：2011/12/04(日) 18:28:20.84
>>684
スレ違いだったようです　誘導ありがとうございます

687 名前：１３２人目の素数さん[sage] 投稿日：2011/12/04(日) 19:10:18.09
>>685
例えば P に 2 を添加してみる P'=<P,2>
{2,4,6,...} ⊂ P'- P
{1,3,5,...} ⊂ Z[X_1 , … , X_n] - P'
よって
P ≠ P' ≠ Z[X_1 , … , X_n]
P は極大イデアルではない
素イデアルの条件を何も使ってないからどこか間違ってるかも‥‥

688 名前：685[sage] 投稿日：2011/12/04(日) 20:45:05.29
>>687
回答して下さりありがとうございます。
ただし、4行目の包含関係は間違っていると思います。3行目から4行目は出ません。

なお、「任意の素数 p に対して P + (p) ≠ Z[X_1 , … , X_n] 」とはできません。
例えば、n = 1 で P = ( p X + 1 ) とすると、P + (p) = Z[X] となってしまいます。
おそらく、P の生成元の全係数を割らない素数を持ってくればできるのではと考えていまが、
示せません。或いは、もっとスマートな方法があるかもしれませんが。

689 名前：１３２人目の素数さん[sage] 投稿日：2011/12/04(日) 22:02:46.43
これ見かけによらず相当難しいよ(n≧2のとき)

690 名前：１３２人目の素数さん[] 投稿日：2011/12/05(月) 05:27:49.54
>>688
>P = ( p X + 1 ) とすると、P + (p) = Z[X]
ここ詳しく教えてほしい。
P + (p) を両サイドを含む最小イデアルと解釈すると、これて例えば 1 は含まないよね？

691 名前：１３２人目の素数さん[sage] 投稿日：2011/12/05(月) 09:04:28.01
何言うてんの君

692 名前：１３２人目の素数さん[] 投稿日：2011/12/05(月) 09:18:27.43
俺もよく分かんないだが 1 は含まないんじゃね？

693 名前：１３２人目の素数さん[sage] 投稿日：2011/12/05(月) 09:26:34.25
それは全然分かっとらんわな

694 名前：１３２人目の素数さん[] 投稿日：2011/12/05(月) 10:01:28.79
あ、理解した
-2X + 2X+1 = 1
1 含むね。