Klein and Cyclic Groups: Definitions and Subgroups

In summary: But this becomes a bit unwieldy when the groups get large.3. A more general way is to use group theory and algebraic geometry, but that's beyond the scope of this post. In summary, the two groups are isomorphic if there exists a bijection between them. The method of finding this bijection is beyond the scope of this post, but is something that can be done with a bit of study. Thanks for asking!
  • #1
nille40
34
0
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
 
Physics news on Phys.org
  • #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?
 
  • #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.
 
  • #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.

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]

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:
  • #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
 
  • #6
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.
 
  • #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
 
  • #8
2 groups...Correct?

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.


How do you do that? Do you explicitly express mappings between elements in the group, like this

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.
 
  • #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
 
  • #10
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
 

1. What is a Klein group?

A Klein group, also known as a Klein four-group, is a group consisting of four elements that follows the rules of group theory. It is the smallest non-cyclic group and is isomorphic to the direct product of two copies of the cyclic group of order 2.

2. How is a Klein group represented?

A Klein group can be represented using a Cayley table, which is a square table that shows the group's operation. It can also be represented using a group presentation, where the group is defined by a set of generators and relations.

3. What are the properties of a Klein group?

A Klein group has the following properties:

  • It is a finite group with four elements.
  • It is an abelian group, meaning its operation is commutative.
  • It is a non-cyclic group, meaning it does not have a single generator that can generate all of its elements.
  • Its identity element is the only element with order 1.

4. How is a cyclic group different from a Klein group?

A cyclic group is a group that is generated by a single element, while a Klein group is not generated by a single element. Additionally, a cyclic group can have any number of elements, while a Klein group always has four elements.

5. What are some real-world applications of Klein groups?

Klein groups have applications in various fields such as physics, chemistry, and cryptography. In physics, Klein groups can be used to describe symmetries in crystals. In chemistry, they can represent the symmetries of molecules. In cryptography, Klein groups can be used to create secure encryption algorithms.

Similar threads

  • Linear and Abstract Algebra
Replies
1
Views
730
  • Linear and Abstract Algebra
Replies
8
Views
2K
Replies
4
Views
1K
  • Linear and Abstract Algebra
Replies
8
Views
1K
  • Linear and Abstract Algebra
Replies
7
Views
4K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
3K
  • Linear and Abstract Algebra
Replies
7
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
4
Views
10K
Back
Top