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