Results 1 to 2 of 2

Math Help - quotient group of GL2(Z/5Z) subgroups.

  1. #1
    Junior Member platinumpimp68plus1's Avatar
    Joined
    Dec 2008
    Posts
    38

    quotient group of GL2(Z/5Z) subgroups.

    G=2x2 matrixes with a1a1=m, a1a2=b, a2a1=0, a2a2=1. (where integers are viewed as residue classes in Z/5Z)

    H=2x2 matrixes with a1a1=1, a1a2=c, a2a1=0, a2a2=1.

    Prove that the quotient/factor group G/H is cyclic and of order 4.

    I'm confused because I can't see how its of order 4. I think its should be 5. Any help is appreciated!!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by platinumpimp68plus1 View Post
    G=2x2 matrixes with a1a1=m, a1a2=b, a2a1=0, a2a2=1. (where integers are viewed as residue classes in Z/5Z)

    H=2x2 matrixes with a1a1=1, a1a2=c, a2a1=0, a2a2=1.

    Prove that the quotient/factor group G/H is cyclic and of order 4.

    I'm confused because I can't see how its of order 4. I think its should be 5. Any help is appreciated!!
    As the title says, I'll assume G and H are subgroups of GL_2(F), where F=\mathbb{Z}/5\mathbb{Z} (m is not zero in this case). Here is the sketch of the proof.

    Let {(\mathbb{Z}/5\mathbb{Z})}^{\times} be a multiplicative group of \mathbb{Z}/5\mathbb{Z} excluding 0. Let \phi:G \longrightarrow {(\mathbb{Z}/5\mathbb{Z})}^{\times} be a surjective group homomorphism such that \phi(A) = det (A), where A \in G (verify this is a well-defined group homomorphism). The kernel of \phi is a group H. By the first isomorphism theorem, |G:H | = 4 (The order of a multiplicative group {(\mathbb{Z}/5\mathbb{Z})}^{\times} is 4).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Symmetric Group Subgroups
    Posted in the Advanced Algebra Forum
    Replies: 18
    Last Post: October 8th 2011, 12:22 PM
  2. subgroups of the group <x,y:x=y=(xy)>
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 13th 2010, 02:23 AM
  3. Subgroups of a group of order 2^m
    Posted in the Advanced Algebra Forum
    Replies: 13
    Last Post: May 11th 2010, 06:33 PM
  4. A group with no subgroups
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: September 30th 2007, 08:22 AM
  5. Normal Subgroups of A Group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: December 29th 2006, 06:43 AM

Search Tags


/mathhelpforum @mathhelpforum