Okay, I have this problem in my book, an I'm pretty sure I solved it, but I there is something that is confuses me in the way the problem was asked.(adsbygoogle = window.adsbygoogle || []).push({});

Assume all polynomials are in the ring

[tex]

{F_2[x] \over x^n-1}

[/tex]

where [itex]n=2^m-1[/itex] and m>2

Let g(x) be the minimal polynomial of a primitive element of [itex]F_{2^m}[/itex]

We want to look at the ideal generated by (x+1)g(x). The problem is to prove that for [itex]i \ne j[/itex] the two polynomials [itex]x^i+x^{i+1}[/itex] and [itex]x^j+x^{j+1}[/itex] can't be in the same coset of this ideal.

My problem is that my proof seems to make the factor of (x+1) in the ideal unnecessary and that the way the problem is worded seems to imply that this factor has some importance to this property.

My proof is relatively simple. Assume j>i and j<n, and assume they are in the same coset, then we can find a pair of q's such that:

[tex]

(x+1)g(x)q_1+x^i+x^{i+1}=(x+1)g(x)q_2+x^j+x^{+1} (mod(x^n-1))

[/tex]

Rearranging we get:

[tex]

(x+1)g(x)(q_1+q_2)+(x+1)(x^i)(1+x^{j-i})=0 (mod(x^n-1))

[/tex]

Since g divides the sum of the left side and it divides the left hand term, it has to divide the right hand term on the left side as well (g is irreducible). It can't divide (x+1) and it can't divide [itex]x^i[/itex] so it has to divide the remaining factor [itex](1+x^{j-i})[/itex] but it can't divide this factor because it is the minimal polynomial of a primitive element of [itex]F_{2^m}[/itex]. Thus they can't be in the same coset since we have hit a contradiction.

However, none of this depends on the (x+1) factor in the ideal as far as I can see.

Am I missing something, or just totally off on the wrong track?=

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Coset of ideals question

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads for Coset ideals question | Date |
---|---|

A Lagrange theorems and Cosets | Dec 16, 2017 |

I Multiplicative cosets | May 4, 2017 |

I Jacobson Radical and Right Annihilator Ideals ... | Feb 7, 2017 |

I Question about coset | Apr 20, 2016 |

I Why only normal subgroup is used to obtain group quotient | Mar 5, 2016 |

**Physics Forums - The Fusion of Science and Community**