- ベストアンサー
体の標本について（代数学）
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
たぶん「ｋには、Ｑ（またはＺ／ｐＺ）と同型な部分体が存在する」と主張しているのだと思います。 ch(k)=0ならばＱ⊂k →もしかしたら、準同型な単射:Ｑ→ｋを作ればよいのだと思います。 こんなｆ： ｆは、Ｑのｎ／ｍをｋの（ｎ個の１の和）／（ｍ個の１の和）にうつす。 を作って、ｆが準同型な単射であることを証明します。 ch(k)=pならばＺ/pＺ⊂k →おそらく、準同型な単射:Ｚ／ｐＺ→ｋを作ればよいのだと思います。 こんなｆ： ｆは、Ｚ／ｐＺのｎをｋの１＋１＋…＋１（ｎ個の１の和）に移す。 を作って、ｆが準同型な単射であることを証明します。 注：勘です。
関連するQ&A
- 既約について（代数学）
代数学の問題なのですが、 f(x)=x^3+ax+1(a≧1)とする。 f(x)∈Ｚ[x]はＱ（有理数）上で既約である事を示せ。 なんですが、これはf(x)がＺ（整数）上で既約であることを示せばいいのですか？それとも直接Ｑ（有理数）上で既約であることを示せばいいのでしょうか？できれば、解き方を教えてください。お願いしますm(__)m
- ベストアンサー
- 数学・算数
- 体について（代数学）
代数学の問題で教えてほしいのですが、 Ｑ（有理数）、Ｒ（実数）、Ｃ（複素数）は体となることを証明せよ。 なんですが、全部を示さずとも、Ｃ（複素数）さえ示せれば、あとはＣ⊂Ｒ⊂ＱよりＲ、Ｑについても言えると思うのですが、Ｃが体であるためにはどう示せばいいのかわかりません。体についての定義は分かっていますが、どんな式を加法、乗法、逆元の計算をすればいいのでしょうか？できれば解法を教えてください、お願いしますm(__)m
- ベストアンサー
- 数学・算数
- 【代数学】位数2の元
代数学の本を読んでいて、練習問題の解説に以下のような記述がありました： pを素数とするとき、Z/pZは体だから、x^2≡1（mod p）なる元はpを法として-1ただ1つ。乗法群(Z/pZ)*において、先にみたように位数2の元はただ1つだから…（以下省略。Zは整数全体のなす環） この解説で「Z/pZは体だから、x^2≡1（mod p）なる元はpを法として-1ただ1つ」（*）という部分が理解できません。ただし、その後の文で「乗法群の位数2の元はただ1つ」とあるので、（*）は1以外でそのようなxは-1だけ（mod p）という意味ではないかと考えています。そこで以下の質問をさせていただきたいです。 １．一般に、体の乗法群には位数2の元は1つだけあるといえるでしょうか。その場合、なぜそういえるのかの説明またはヒントをいただけないでしょうか。 ２．１の答えがnoの場合、反例があれば教えていただきたいです。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 代数の体論の計算問題について教えてください。
ご教授、宜しくお願いします。 問い 次の数は、有理数体Q上で、代数的であることを証明せよ。 (1)√３＋³√２ (2)√２＋√３+√５ 解答 (1)√３＋³√２は、ｘ＾６－９ｘ＾２－４ｘ＾２＋２７ｘ＾２－３６ｘ－２３ の解である。 (2)√２＋√３+√５ は、x＾８-４０X＾６+３５２X＾４-９６０X＾２+５７６ の解である。 ある値aが解となるような方程式を見つけることが、代数的証明ぼ方針であることは、わかりましたが、(1)と(2)の値が、上記の方程式を満たすことがわかるためには、どのように解けばよいのでしょうか。宜しくお願いします。
- ベストアンサー
- 数学・算数
- 整数から整数へマップする多項式の条件
【問題】多項式 p が以下の条件を満たす必要十分条件はなんですか？ (1)n∈Z ⇒ p(n)∈Z (Zは整数の集合) (2)pのすべての係数は有理数 ---------------------------------------------------- 係数がすべて整数の場合以外に、いくつか思いつく限りの例を挙げてみました。 x/2 + (x^2)/2 x/6 + (x^2)/2 + (x^3)/3 一般化して(Π[k=0,n](x+k))/n! 以上の考察から Σ[n=0,∞](C_n*((Π[k=0,n](x+k))/n!)) (C_nは整数) で p の一部を表現できます。でも、必要十分条件まではまだまだ遠いです。これは線形代数の教科書で出てきた問題なのですが、どう線形代数を使ってよいのかもよく分かりません。考え方の道しるべを示していただけると助かります。
- ベストアンサー
- 数学・算数
お礼
な～るほど。さっそく試してみます。ありがとうございましたm(__)m