Results 1 to 6 of 6
Like Tree1Thanks
  • 1 Post By Deveno

Math Help - (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all a∈G

  1. #1
    Newbie
    Joined
    Mar 2012
    From
    Southeast Michigan
    Posts
    4

    (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all a∈G

    The following likely requires LaGrange's Theorem / cosets, but I am unsure how to construct the necessary counterexamples, or prove/disprove part (b). Any help/hints/tips on any of this would be very much appreciated.

    We know that if G is a group of order 4 with identity e, then either G is cyclic or a2 = e for all a∈G.

    (a) Find a counterexample to prove that this result cannot be generalized to use a base that is a natural number m other than 2. That is, disprove the following proposition:
    If m is a natural number greater than 2 and G is a group of order m2 with identity e, then G is either cyclic or am = e for ever a∈G.


    (b) Is there any condition on m that will make the proposition in (a) true? If yes, state and prove a conjecture. If no, explain why.


    (c) Does the stated result generalize to other powers of 2? That is, prove or disprove the following proposition.
    If G is a group of order 2k for some k∈ℤ with k>2, then either G is cyclic or a2 = e for every a∈G.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Amer's Avatar
    Joined
    May 2009
    From
    Jordan
    Posts
    1,093

    Re: (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all

    G is a group of order m and m> 2, with m prime number
    let  x \in G and x differ from the identity
    from lagrange theorem, the order of x divide the order of G
    so x order is m^2 or m
    if it is m^2 then G is generated from x which means G is cyclic
    then other case x order is m.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2012
    From
    Southeast Michigan
    Posts
    4

    Re: (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all

    Thanks Amer, that helps tremendously with part (b).

    I am still working to construct counter examples for (a) and (c), any advice on this?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,279
    Thanks
    672

    Re: (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all

    the following counter-example works for both a) and c):

    let G = Z8 x Z2, which is of order 16 (= 4^2 = 2^4).

    consider the element (1,1) in G. this element is of order 8.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Mar 2012
    From
    Southeast Michigan
    Posts
    4

    Re: (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all

    Thanks for that, however, I should have mentioned that we have only worked with Z_x, Dihedral, and U groups. Are there any counterexamples within these groups?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,279
    Thanks
    672

    Re: (LaGrange) Proving/disproving that G; |G|= x^y is either cyclic or a^m=e for all

    look at U(32)
    Thanks from Amer
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Show that if a ∈ R, then: sup{r ∈ Q : r < a} = a .
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: September 30th 2010, 03:19 PM
  2. Replies: 1
    Last Post: September 30th 2010, 11:50 AM
  3. proving or disproving probabillity density function
    Posted in the Advanced Statistics Forum
    Replies: 2
    Last Post: July 22nd 2010, 12:18 AM
  4. Replies: 3
    Last Post: March 13th 2010, 10:04 PM
  5. Proving and Disproving
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: January 23rd 2008, 08:13 PM

Search Tags


/mathhelpforum @mathhelpforum