- ベストアンサー
原始多項式の証明
原始多項式の証明 すみませんこの問題がどうしてもわかりません。だれか教えていただけないでしょうか？ x^4+x+1（この式はFp[x]に含まれる、p=2）はFp上の４次原始多項式であることを示せ。 まず、既約多項式であることを証明して、原始多項式であることを証明するのだと思うのですが・・・ どうかお願いします。
- 数学・算数
- 回答数3
- ありがとう数3
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
取り敢えず証明するべきものが何なのかが分かっていないと 幾ら答えを教えても理解できるはずが無いと思いますので、 まずは「原始多項式」の定義を確認してから補足にでも 書いてください。 どのでこの問題が出たのか分かりませんが、この問題が 書かれているものに（本とか授業とか）定義も書いてあると 思いますが。
その他の回答 (2)
- Tacosan
- ベストアンサー率23% (3656/15482)
その定義なら, (最高次の係数が 1 であることは明らかなので) 「既約」であることを示せば OK ですね. で「既約」の定義がわかっていれば簡単, と. 4次式を因数分解すると 1次式か 2次式が出てくることはわかるよね?
お礼
ありがとうございました。なんとか回答にたどり着きました。
補足
それはわかりますが・・・その因数分解ができないから規約多項式であるということでしょうか？ それを数学的にうまくかけないです。
- tmpname
- ベストアンサー率67% (195/287)
そんなもの、明らかな気が... Fpって、位数2の有限体の事ですよね？ 『（Fp上の）一変数多項式f(x)が原始多項式である』ことの定義は理解されていますか？
お礼
ありがとうございました。なんとか回答にたどり着きました。
補足
ごめんなさい。理解していないです。 今ググってみましたが、やはり理解できないです。 あと、もちろん位数２の有限体のことです。
関連するQ&A
- 原始多項式について
原始多項式について下記の問題と証明が合っているか確認したいのですが、 まず、原始多項式f(x)はf(x)=a0x^n+…+an-1x +anにおいてa0, …, an-1, anの最大公約元が可逆元の時を言います。 [問題] 一意分解環Aとその商体Kに対して自然な準同型π: A→K、a→a/1を定め F(x)=π(a0)x^n+…+π(an-1)x+π(an) f(x)=a0x^n+…+an-1x+an と置いた時、F(x), f(x)は原始多項式 [証明] Kは体なのでπ(ai)∈Kは可逆元でその最大公約元も可逆元。従ってF(x)は原始多項式。 またπ(ai)の逆元π(ai)^-1についてπ(ai)^-1=π(ai^-1) より逆元ai^-1がありf(x)も原始多項式である。 以上、考え方が合っているかご教授頂けますと幸いです。よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 原始多項式について
一意分解環Aとその多項式環A[x]∋f(x)について、次の(1), (2)は同値であることを証明したいのですが、 (1)f(x)は原始多項式である (2)任意の素元p∈Aに対して、f(x)をpを法として考えた多項式f'(x)∈(A/(p))[x]は零でない (2)のf(x)をpを法として考えた多項式とは a0, b0, …, an, bn∈Aを用いて f'(x)=(a0/pb0)x^n+…+(an-1/pbn-1)x+(an/pbn) と表せる事(だと思う、、)で、 原始多項式とは f(x)=a0x^n+…+an-1x+anについて、a0, …,anの最大公約元が可逆元であることなので、 (2)⇒(1)はf'(x)=(a0/pb0)x^n+…+(an-1/pbn-1)x+(an/pbn)が零でなければ、a0, …,anの最大公約元が可逆元となるように示して行けば良いと思うのですが さっぱり分かりません。 (1)⇔(2)の証明をご教授頂けると助かります。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 有限体の元の個数の証明。
有限体の元の個数の証明。 すみませんがどなたかこの問題を教えてもらえませんでしょうか？ pを奇数の整数、rを正の整数とする。Fp^rの元の平方になっているFp^rの元の個数、すなわち |{αはFp^rに含まれる|α=β^2、あるβはFp^rに含まれる}| は1/2(p^r-1)であることを示せ。 （Fp^rはFp[x]の多項式をr次既約多項式f(x)で割った余り多項式全体の集合） 申し訳ありませんが。どうかお願いします。
- ベストアンサー
- 数学・算数
- M系列の生成多項式と原始多項式について
生成多項式や原始多項式に関する様々な投稿を見ましたが、 いまいち知りたいことがわからなかったので質問いたします。 周期 2^n - 1 のM系列を生成するには、{0,1}を体とする n次の原始多項式を生成多項式として用いるということまでは わかったのですが、このn次の原始多項式の求め方について、 いまいち理解できません。 例えば、周期 2^4 - 1 = 15のM系列を生成するには原始多項式 x^4 + x^1 + 1 ー (1) を用いるということですが、 x^4 + x^2 + 1 ー (2) ではM系列を生成できませんでした。 この２式の違いを理解していないことが原始多項式の求め方を 理解できない原因だと思うのですが、どなたかお詳しい方がいましたら、 ご教授お願いいたします。
- ベストアンサー
- 数学・算数
- 多項式が既約である事の証明
多項式、例えばｆ(x) = x^8 + x^4 + x^3 + x + 1が（Z/2Z)[x] で 既約である事はどうやって証明したらよいのでしょうか？ 二次の多項式であれば証明できるんですが・・・。 どなたか教えて下さい。
- ベストアンサー
- 数学・算数
- 短縮化巡回符号の原始多項式について
情報ビット=4、検査ビット=3の原始多項式はG(x)=x~3+x+1なのですが、 情報ビット=4、検査ビット=4の短縮化巡回符号の場合の原始多項式がわかりません。また原始多項式がわかったとして、それがなぜ原始多項式になるのかも教えてください。 それから原始多項式がわかったとして、受信符号01110111の誤りビットを求めて正しい符号にする過程も教えてください。よろしくお願いします。
- 締切済み
- 数学・算数
お礼
ありがとうございました。なんとか回答にたどり着きました。
補足
定義は整数係数の多項式で係数の最大公約数が１である既約多項式を原始多項式という。 だと思っているのですが・・・間違っているかもしれません。