締切済み

イデアルをもとめるさいに

2012/02/16 15:47

イデアルを求めるときＦ2(mod２)でＸ^3－1のイデアルを求めるときＸ^3－1＝０として因数分解してＸ^2＝X+1がでてきますよね元をもとめるときにλ0+λ1Ｘ+λ2Ｘ^2+… としてmod2なので０か１をλにいれていくとおもうのですが、どういうときＸ^2やＸ^3のところまで使うのですか？最近でてくるもんだいが全てＸまでしかつかってないのですが… ２元体だからですかね？

kzmsreo
お礼率34% (16/47)

数学・算数
回答数1
ありがとう数0

みんなの回答 （1）
専門家の回答

みんなの回答

eclipse2maven
ベストアンサー率32% (33/101)

2012/02/18 23:19 回答No.1

有限体で代数幾何を考えたら、いろいろ出てきますよ。

関連するQ&A

イデアル

こんにちは。 F_2[X] / (X^3 - 1)　のイデアルを全て求めたいのですが、わかりません。自己流で勉強していて、ネットなどで検索したりして調べてみたのですが、あまり理解できませんでした。解き方など、良ければ教えてください。
イデアルについて

(1)イデアルのノルムについて初等整数論講義などの二次体に限った議論をしている本では、イデアルIのノルムN'(I)(あえて'をつけています)とは共役イデアル(Aの元の共役全体の集合)をI'としたときII'=(n)となる有理整数のことだと定義しています(nの存在は証明されている)。これは一般のデデキント環AにおけるイデアルIのノルムN_A(I):=|A/I|に矛盾するでしょうか？しないとしたら証明をお願いします。 (2)アルティン環のイデアルは有限個ですか？ k[x^2, x^3]/(x^4) においてax^2 + bx^3 (a,b は体kの元)で生成されるイデアルたちが無限個ありそうなので、偽と踏んでいますが厳密な証明を与えられる方はいらっしゃいませんか。 (3)Z[x]のイデアル(の形)を全て求めてください。ただし https://math.stackexchange.com/questions/300170/ … にある情報は断りなく使用して良いです。解かれているか否か、情報だけでもいいですし、考察でもいいので是非ご回答ください。
素イデアルの冪と準素イデアル

R を実数体として、多項式環 R[x, y] のイデアルを考えます。 (x, y)^2 = (x^2, xy, y^2) = (x^2, y) ∩ (x, y^2) 上の関係では、素イデアルの冪が準素イデアルに等しくなっていますが、一般的には同じことがいえるのでしょうか。有理整数環 Z と、体 k 上の多項式環 k[x], k[x, y] で調べてみたのですが、素イデアルの冪が準素イデアルにならない例を見つけられませんでした。どうか、アドバイスをよろしくお願いします。
体F上のn次方程式の因数分解

体F上のn次方程式の因数分解有限体に関する次の問題を解きました。 [問] p(x)=x^3+x+1 を Z3 上の多項式として因数分解せよ。この問題を筆算で以下のように解きました。 p(1)=0よりp(x)は因数(x-1)を持つ。 x^3を消すために、(x-1)にx^2をかけたものを引くと、x^2が残る。 xを下ろしてきて、x^2+xを消すために、(x-1)にxをかけたものを引くと、2xが残る。 1を下ろしてきて、2x+1を消すために、(x-1)に2をかけたものを引くと、3が残る。 Z3上の多項式より、3≡0(mod 3)であるから、割り切れた。したがって、 p(x) = (x-1)(x^2+x+2) しかし、手元にある解答を見ると、 p(x)=x^3+x+1 = x^3－2x+4 = (x^2－2x+2)(x+2) と書いていました。全ての係数について(mod 3)で考えると私の解答と一致していますが、これはどちらも正しいことになるのでしょうか？また、ここでもう一つの質問ですが、Z3上の多項式というのは、「全ての係数において(mod 3)で考えたとき、等しいものを同じ多項式として扱う」という解釈で正しいのでしょうか？例えばこの考え方ではZ3上で x^2+2 = 4x^2+2 = x^2+5 = -2x^2-1 となりますがこれは正しいですか。質問は以下となります。 (1)私の解答と手元にある解答のどちらが(両方が)正しいのか。 (2)私の体F上の多項式の解釈は正しいのか。よろしくお願いします。
イデアルについて質問です。

（i）　環Zにおいてイデアルの等式（24,　570）＝（a）が成り立つような自然数aを求めよ。（ii）　環Z[ｘ]においてイデアル（２、ｘ）は単項イデアルでないことを求めよ。　　　問題の解答よろしくお願いします
多項式環のイデアル

ある問題がわかりません。 I = {f(x) ∈ Q[x] | f(0)=0｝はQ[x]のイデアルとなることを証明せよ。という問題なのですが・・・ f(0)=0なので、f(x)=an*x^n + an-1*x^n-1 + ... + a1*x + a0 とおくと、 a0 = 0 になるのはわかります。そこからがわかりません・・・イデアルであることの証明は 1)∀g(x),q(x) ∈ I , g(x) + q(x) ∈ I 2)∀g(x) ∈ I , ∀r(x) ∈ R[x](Q[x]??) , r(x)g(x) ∈ I の二つをいえばいいのでしょうか？どうやっていえばいいのでしょうか？教えてくださいお願いします。
極大イデアル

Kを体，K[X,Y]をK上の2変数多項式環とし、a,b∈Kとする。環の準同型写像φ:K[X,Y]→K をf(X,Y)∈K[X,Y]にf(a,b)∈Kを対応させる写像ととして定めたとき (Xにa，Y にbを代入する写像) K[X, Y ] のイデアル (X － a, Y － b) は極大イデアルであることを示すにはどう示したらいいのでしょうか。
イデアルに関する質問です。

次の問題を教えてください。整数係数の多項式全体がなす可換環Z[ｘ]のイデアルに関する以下の問いに答えよ。・単項イデアル（４）は素イデアルと言えるかまた極大イデアルと言えるか理由とともに答えよ。・単項イデアル（ｘ＋４）は　　以下同文
イデアルについて質問です

ｆ:R→Ｒ’が準同型である。このときＲ’のイデアルＪについてｆ＾（-1）（Ｊ）がイデアルにならないものの例を挙げよ。という問題なのですがおそらく全射にならない準同型を考えれば、よいと思うのですが、どのような例がありますか？教えてください。
極大素イデアルと極大イデアル

まず、質問文が長くなったことと、定義などをいろいろ細かく指定したことをお詫びします。また、極大素イデアルというのは maximal prime ideal を勝手に日本語にしたもので、正しい数学用語かどうかわかりません。この質問では乗法の単位元１をもつ可換環のみを考え、素イデアルは（１）に等しくないとします。記号の使い方で、Ａ⊆ＢはＡがＢの部分集合、Ａ⊂ＢはＡがＢの真部分集合を表すとします。このとき、素イデアルＰに対して、Ｐ⊂Ｐ’⊂（１）を満たす素イデアルＰ’が存在しないとき、Ｐを極大素イデアルと定義します。ある数学書には、Ｒをネター環、ＰをＲの極大イデアル、Ａ≠（１）をＲのイデアルとするとき、Ｐ^n ⊆Ａ⊆Ｐとなる自然数 n が存在する⇔Ａは準素イデアルで√Ａ＝Ｐが成り立つという命題が載っていて、別の数学書には、Ｒをネター環、ＰをＲの極大素イデアル、Ａ≠（１）をＲのイデアルとするとき、Ｐ^n ⊆Ａとなる自然数 n が存在する⇔Ａは準素イデアルで√Ａ＝Ｐが成り立つという命題が載っています。ふたつを見比べると、これらの命題に限れば極大素イデアルと極大イデアルは互換性をもつといえます。質問したいのは上の命題の証明ではなく、極大素イデアルと極大イデアルは同じものかどうかということです。極大イデアルが極大素イデアルであることは明らかですが、逆は成り立つでしょうか。成り立たないとすれば、Ｐ⊂Ｂ⊂（１）を満たす極大素イデアルＰと素イデアルでないイデアルＢが存在する例があるはずですが、そういう例が見つかりません。極大素イデアルが極大イデアルであることを証明しようとも試みましたが、証明できませんでした。有理整数環Ｚでは極大素イデアルは必ず極大イデアルになり、ｋ[x, y] の極大素イデアル (x, y) も極大イデアルですが、例を挙げただけでは証明になりませんので。どうか、アドバイスをよろしくお願いします。
ZnがZのイデアルである事を示したいのです。

ZnがZのイデアルである事を示したいのです。イデアルの定義は (i)x,y∈Znが和に関して閉じている (ii) r∈Zの時、rx∈Zn、xr∈Zn だと思います。 (i)を示す ∀(a)mod(n),(b)mod(n)∈Zn (a)mod(n)+(b)mod(n)=(a+b)mod(n)∈Zn (∵Znは群なので) (ii)を示す次にZはZ1の事なので ∀(z)mod(1)∈Zをとると (a)mod(n)・(z)mod(1)=????? とここから先に進めません。積はどう書けるのでしょうか?
イデアルの和集合

Ｒは単位元１をもつ可換環。Ａ,Ｂ,ＣはＲのイデアルとする。（１）Ａ∪ＢはＲのイデアルか。（２）Ａ⊂Ｃ, Ｂ⊂Ｃとするとき、Ａ∪ＢとＣの包含関係を調べよ。（１）はイデアルにならないと思いますが、特別な場合はイデアルになりますよね。Ａ＝ゼロイデアルとか、Ｂ＝Ｒでもイデアルですよね。線形で、２つの部分空間Ｘ,ＹがあってＸ∪Ｙも部分空間になるとき、Ｘ⊆ＹかＸ⊇Ｙだと教わりました。イデアルだと、Ａ∪ＢがイデアルとＡ⊆ＢかＡ⊇Ｂは同値ですか。Ａ⊆ＢかＡ⊇Ｂは十分条件なのは明らかですが、必要条件かどうかがわかりません。（２）は集合として考えればＡ∪Ｂ⊆Ｃだと思うのですが、イデアルなのでＡ∪Ｂ⊂Ｃかもしれないと思います。Ｃの元の中にＡ∪Ｂの元でないものがあればいいのですが、なかなか思いつきません。やはり真部分集合じゃなくて、部分集合までしか成り立たないのでしょうか。
PIDでない環のイデアル（素イデアル）の探し方

PIDでない環のイデアルの探し方についての質問です。数多くの代数や数論の教科書および参考書に，以下の例が挙げられています； > 環 Z(√-5) において， > 素イデアルは (3,1+√-5)，(3,1-√-5)，(1+√-5,1-√-5) の3種類あり， > 　　(3,1+√-5)×(3,1-√-5) ＝ (3) > 　　(3,1+√-5)×(1+√-5,1-√-5) ＝ (1+√-5) > 　　(3,1-√-5)×(1+√-5,1-√-5) ＝ (1-√-5) > 　　(1+√-5,1-√-5)^2 ＝ (2) > なので，6 ＝ 2×3 ＝ (1+√-5)×(1-√-5) と2通りの素因数分解ができるとりあえず，この例については，正しく理解しているつもりです。（自分で手を動かして，(3,1+√-5)×(3,1-√-5) ＝ (3) などを確かめています。）実際に手を動かすと「なるほど，確かにイデアルになっているなぁ」とはわかるのですが，しかし，この「イデアル」の探し方（見つけ方）がわかりません。これは明らかなことではなく，考えていればそのうちわかるようなことでもないと思えるのですが，なにか「探し方のアルゴリズム」のようなものが存在するのでしょうか……。ちなみに私の理解度について申しますと，私が思いつく環はすべて整数環 Z と同じ「単項イデアル整域（PID）」ばかりで，そうでない例は，上記の「環 Z(√-5) 」くらいしか知りません。（手元にあるどの本を見ても上記の例ばかり載っているので……）ということで，（１）単項イデアル整域（PID）でない環（と，その素イデアル）の例（２）PIDではない環の素イデアルは，どのように探せば（考えれば）よいのかを，教えていただきたいと思います。参考になる書籍（やWebサイト）を教えて頂くだけでも構いません。どうぞよろしくお願いします。
イデアル

可換体論のネーター環の章ですが、ここではＲは可換環だけの仮定と思います。 (補題3.6.9）Ｐ1、----，Ｐnが環Ｒの素イデアルで、イデアルＡがどのＰiにも含まれていないならば，Ａの元aで、どのＰiにも含まれないものがある。証明　ｎについての帰納法ｎ＝１　ＯＫ n=n-1　ＯＫ仮定ｎのときＰi⊆Ｐn　(i<n）なるｉがあれば、Piを省いたn-1個に適用すればよい。すべてのi<ｎに関しＰiがＰnに含まれないとする。ａ1∈Ａ、で∀i　＜　nに関し、Ｐiに含まれない元ａ1をとる。ａ１がＰnに含まれなければ補題を満たすので、ａ１∈Ｐnとする。Ｐ1---Ｐn-1⊆Ｐnとすると、Ｐnは素イデアルゆえ　Ｐi⊆Ｐn（∃ｉ＜　n）となり仮定に背くからＰ1---Ｐn-1はＰnに包まれない。よってＰ1---Ｐn-1の元ｂでＰnに包まれないものをとる。ａ＝ａ1+ｂとおけばよい。　Ｑ.Ｅ.Ｄ. と参考書にありましたが、ａがＡの元というのだけがわかりません。もしａがＡの元とすればｂもＡの元ということになりますよね。でもｂはＰ1---Ｐn-1の元ｂでＰnに包まれないものというだけなので疑問です。どうかよろしくお願いします。
因数分解と部分分数の和に関する問題

因数分解と部分分数の和に関する問題 f(x)=x^5-3x^4+5x^3-5x^2+3x-1の時、(1)因数分解せよ　(2)(x^3-3x+3)/f(x)を部分分数の和に分解せよ。という問題です。(1)については、f(1)=0より、f(x)=(x-1)(x^4-2x^3+3x^2-2x+1)に因数分解できるのですが、さらに因数分解できるのでしょうか？　(2)については、部分分数の和に分解するポイントはどうすれば良いのでしょうか？すみませんが、よろしくお願いします。
単項イデアル環であることの証明

次の問題なんですが、「単元でも素元でもないａ∈Ｚ－{０}に対して、Ｚ/(a)は単項イデアル環であることを示せ。(自然な射影　　f：Z→Z/(a)を考えよ)」（Zは整数環で可換、ユークリッド聖域、結果として単項イデアル聖域であることを認める。）これで、まず剰余類環Z/(a)から元を取ってきたら、それはａ＋（ａ）となり、それが単項イデアルになるということを示せばいいのでしょうか？そうすると、明らかにａ＋（ａ）＝｛ａ＋ｋａ｜ｋ∈Ｚ｝＝（ａ）となる。という感じではいけないのでしょうか？よろしくお願いします。
イデアルであることの証明

Ｔ＝ΣＣ[x1,x2,...,xn]ei　（←i=1からnまでの和）　＝｛Σfi(x)ei |fi(x)∈Ｃ[x1,...,xn]｝Ｔをこのようにおきます。（後半は集合として表しています。）【注意点】Ｃ[x1,x2,...,xn]はn変数複素係数多項式 eiは基本対称式を表しています。（※xnのnは添え字です。）（※ei、fi(x)のiは添え字です。）このＴがイデアルであることを示したいと考えています。イデアルであることを示すためには (1)ベクトル空間である（和とスカラー倍に関して閉じている。） (2)Ｔの任意の元と勝手な多項式の積もまた閉じている。この２つを示せばいいと思うのですが、どのように示せば良いのでしょうか？教えて下さい。
単項イデアル整域

「１．ユークリッド整域　２．整数環Ｚ　３．実数上の一変数多項式環Ｒ[X]　　　　以上の３つはすべて単項イデアルであることを示せ。」なのですが、どれか一つでもかまいませんので教えてください。お願いしますm(__)m
多項式環のイデアル

代数幾何をやる準備として基礎を復習しているのですが、いろいろ難しいことがたくさんあって、わからないところの質問です。Ｒを実数体, s, t を自然数, u＝max{s, t} として、多項式環Ｒ[x, y] のイデアルＡ＝(x^s, y^t), Ｂ＝(x^t, y^s), Ｃ＝(x^u, y^u) を考える。次の 1, 2, 3, 4 の中で、成り立たないものはありますか。自分としては、全部成り立つと思っています。 s＝t＝1 のとき 1. Ａ＝Ｂ＝Ｃは素イデアルになる（これは自分で証明できました） s＝t＝1 でないとき 2. Ａ, Ｂ, Ｃはどれも準素イデアルになり, 3. Ａ∩Ｂ＝Ｃが成り立ち, 4. √Ａ＝√Ｂ＝√Ｃ＝(x, y) が成り立つ 2, 3, 4 はいいところまでいったのですが、途中で頭が混乱してきて証明が中途半端で終わってしまいました。全体を通して少し引っかかるところがあるので、成り立つかどうかだけでもいいですから、どうかアドバイスをよろしくお願いします。
応用代数の環に関する問題です。

応用代数の環に関する問題です。Ｒを区間[0,1]上で定義された実数値連続関数の全体とする。このとき、Ｒの任意の２元f, gに加法"+"と乗法"・"を (f+g)(x)=f(x)+g(x) , (f・g)(x)=f(x)g(x) (∀ｘ∈[0,1]) で定義すると、Ｒは環となる。さらに、任意のｃ∈[0,1]を固定し、f(c)=0となるＲの元ｆの全体をＪｃとする。このとき、ＪｃはＲの極大イデアルとなることを示せ。ただし、準同型定理と「Ｉは極大イデアル⇔Ｒ／Ｉは体」を使ってよい。この問題を教えてください。お願いします。

イデアルをもとめるさいに

みんなの回答

関連するQ&A

イデアル

イデアルについて

素イデアルの冪と準素イデアル

体F上のn次方程式の因数分解

イデアルについて質問です。

多項式環のイデアル

極大イデアル

イデアルに関する質問です。

イデアルについて質問です

極大素イデアルと極大イデアル

ZnがZのイデアルである事を示したいのです。

イデアルの和集合

PIDでない環のイデアル（素イデアル）の探し方

イデアル

因数分解と部分分数の和に関する問題

単項イデアル環であることの証明

イデアルであることの証明

単項イデアル整域

多項式環のイデアル

応用代数の環に関する問題です。

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

イデアルをもとめるさいに

みんなの回答

関連するQ&A

イデアル

イデアルについて

素イデアルの冪と準素イデアル

体F上のn次方程式の因数分解

イデアルについて質問です。

多項式環のイデアル

極大イデアル

イデアルに関する質問です。

イデアルについて質問です

極大素イデアルと極大イデアル

ZnがZのイデアルである事を示したいのです。

イデアルの和集合

PIDでない環のイデアル（素イデアル）の探し方

イデアル

因数分解と部分分数の和に関する問題

単項イデアル環であることの証明

イデアルであることの証明

単項イデアル整域

多項式環のイデアル

応用代数の環に関する問題です。

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

カテゴリ
一覧

専門家に質問してみよう
専門家登録