Results 1 to 4 of 4

Math Help - First Isomorphism Theorem/quotient group question

  1. #1
    Senior Member
    Joined
    Dec 2008
    Posts
    288

    First Isomorphism Theorem/quotient group question

    Let G be the group of invertible upper triangular 2x2 matrices over the real numbers. Determine if the following are normal subgroups and if they are use the frist isomorphism theorem to identify the quetient group G/H.

    where H is

    a) a_{11}=1

    b) a_{11}=a_{22}

    I have checked (hopefully correctly) that these are both normal subgroup (via gHg^{-1}=H) However I am unsure as to what the next part is actually asking me?

    Thanks for any help
    Last edited by hmmmm; July 28th 2011 at 05:31 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176

    Re: First Isomorphism Theorem/quotient group question

    Quote Originally Posted by hmmmm View Post
    Let G be the group of invertible upper triangular 2x2 matrices. Determine if the following are normal subgroups and if they are use the frist isomorphism theorem to identify the quetient group H.

    where H is

    a) a_{11}=1

    b) a_{11}=a_{22}

    I have checked (hopefully correctly) that these are both normal subgroup (via gHg^{-1}=H) However I am unsure as to what the next part is actually asking me?

    Thanks for any help
    For a) the question is now wanting you to find a map from G to another group, H, such that the kernel is the set of all matrices such that a_{11}=1. It is analogous for b).

    If you have any trouble finding these maps, just ask. People will happily surrender the answers, but you finding them yourself is much, much more useful!

    Finally, what are your matrices over? \mathbb{Z}? \mathbb{Q}? \mathbb{R}? Some arbitrary field? (The question doesn't really make sense unless you know this...)
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member
    Joined
    Dec 2008
    Posts
    288

    Re: First Isomorphism Theorem/quotient group question

    Sorry I should have said that it is over the real numbers I have edited it now.

    Im a bit confused by your answer I want to find an isomorphism from G to H (H being a subgroup of G this isnt possible is it?) or do you just mean a different group H'

    Thanks for the help sorry for my confusion

    for a

    So am I looking for a map \phi:G\rightarrow G' such that \phi(g)\rightarrow a_{11} and where G'=(\mathbb{R^*},\times)?

    So the quotient group G/H is isomorphic to \mathbb{R^*},\times)
    Last edited by hmmmm; July 28th 2011 at 05:46 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176

    Re: First Isomorphism Theorem/quotient group question

    Quote Originally Posted by hmmmm View Post
    Sorry I should have said that it is over the real numbers I have edited it now.

    Im a bit confused by your answer I want to find an isomorphism from G to H (H being a subgroup of G this isnt possible is it?) or do you just mean a different group H'

    Thanks for the help sorry for my confusion

    for a

    So am I looking for a map \phi:G\rightarrow G' such that \phi(g)\rightarrow a_{11} and where G'=(\mathbb{R^*},\times)?

    So the quotient group G/H is isomorphic to \mathbb{R^*},\times)
    Yeah, sorry, I just meant a different group. The isomorphism looks correct, and would be my first guess, but you should check first that it is well-defined, surjective, and that the kernel is what you want it to be...
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Group Isomorphism question
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: May 23rd 2010, 02:30 PM
  2. Index/Isomorphism/Quotient Group answer check
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: February 18th 2010, 05:58 PM
  3. Replies: 1
    Last Post: October 7th 2009, 09:17 AM
  4. group isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: January 17th 2009, 07:27 PM
  5. Group Isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 14th 2007, 05:26 AM

Search Tags


/mathhelpforum @mathhelpforum