Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Klein and Cyclic group

  1. Jan 12, 2004 #1
    Hi everybody!

    Question #1
    What is the definition of a Klein group? The [tex]K_4[/tex] group has a table that looks like this:
    [tex]
    \begin{array}{c|cccc}
    *&e&a&b&c \\\hline
    e&e&a&b&c\\
    a&a&e&c&b\\
    b&b&c&e&a\\
    c&c&b&a&e
    \end{array}
    [/tex]

    What is the strict definition of a Klein group? That every element generates the entire group? Is [tex]\langle \lbrace 1, 3, 5, 7 \rbrace, +\rangle[/tex] a Klein group?

    Question #2
    All subgroups of the cyclic group [tex]C_{24}[/tex] are cyclic groups [tex]C_n[/tex] where [tex]n \mid 24[/tex]. So to find all subgroups, one can locate all divisors for 24. Correct?

    This is what I do not understand: The subgroups of [tex]C_24[/tex] with the order 24 is [tex]c, c^5, c^7, c^{11}, c^{13}, c^{17}, c^{19}, c^{23}[/tex]. What does [tex]c^n[/tex] mean? Does [tex]c^n[/tex] generate [tex]\frac{24}{\gcd(24, n)}[/tex] elements?

    I would really, really appreciate some help with this!

    Thanks in advance,
    Nille
     
  2. jcsd
  3. Jan 12, 2004 #2
    Hint for question 1:

    The Klein group is a symmetry group for a geometrical object. The fact the group is of order 4 is significant...

    Btw, are you sure that every element generates the group?
     
  4. Jan 12, 2004 #3
    "Btw, are you sure that every element generates the group?"

    Nope. I am pretty much fumbling in the dark... The source of the table in the previous post is my teacher and some document(s) on the internet, so the table should be correct. In the table every element generates the entire group, hence the conclusion.

    I am not sure about anything, in the case of groups. For instance, the klein group is defined as [tex]\langle \lbrace e, a, b, c \rbrace, *\rangle[/tex], where [tex]*[/tex] represents some operation. Is this correct?

    And the elements in a cyclic group can be written as [tex]C_n = \langle \lbrace e, c^1, c^2, \ldots c^n \rbrace, * \rangle[/tex]. Is this correct?

    To quote someone famous: I'm going crazy.
     
  5. Jan 12, 2004 #4
    Hmm, ok. Well, if we take the element a and mulitply a by itself, we arrive at the identity. So, the group generated by a is <a> = {e,a}, which means a has order 2, but the Klein group is of order 4. Your table is correct, however.

    Yes, that's correct. One interesting feature of the Klein group is that it is the smallest non-cyclic group. (Every group of prime order is cyclic).

    You may find this site interesting http://www.wordiq.com/cgi-bin/knowledge/lookup.cgi?title=Klein_four-group

    Edit: Used QUOTE tags instead of URL. Whoops.
     
    Last edited: Jan 14, 2004
  6. Jan 12, 2004 #5
    So a group [tex]G_4 = \langle \lbrace e, a, b, c \rbrace, * \rangle[/tex] is a Klein group iff it is not cyclic, ie it has a "multiplication table" identic to the Klein table?

    Thanks again!
    Nille
     
  7. Jan 12, 2004 #6

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    There are only two groups of order two ("up to isomorphism"), the cylic group of order 4 and the Klein group. So one way of defining the Klein group is to say "it is the group of order 4 that is not cyclic"!

    Since any group is defined (again, "up to isomorphism") by its multiplication table, yes, you could say the Klein group is any group that has that multiplication table.
     
  8. Jan 14, 2004 #7
    Thank you both very much!

    I'll post yet another question, in case you don't have anything better to do...

    2 groups [tex]\langle M_1 \mid *\rangle[/tex] and [tex]\langle M_2 \mid \diamond\rangle[/tex] are isomorphic if there exists a bijection [tex]f:M_1 \rightarrow M_2[/tex] such that

    [tex]f(x * y) = f(x) \diamond f(y)[/tex]

    Correct? Say we have the groups [tex]\langle \mathbb{Z}_6, + \rangle[/tex] and [tex]\langle \mathbb{Z}_7\backslash\lbrace 0 \rbrace, \times \rangle[/tex]. How can one prove that these are isomorphic?

    We should locate a bijection [tex]f:\mathbb{Z}_6 \rightarrow \mathbb{Z}_7\backslash\lbrace 0 \rbrace[/tex], with the property

    [tex]f(x+y) = f(x) \times f(y)[/tex]

    How do you do that? Do you explicitly express mappings between elements in the group, like this:
    [tex]
    f(0) = 1,
    f(1) = 3,
    f(2) = 2,
    f(3) = 6,
    f(4) = 4,
    f(5) = 5
    [/tex].

    How can you locate such a bijection?

    Thanks again,
    Nille
     
  9. Jan 14, 2004 #8
    Yes, that's correct. The map [itex]f[/itex] that satisfies the property [itex]f(x * y) = f(x) \diamond f(y)[/itex] for a group is called a group homomorphism. You'll probably see the term used over and over again.


    Yes, you can do it that way. There's usually an 'obvious' bijection, but in this case, I don't think there is. There's no general method to find a bijection between two groups.

    All you have to do to prove that the two groups are isomorphic is to find just one bijection between them. I haven't checked yours, but it does appear to be a bijective homomorphism, so the two groups are indeed isomorphic.
     
  10. Jan 14, 2004 #9
    Aha...
    I always enjoy the "there is no good way to do that" answer :)
    But that was pretty much what I figured...

    I tried a number of ways:
    1. If you organize the order of each element in a list you can easily find a bijection between the groups. But this becomes a bit complex when you're dealing with large groups.
    2. If you draw a directed graph, where nodes represent elements and edges represent generation ([tex]a \rightarrow b \Rightarrow b \in \langle a \rangle[/tex]). But this wasn't a very efficient approach either...

    Thanks for all your help!
    Nille
     
  11. Jan 16, 2004 #10

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Look at the order of the elements of the group

    an isomorphism will send an element of order n to an element of order n.

    if it sends x to y it sends x*x to y@y so that narrows down the bijections you need to examine

    * and @ are my notations for the group composition.

    express things as generators and relations and simpler objects

    the Klein 4 group is C_2xC_2 for instance

    learn some more theory: it is trivial to decide when finite abelian groups are isomorphic because of the structture theorem.

    as for the example you gave. the integers mod 6 under addtion are cyclic of order 6. (1 generates the group.

    to show if the units mod 7 are cyclic of order 6 then find an element that does not square or cube to the identity; its order must then be 6

    hint try 3 as the generator.

    matt
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Klein and Cyclic group
  1. Cyclic Group (Replies: 1)

Loading...