- ベストアンサー
代数学
こんにちは。以前もこちらで質問させていただきました。とても参考になる意見をいただき嬉しかったです。今回の質問は「Ｋを体とする。Ｋ｛ｘ｝の既約多項式は無限に多く存在するか？するなら証明せよ」です。素数が無限に多く存在することを証明するというのがヒントらしいのですが、どう解答すればよいのでしょうか？素数が無限である証明はできたのですが。。できればかなり噛み砕いておしえていただければと思います。よろしくお願いします。
- yuzukarin44
- お礼率83% (15/18)
- 数学・算数
- 回答数2
- ありがとう数1
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
多項式環 K[x] のつもりでしょうね。 素数が無限にあることの証明は、何通りもありますが、 一番素朴な「素数が有限個なら、その総積+1を考えてみよ」が そのまま使えますよ。 既約多項式が有限個しか存在しなければ、 その全ての積+1 という多項式が作れます。 この多項式の因数分解を考えると、最大次数の既約多項式より高次の 多項式が作れてしまったことが解ります。 →背理法で完了。
その他の回答 (1)
関連するQ&A
- 一般のn次既約多項式は存在する？
Kを0,1からなる体 とします。そこでK上の多項式を考えます。 1次,2次,3次,…の既約多項式を考えたとき、4次までの既約多項式は具体的に求めてみましたが、一般のn次既約多項式は存在するのでしょうか？直感的には存在しそうですが。。どなたか教えてください。
- ベストアンサー
- 数学・算数
- 代数の既約多項式の問題です。
代数の既約多項式の問題です。 a_n(x^n)＋a_n-1(x^n-1)～＋a_2(x^2)＋a_1(x)＋a_0=0 （a_0,a_1,・・・a_n∈Q:有理数） が既約とする。この方程式の解がn次未満のQ係数多項式の解とはならない事を示せ。 既約多項式:これ以上約せない多項式 わかる方いましたらよろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 増減表を使った証明。。
環論の問題で f(X)⊂R[X]の次数が奇数ならば、f(X)は実数の零点を持つことを示せ。 という問題があるのですが、 自分がといたやり方としては 解）実数体上の既約多項式はすべて１次または２次である。という定理より奇数次数の多項式f(X)⊂R[X]を既約多項式にすると少なくとも１つは１次式になる。よって、実数の零点を持つ。 このように証明したのですが、ヒントには微積の増減表を使うようにとかかれていました。 だとするとこの証明だとだめですよね？ 増減表を使った方法の証明分かるかた教えてください。
- ベストアンサー
- 数学・算数
- 代数学
Kを標数0の体とし、(X^n)−1をK[X](Kの1変数多項式環)の元とします。このとき、 (X^n)−1=0の解ζで、 (X^n)−1=(X−1)(X−ζ)…(X−ζ^(n−1)) となるζが存在することを証明して欲しいです。 一応自分なりに、方程式(X^n)−1=0は重解を持たないから(もし重解なら一回微分nX^(n−1)=0の解である事を考えて示せた)、 (X^n)−1=(X−1)(X−a[1])…(X−a[n−1]) とかけ、a[1]≠1で、a[1]^n=1より、 巡回群〈a[1]〉の位数はn以下である事はわかりました。 〈a[1]〉の位数がnであることが示せたら証明出来た事になると思うのですが、それが示せません。
- ベストアンサー
- 数学・算数
- 代数学の問題について…
次は Q[X] の即約多項式か?即約である場合はそれぞれ証明せよ。可約である場合は即約多項式に分解せよ (I)8X^5+12X^3+18X^2+21 (II)X^4-5X^3+7X^2-5X+6 即約多項式と可約多項式とはどういったものなのかが…なぞです… 証明と分解なのですがどうしても答えに結びつく方法がわかりません…どうかどなたかお力をお貸しくださいませ。 考え方、参考資料など何でもいいので教えてください
- 締切済み
- 数学・算数
- 代数の問題についてです。
以下の代数の問題について教えてください １．Ｑ（√２、√３、√５）＝Ｑ（√２+√３+√５）となることを示せ。 ２．[Ｑ（√２、√３、√５）: Ｑ]をもとめよ ３．√２+√３+√５のＱ上の既約多項式（最小多項式）を求めよ ４．ωを ｘ＾２＋ｘ＋１ の根としたときＱ（３√２（以下、これは２の３乗根） 、ω）の自己同型写像であって３√２とωを入れ替えるものが存在するか？ ５．Ｆ⊂Ｂ⊂Ｅ:体の塔、 Ｂ: ｆ（ｘ）∈Ｆ[x]のＦ上の分解体、 Ｅ: ｇ（ｘ）∈Ｆ[x]のＦ上の分解体 とする。 このとき、写像Ψ : Gal(E/F) → Gal(B/F) ＜σ → σ｜B＞ は全射であることを示せ。
- 締切済み
- 数学・算数
- 体 変数多項式環 既約多項式
体 K 上の 1 変数多項式環を K[X] とし，X^3- 2 によって生成される K[X] のイデアルを I とし、 剰余環 A = K[X]/I について。 K が有理数体 Q であるとき，X^3- 2 は Q[X] の既約多項式であることとA が体であることをどのように示していけばいいでしょうか。
- ベストアンサー
- 数学・算数
お礼
返答が遅くなってしまい申し訳ありませんでした。大変わかりやすい解答ありがとうございます！