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
このQ&Aを見た人はこんなQ&Aも見ています
-
風水の観点で選ぶ観葉植物とは?置き場所や上げたい運気ごとの注意点を紹介!
観葉植物で運気をアップするコツを、風水デザイン1級建築士の福島昌彦さんに伺った。
-
数学のセンスがあるかどうか、大学受験までの数学で判断する方法はありますか?
数学
-
三角関数の変換で納得いかないところがあります
数学
-
重さを長さに変換する方法はありますか? kgをmにしたいです。 コード類の棚卸をする時に重さを計って
数学
-
-
4
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
5
数学の質問です。 (x-y-z+w)(x-y+z-w)において s=x-z t=z-wとおくと (s
数学
-
6
微分がムズいです。 新高二です。春休みに数学の先取りをしようと思って数Ⅲをやってます。数2の微分は何
数学
-
7
数検2級の問題のついてです。 どうしてc +1をするのでしょうか?1を足す意味がわかりません。教えて
数学
-
8
自然定数を底にしたときの、log(π) の 手計算での値は
数学
-
9
188次のアダマール行列
数学
-
10
虚数への写像
数学
-
11
この積分の計算がどこで間違っているのかを教えてください
数学
-
12
下の画像の中の三角形は正方形だ、と友達が言っていたのですが、その根拠のようなものはありますか? 二等
数学
-
13
tanxの積分
数学
-
14
数学を勉強すると論理的思考力が向上するという疑わしい主張が横行しているのはなぜですか?
数学
-
15
得点率について
数学
-
16
写真の問題についてですが、なぜ赤線部のように |x0-1|<min{δ,1/2}と考えるのでしょうか
数学
-
17
単連結なn次元閉多様体の連続変形について
数学
-
18
え整数の各桁をに錠してたすのをくりかえしたら
数学
-
19
リー群
数学
-
20
文字を含む三角関数の定積分の問題で理解できないところがあります
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
絶対値の二乗の思考過程 |x-y|^2
-
x^3+y^3+z^3
-
とても急いでいます!
-
xy=0ならばx=0またはy=0 を証明...
-
x²+xy-4x-y+3 を因数分解して...
-
高1 数II x+y+z=−1、xy+yz+zx+...
-
なんどもすいません
-
数Ⅰ「xとyについて降べきの順に...
-
x2+y2=(x+y)2-2xyこれはなんで...
-
【代数学】(xy)^-1=y^-1*x^-1の...
-
x³+y³+z³=(x+y+z)-3(x+y+z)(xy+...
-
xy−x−y+1これの因数分解の仕方...
-
因数分解です;
-
高校一年の数Ⅰに苦戦しています...
-
(3X+2y)(3X-2y) この式を...
-
xの3乗+yの3乗はなぜ、(x+y)の3...
-
「x^2/36+y^2/64=1となるとき...
-
因数分解がわかりません 4x2乗-...
-
eの偏微分
-
至急!因数分解の仕方をおしえ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
絶対値の二乗の思考過程 |x-y|^2
-
x^3+y^3+z^3
-
x²+xy-4x-y+3 を因数分解して...
-
とても急いでいます!
-
数Ⅰ「xとyについて降べきの順に...
-
高校一年の数Ⅰに苦戦しています...
-
xy=0ならばx=0またはy=0 を証明...
-
acrobat8(standard)で図形を書...
-
eの偏微分
-
x2+y2=(x+y)2-2xyこれはなんで...
-
数学Iの問題です。 x,yを実数と...
-
代数イデアル
-
【代数学】可換群の証明
-
xy−x−y+1これの因数分解の仕方...
-
x+y=5 xy=-3 のとき、x二乗-3xy...
-
x³+x³+1-3xyを因数分解せよ。 ...
-
数式で項のアルファベットの順...
-
因数分解
-
高校からの数学の宿題で x+y=...
-
Q(x+y, x^2+y^2)の存在する範囲...
おすすめ情報