Results 1 to 2 of 2

Math Help - isomorphism

  1. #1
    Newbie
    Joined
    Dec 2006
    Posts
    5

    isomorphism

    I have the following ring R of matrices
    (a11 a12 a13
    0 a22 a23
    0 0 a33)
    such that aij are in Z2.

    R has 64 elements. Let G be the group of units of R. In this case, it consists of the matrices such that a11=a22=a33=1. Therefore G has 8 elements. Prove that G is isomorphic with D4.




    How would I show this proof?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by nanotek887 View Post
    Let G be the group of units of R.
    The set of all units form a group under multiplication.
    In this case, it consists of the matrices such that a11=a22=a33=1.
    Percisely when the determinant is non-zero.
    Therefore G has 8 elements.
    Correct.
    Prove that G is isomorphic with D4.
    This might be a mess. Okay I have three ways to show this. The first two are messy. The second is less messy. And the Third is the cleanist but I am not sure if it gonna work.

    Okay one way is by trying to define an isomorphism by brute force. The second way is by creating a group table for the group of units and D4 and by brute force trying to find a one-to-one corresponding which forms a homomorphism. The last method is by far the cleanist. But again I am not sure if it is gonna work. Do you have a group table list? I am sure on the internet you can find group tables of certain orders. Okay this is what you do. You find a site that lists all groups up to isomorphism of order 8. Among those are going to be the 3 abelian groups (Z8,Z2xZ4,Z2xZ2xZ2) and 1 non-abelian group (D4). Then knowing that the group of units is not abelian you can say it must be isomorphic to D4 because the table will list all possible non-isomorphic groups. However, if there is another group that is non-abelian then you are in trouble. What you do is by trying to find a structural property that your group of units contains and trying to look at the groups to fails to have that property.

    EDIT.
    Here is a very nice stite.
    Note, the bad news. There are 2 non-abelian groups of order 8 up two isomorphism, D4 and Q (I am supprised I did not catch that). But Q has 6 elements of order 4. While D4 has only 2 elements of order 4. Thus, you need to show that your group of units (which is non-abelian) does not have 6 elements of order 4. Proof Complete.
    Last edited by ThePerfectHacker; December 2nd 2006 at 07:46 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 10
    Last Post: October 27th 2010, 12:08 AM
  2. isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 30th 2010, 09:52 AM
  3. isomorphism
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: March 10th 2010, 08:50 AM
  4. Replies: 4
    Last Post: February 14th 2010, 03:05 AM
  5. Isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: June 28th 2009, 11:13 PM

Search Tags


/mathhelpforum @mathhelpforum