1
$\begingroup$

So, let $A=\mathbb{Z}/2\mathbb{Z}[X]$ and $ I=\{(X^2+X+1)P | P \in A \}$ I succeeded showing that this is the ideal, but now i have to find $A/I$, show that it have only 4 classes and find to what class corresponds elements like $X^3+X^2$ and $X^2+1$. I have some problems understanding the quotient groups. Mainly I considered looking at the wiki's page on quotients but there was sets and I arrived to the question.

It's very easy intuitevely follow that quotient is just mod n. But I dont understand the idea how to arrive to such result from having that $G/H=\{ xH | x \in G \}$.

  • 0
    Could you please elaborate what sort of problems you have understanding quotient structures. It's difficult to answer that part of your query without knowing more precisely what the problems are.2012-04-21

1 Answers 1

2

Hint $\ $ Use the Division Algorithm to write $\rm\:f(x) = (x^2+x+1)\:q(x) + r(x),\ deg\ r \le 1.\:$ Thus, mod $\rm I = (x^2+x+1),\:$ every $\rm\:f(x)\in \mathbb F_2[x]\:$ is equivalent to a linear polynomial (degree $\le 1).\:$ Further, distinct linear polynomials are inequivalent mod I, else their difference would be a linear polynomial $\ne 0$ divisible by $\rm\:x^2 + x + 1.$ Thus the linear polynomials $\rm\: a\:x + b,\ a,b\in \mathbb F_2,\:$ are a complete system of representatives of the equivalence classes (cosets) of the quotient ring$\rm\:A/I.$

  • 0
    $A = \mathbb F_2[x]$ is the ring of all polynomials with coefficients in the field of two elements. $I$ is the prinicpal ideal $(g) = g A$ of all multiples of $g = x^2+x+1$. Yes, those four classes form a complete system of reps of $A/I$, by the reasoning in the above answer.2012-04-21