Results 1 to 7 of 7

Math Help - A Few Normal SUbgroup Questions

  1. #1
    Member
    Joined
    Nov 2008
    Posts
    152

    A Few Normal SUbgroup Questions

    1) Let H normal to G and K normal to G. Show that H intersection K is normal to G.

    2) Let H normal to G and K normal to G, and assume that H intersection K = {e}. Show that if x is in H and y is in K, then xy = yx.

    3) Show that (Q,+) / (Z,+) is an infinite group every element of which has finite order.

    4) Let G be a group and let H be a subgroup of index 2. Show that for every a in G, a^2 is in H.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Oct 2008
    From
    Guernsey
    Posts
    69
    1) If an element, x, is in H \cap K then it is in H and K, since all elements in H and K have their conjugates in H and K, all the conjugates of x will be in G \cap K

    2) Let x \in H, y \in K Consider \underbrace{(y^{-1})x(y^{-1})^{-1}}_{\in  H} x^{-1} \in H but (y^{-1})\underbrace{x(y^{-1})^{-1} x^{-1}}_{\in K} \in Kso y^{-1}xyx^{-1} = e \Rightarrow xy = yx

    3) This is the group of elements \frac{m}{n} + \mathbb{Z}, so add each element to itself n (which is finite and specific to each element) times
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Nov 2008
    Posts
    152
    I still don't get 3. I thought it would be a rational number over some integer? Not m/n + Z?

    And does anyone know #4?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Mar 2009
    From
    São Paulo- Brazil
    Posts
    22
    Quote Originally Posted by Janu42 View Post
    I still don't get 3. I thought it would be a rational number over some integer? Not m/n + Z?

    And does anyone know #4?
    Yes! You should remember that if H is a subgroup of index 2, it must be normal in G. Thus the factor group G/H={H,aH} has two elements, and therefore a^{2}H=(aH)^{2}=H, that is, a^{2}\in H.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Nov 2008
    Posts
    152
    OK Thanks.

    One more: How do I show the special linear group is normal to the general linear group?

    And how do I show that if H is the subgroup of G with 2 x2 matrices where c = 0 (ad does not equal 0), then H is not a normal subgroup of G? I'm assuming if I know how to do the first one I can get this.

    EDIT: I saw something about using the special linear group as a kernel or something, but I don't think we know that yet. So if there's a way to use the basic definition of normal subgroups for this, that works.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Janu42 View Post
    OK Thanks.

    One more: How do I show the special linear group is normal to the general linear group?

    And how do I show that if H is the subgroup of G with 2 x2 matrices where c = 0 (ad does not equal 0), then H is not a normal subgroup of G? I'm assuming if I know how to do the first one I can get this.

    EDIT: I saw something about using the special linear group as a kernel or something, but I don't think we know that yet. So if there's a way to use the basic definition of normal subgroups for this, that works.
    determinant is a homomorphism from the general linear group on a field to the multiplicative group of that field. the kernel of this homomorphism is the set of all matrices with determinant 1, which

    is exactly the definition of the special linear group. for the second part of your problem, let g=\begin{pmatrix}1 & 0 \\ 1 & 1 \end{pmatrix}, \ \ h=\begin{pmatrix}1 & 1 \\ 0 & 1 \end{pmatrix} \in H. show that for all x \in H: \ gh \neq xg.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    Nov 2008
    Posts
    152
    Is this the only way to do it? Is there a way to use the definition of normal subgroup simply?

    Or is this simpler than I'm making it seem? I don't really get the idea of kernel.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: March 2nd 2011, 08:07 PM
  2. Subgroup of cyclic normal subgroup is normal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 25th 2010, 06:13 PM
  3. characterisitic subgroup implies normal subgroup
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 8th 2010, 03:13 PM
  4. subgroup of a normal subgroup...
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: November 23rd 2009, 08:06 AM
  5. Normal subgroup interset Sylow subgroup
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: May 10th 2008, 12:21 AM

Search Tags


/mathhelpforum @mathhelpforum