
No.2ベストアンサー
- 回答日時:
環の部分集合 { x^2, xy } が生成するイデアルは
質問文中のように (x^2,xy) と表記するのが通常だが、
以下の説明では、計算式の小括弧と紛らわしいので
<x^2,xy> と書くことにする。標準的でないのは御免なさい。
イデアル計算にある程度慣れている人なら、今回の質問は
<x,2,xy> = <x^2> + <xy>
= <x><x> + <x><y>
= <x> ( <x> + <y> )
= <x><x,y>
だけで済んでしまう話かもしれない。しかし、この例題は
出題意図として、イデアルにあまり慣れていない人向けの練習問題
という性格が強いと考えて、定義に即して素朴にやってみる。
話題に登場する各イデアルは、
<x^2,xy> = { (x^2)f+(xy)g | f,g∈R[x,y] },
<x> = { xu | u∈R[x,y] },
<x,y> = { xv+yw | v,w∈R[x,y] }
と書ける。
イデアル積 <x^2><x,y> の元 a は
<x> の元と <x,y> の元の R[x,y] における積の有限和であり、
a = ∑(x u_i)(x v_i + y w_i),
∑ は i に関する総和, u_i, v_i, w_i ∈ R[x,y]
と書ける。この式を変形すると
a = (x^2)∑(u_i)(v_i) + (xy)∑(u_i)(w_i),
∑(u_i)(v_i), ∑(u_i)(w_i) ∈ R[x,y]
とも書けるので、a ∈ <x^2,xy> である。
すなわち <x^2><xy> ⊆ <x^2,xy>.
一方、<x^2,xy> の元 a は a = (x^2)f + (xy)g, f,g ∈ R[x,y]
と書ける。a = (x)(xf+yg) と変形できるので、
x ∈ <x>, xf+yg ∈ <x,y> より a ∈ <x><x,y> である。
すなわち <x^2><xy> ⊇ <x^2,xy>.
以上より結局、<x^2><xy> = <x^2,xy> が成り立つ。
<x^2,xy> は、イデアルの積に分解できるので、素イデアルではない。
No.4
- 回答日時:
はは、失敬失敬。
No.2 は書き間違いがあったね。
前半を見てくれれば意図は判ると思うのだけれど...
---------------------------------------------------------------------
a = (x^2)∑(u_i)(v_i) + (xy)∑(u_i)(w_i),
∑(u_i)(v_i), ∑(u_i)(w_i) ∈ R[x,y]
とも書けるので、a ∈ <x^2,xy> である。
すなわち <x><x,y> ⊆ <x^2,xy>.
a = (x)(xf+yg) と変形できるので、
x ∈ <x>, xf+yg ∈ <x,y> より a ∈ <x><x,y> である。
すなわち <x><x,y> ⊇ <x^2,xy>.
以上より結局、<x><x,y> = <x^2,xy> が成り立つ。
---------------------------------------------------------------------
に訂正。
No.3
- 回答日時:
こういった丸投げ質問は好ましくなく, R に関する説明も無い.
それゆえ, 回答するのは不本意だが, <x^2,xy> は素イデアルでなく, 準素イデアルですらない.
>これはどのように示したらよいのでしょうか
難しく考えるな.
普通に <x^2,xy> が素イデアルの定義を満たしていないことを示せばいい.
ちなみに, <x^2><xy> = <x^2,xy> は成り立たない.
例えば, x^2 ∈ <x^2,xy> は正しいが, x^2 ∈ <x^2><xy> は正しくない.
読んでいて腹が立つ内容だが, 一つだけ有益情報を提供している.
多項式環を学ぶとき, 今回のイデアルは (x^2,xy) と書くよりも, <x^2,xy> と書くほうがいい.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 二次体K=Q(√-31)について、整数環O_Kにはノルムが3となるイデアルは存在しないことを示せ。 4 2022/12/02 22:47
- 化学 環論 3 2023/09/26 18:49
- 数学 素イデアルに関する証明 2 2023/01/15 20:26
- 数学 イデアルの核について 1 2023/01/15 20:15
- 数学 素イデアル 1 2023/07/22 16:12
- 数学 単純環 1 2023/06/18 00:53
- 数学 Ac:={bc│bc∈A}が左イデアルであることを示せ。 3 2023/01/24 17:00
- 数学 代数学の環の多項式環についてです 体 kについて、k係数の多項式環 k[X] は体とならないことを示 6 2023/07/09 20:29
- 数学 既約元であることの証明 1 2023/01/15 20:11
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・一番好きなみそ汁の具材は?
- ・泣きながら食べたご飯の思い出
- ・「これはヤバかったな」という遅刻エピソード
- ・初めて自分の家と他人の家が違う、と意識した時
- ・いちばん失敗した人決定戦
- ・思い出すきっかけは 音楽?におい?景色?
- ・あなたなりのストレス発散方法を教えてください!
- ・もし10億円当たったら何に使いますか?
- ・何回やってもうまくいかないことは?
- ・今年はじめたいことは?
- ・あなたの人生で一番ピンチに陥った瞬間は?
- ・初めて見た映画を教えてください!
- ・今の日本に期待することはなんですか?
- ・集中するためにやっていること
- ・テレビやラジオに出たことがある人、いますか?
- ・【お題】斜め上を行くスキー場にありがちなこと
- ・人生でいちばんスベッた瞬間
- ・コーピングについて教えてください
- ・あなたの「プチ贅沢」はなんですか?
- ・コンビニでおにぎりを買うときのスタメンはどの具?
- ・おすすめの美術館・博物館、教えてください!
- ・【お題】大変な警告
- ・洋服何着持ってますか?
- ・みんなの【マイ・ベスト積読2024】を教えてください。
- ・「これいらなくない?」という慣習、教えてください
- ・今から楽しみな予定はありますか?
- ・AIツールの活用方法を教えて
- ・最強の防寒、あったか術を教えてください!
- ・歳とったな〜〜と思ったことは?
- ・モテ期を経験した方いらっしゃいますか?
- ・好きな人を振り向かせるためにしたこと
- ・スマホに会話を聞かれているな!?と思ったことありますか?
- ・それもChatGPT!?と驚いた使用方法を教えてください
- ・見学に行くとしたら【天国】と【地獄】どっち?
- ・これまでで一番「情けなかったとき」はいつですか?
- ・この人頭いいなと思ったエピソード
- ・あなたの「必」の書き順を教えてください
- ・14歳の自分に衝撃の事実を告げてください
- ・人生最悪の忘れ物
- ・あなたの習慣について教えてください!!
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
絶対値の二乗の思考過程 |x-y|^2
-
acrobat8(standard)で図形を書...
-
高校数学 点(x+y,xy)の動く...
-
0≦z≦xy、x^2+y^2≦a^2 、x≧0 、y...
-
とても急いでいます!
-
高1 数II x+y+z=−1、xy+yz+zx+...
-
x+y=5 xy=-3 のとき、x二乗-3xy...
-
変数変換の二重積分
-
xy=0ならばx=0またはy=0 を証明...
-
数式で項のアルファベットの順...
-
数学 文字式の「サイクリック順...
-
〔2x+3y〕〔2x -5y〕の解き方...
-
x³+x³+1-3xyを因数分解せよ。 ...
-
(1)x^2+(3y+1)x+(y+4)(2y-3)
-
【代数学】可換群の証明
-
連立方程式
-
x2+y2=(x+y)2-2xyこれはなんで...
-
中2数学です。
-
x^3+y^3+z^3
-
ド忘れしたんですけど、2分の1...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
絶対値の二乗の思考過程 |x-y|^2
-
acrobat8(standard)で図形を書...
-
とても急いでいます!
-
x^3+y^3+z^3
-
高1 数II x+y+z=−1、xy+yz+zx+...
-
ラグランジュの未定乗数を二つ...
-
【代数学】可換群の証明
-
xy=0ならばx=0またはy=0 を証明...
-
変数変換の二重積分
-
x+y=5 xy=-3 のとき、x二乗-3xy...
-
数式で項のアルファベットの順...
-
「x^2/36+y^2/64=1となるとき...
-
x2+y2=(x+y)2-2xyこれはなんで...
-
数学Iの問題です。 x,yを実数と...
-
数Ⅰ「xとyについて降べきの順に...
-
x二乗-3xy+y二乗 この因数分解...
-
分からないんです!!
-
xy−x−y+1これの因数分解の仕方...
-
お願いします!!速度ポテンシ...
-
数1因数分解です。⑴2x²-3xy-2y...
おすすめ情報