Friday, 24 January 2014

abstract algebra - Elements of Etimes,cdot of the quotient ring E:=fracmathbbZ3[X]langlex2+x+2rangle



Consider the field E:=Z3[X]x2+x+2.
If I'm right the elements of the quotient ring can be found as:
a0+a1x+x2+x+2.
So we got the possibilities in Z3:
{0,1,2,β,1+β,2+β,2β,1+2β,2+2β}.
Here β=¯x=x+x2+x+2 is a root of x2+x+2.
(Correct me if my notation is wrong.)




So how do we get the elements of unit of E×,. I assume 1 is in it, but don't know how to calculate the other elements. With the elements, what would be the Cayley table of E×,?



Other little question: we know that β is a solution of x2+x+2, what is the other root?


Answer



After I figured out how to proper multiplicate in a quotient ring via: Constructing a multiplication table for a finite field, I managed to find the unit elements by calculating every possible combination. I found for instance:
β(1+β)=x2+x+x2+x+2=x2+x+x2+x+2+(0+x2+x+2)=x2+x+x2+x+2+2x2+2x+4+x2+x+2=3x2+3x+4+x2+x+2=0+0+1+x2+x+2=1
If I do this for the other elements, I find that
(2+β)(1+2β)=1 and (2β)(2+2β)=1.



So the elements of unit become: E×,={1,β,1+β,2+β,1+2β,2β,2+2β}. The Cayley table is found by multiplying all the elements with each other. They are calculated similar as above.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...