
代数幾何をやる準備として基礎を復習しているのですが、いろいろ難しいことがたくさんあって、わからないところの質問です。
Rを実数体, s, t を自然数, u=max{s, t} として、多項式環R[x, y] のイデアルA=(x^s, y^t), B=(x^t, y^s), C=(x^u, y^u) を考える。
次の 1, 2, 3, 4 の中で、成り立たないものはありますか。
自分としては、全部成り立つと思っています。
s=t=1 のとき
1. A=B=C は素イデアルになる(これは自分で証明できました)
s=t=1 でないとき
2. A, B, C はどれも準素イデアルになり,
3. A∩B=C が成り立ち,
4. √A=√B=√C=(x, y) が成り立つ
2, 3, 4 はいいところまでいったのですが、途中で頭が混乱してきて証明が中途半端で終わってしまいました。
全体を通して少し引っかかるところがあるので、成り立つかどうかだけでもいいですから、どうかアドバイスをよろしくお願いします。
No.3ベストアンサー
- 回答日時:
具体的なイメージで捉えることが有益です。
(x^s, y^t)に属する多項式を、いくつか思い浮かべてみましょう。それで(x^s, y^t) = { (x^s)f(x,y) + (y^t)g(x,y) | f(x,y), g(x,y)はR[x,y]の元}
が見えてしまえば、1,2,3,4が成立することは、容易に分かるはずです。
なお、
(x,y) = 「定数項がない多項式全体」
であることにも注意しましょう。
有益なアドバイス、ありがとうございました。
おかげですべて解決した・・・と思います。
証明をすべてここに書くと長くなるので省略しますが、漠然としたイメージから確信かそれに近い状態にまで上がったみたいです。
まずA=(x, y^2), B=(x^2, y), C=(x^2, y^2) の場合でうまく証明できたので、この調子なら簡単と考えたのが甘すぎました。
まだ習ったことを忘れるほど時間が過ぎてないのに、自分の勉強不足を痛感しております。
(x,y) = 「定数項がない多項式全体」というのは、0 は定数項と見なさないということでしょうか。
使っている教材は説明が難しく、定義も簡略に述べられているものですから。
すでに回答を締め切ってしまい、お答えいただけない状態を作ってしまったことを深くお詫びします。
No.2
- 回答日時:
> 2, 3, 4 はいいところまでいったのですが
じゃあ、それを補足にどうぞ。
この回答への補足
まず、この場所をお借りする非礼をお詫びします。
いろいろアドバイスをいただいて99パーセント以上証明が完成したのですが、まだ僅かに混乱しているようないないような・・・
これ以上複雑になると辛いので、ここで回答を締め切らせていただきます。
回答してくださった方々には必ずお礼をしますので、しばらく時間をください。
使っている教材に、
R[x, y] のイデアルA=(x, y^2), B=(x^2, y), C=(x^2, y^2) はすべて準素イデアルで、以下が成り立つ。
A∩B=C, √A=√B=√C=(x, y)
という例があったのですが、証明が付いていないので自分でやってみました。
準素イデアルの根基が素イデアルになることは知っていたので、復習の意味でそれも証明しました。
その後、これらのことを拡張できないかと考え、質問した4つの命題を自分で作り真偽を調べてみることにしたのです。
1 は簡単だし、2, 3, 4 はいいところまでいったというのは (s, t)=(1, 1), (1, 2), (2, 1), (2, 2) の場合は証明できたという意味でした。
(s, t) がそれら以外の組合せでも真だと証明できそうなところまで行きかけたのですが、だんだん混乱してきて自信がなくなったので質問しました。
どうもありがとうございました。
No.1
- 回答日時:
A∩B=C にしたいなら、u は max じゃなく、LCM では?
アドバイス、ありがとうございました。
証明の途中でパニック状態だったし、(s, t)=(1, 2), (2, 1) のときに A∩B=C が成り立つことを確認していたので、max じゃなくて LCM が正しいかもしれないと思いました。
(s, t)=(2, 3) の場合に x^4 + y^4 がA∩Bと(x^6, y^6) のそれぞれに含まれるかどうか考えて、なんとか落ち着きました。
実はいままで LCM が何のことか知らず、調べてはじめて最小公倍数のことだとわかりました。数学専攻なのに恥ずかしいです。
おかげで知識が増えたことを感謝します。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 文字の入った確率の最大最小 3 2022/11/24 22:27
- 数学 イデアルの核について 1 2023/01/15 20:15
- 数学 複素関数と実関数のテーラー展開の違いについて 1 2022/08/09 06:18
- 数学 合同式について 3 2022/05/03 23:14
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 法学 設立が募集設立の場合において、定款に出資された財産の一部を資本準備金とする記載がなく後に定メタ場合 3 2022/12/31 17:02
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 物理学 熱力学 エントロピー 断熱自由膨張 熱力学第2法則 クラウジウスの不等式 2 2022/07/14 12:58
- 成人式 日本の成人式はどうして緩やかで、厳しい基準がないんでしょう? 3 2023/03/04 20:46
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
多項式について質問です。 エク...
-
LFSRの生成多項式について
-
環論
-
斉次とは?(漢字と意味)
-
arcsinのマクローリン展開について
-
多項式Q[X]のユニット(単元)...
-
CRCのアルゴリズムって、どんな...
-
剰余の定理
-
数学 因数分解 X^3+x^2+x−1 ...
-
3点を通る曲線の求め方
-
(x+y+2z)(2x+3y-z)(4x-y-3z)を...
-
1となるように正規化
-
データのノイズ除去法 - Savitz...
-
解法を教えてください
-
x^8+x^4+1の分解
-
高校数学、0で割る可能性について
-
2次式(2次3項式)の因数分解で、...
-
線形代数の二次式の集合
-
単項式とは
-
単項式とは!?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
多項式について質問です。 エク...
-
余次元って何?
-
M系列の生成多項式と原始多項式...
-
等差×等比 型の数列の和を求め...
-
単項式と分数式の違いについて
-
約数と因数の違い(∈N)
-
なぜ、2変数以上の多項式を因数...
-
例1を組立除法でどうやってkを...
-
データのノイズ除去法 - Savitz...
-
斉次とは?(漢字と意味)
-
剰余の定理と因数分解(あまり...
-
(x+y+2z)(2x+3y-z)(4x-y-3z)を...
-
(x-1)(x-2)(x-3)の展開の...
-
パデ近似の利点について教えて...
-
数学に関する質問です。
-
【降べきの順/2つの文字に着目...
-
原始多項式の求め方
-
問題が理解できません
-
整式は有限次数のみ?
-
多項式の定義について
おすすめ情報