Register to reply

Group isomorphism and Polynomial ring modulo ideal

by X-il3
Tags: ideal, isomorphism, modulo, polynomial, ring
Share this thread:
X-il3
#1
Aug12-07, 09:46 AM
P: 3
Hi everyone.

I have two questions that I hope you can help me with.

First when trying to show isomorphism between groups is it enough to show that the order of each element within the group is the same in the other group? For example the groups (Z/14Z)* and (Z/9Z)*. They are both of order 6 and both have
1 element of order 1
1 element of order 2
2 elements of order 3
2 elements of order 6
And does the binary operator have to be the same in both groups when doing group isomorphism?

And the second question(actually the third one). I am trying to write the multiplication table for the following ring
Z_2[X]/(x^2 + x +). I know that this ring has 4 elements. Is it correct that the elements are the following
1
x + 1
x^2 + 1
x^2 + x + 1
?

Hope you can help me with this,

X-il3
Phys.Org News Partner Science news on Phys.org
Hoverbike drone project for air transport takes off
Earlier Stone Age artifacts found in Northern Cape of South Africa
Study reveals new characteristics of complex oxide surfaces
matt grime
#2
Aug12-07, 10:12 AM
Sci Advisor
HW Helper
P: 9,398
Quote Quote by X-il3 View Post
First when trying to show isomorphism between groups is it enough to show that the order of each element within the group is the same in the other group?
No.

And does the binary operator have to be the same in both groups when doing group isomorphism?
What do you mean by 'same'? If f is an isomorphism then f(xy)=f(x)f(y), if that's what you mean.


Z_2[X]/(x^2 + x +).
Is there a missing 1 there?

I know that this ring has 4 elements. Is it correct that the elements are the following
1
x + 1
x^2 + 1
x^2 + x + 1
Where is 0? Why haven't you written down x or x^x+x? (You have, by the way, but you have made a strange choice of representatives of the elements, which is why I ask, since it implies you've not really understood what you're doing.
X-il3
#3
Aug12-07, 10:27 AM
P: 3
Quote Quote by matt grime View Post
Is there a missing 1 there?
Yes there was 1 missing there.


Quote Quote by matt grime View Post
Where is 0? Why haven't you written down x or x^x+x? (You have, by the way, but you have made a strange choice of representatives of the elements, which is why I ask, since it implies you've not really understood what you're doing.
I thought the identity element in multiplication is 1 and therefore no 0. How would you represent the elements in this ring? More like this
0
x
x^2
x^2 + x
? Leaving the 1 out from all the elements?

X-il3

matt grime
#4
Aug12-07, 10:58 AM
Sci Advisor
HW Helper
P: 9,398
Group isomorphism and Polynomial ring modulo ideal

Now where's 1 gone? (Again, it is still there in disguise which makes more confused as toy what you're trying to do).
X-il3
#5
Aug12-07, 11:16 AM
P: 3
Quote Quote by matt grime View Post
Now where's 1 gone? (Again, it is still there in disguise which makes more confused as toy what you're trying to do).
Ok here is one more try. Hope I get it right this time .
Since we are working in Z_2 then a = -a where a is an element in Z_2.

We know that X^2 + x + 1 = 0 = [0]. Moving numbers around now we then get the remaining 3 elements in the ring.
x^2 + x = 1 = [1]
x^2 + 1 = x = [x]
x + 1 = x^2 = [x^2]

X-il3


Register to reply

Related Discussions
Lie algebra, ideal and isomorphism Linear & Abstract Algebra 13
Solving polynomial congruences modulo a prime power Calculus & Beyond Homework 0
Group Isomorphism Calculus & Beyond Homework 11
Ring isomorphism Calculus & Beyond Homework 3
Irreducible polynomial on polynomial ring Calculus & Beyond Homework 1