What is the orbit of 1 in the permutation group G?

In summary, the theorem states that for a permutation group G acting on a finite set A and an element x in A, the order of G is equal to the product of the order of the orbit containing x and the order of the stabilizer of x in G. In the example given, the orbit of 1 is {1,2} and the stabilizer of 1 is {e,a}. Therefore, |G| = |{1,2}| * |{e,a}| = 2 * 2 = 4.
  • #1
mathplease
26
0
If G is a permutation group acting on a finite set A and x [tex]\in[/tex]A, then

|G| = |[tex]\Delta[/tex](x)| |Gx|

where [tex]\Delta[/tex](x) denotes the orbit containing x.

I'm having some difficulty understanding this theorem. For example,

Consider the following set G of permutations of the set M = {1,2,3,4}:

* e = (1)(2)(3)(4)

* a = (1 2)(3)(4) = (1 2)

* b = (1)(2)(3 4) = (3 4)

* ab = (1 2)(3 4)

G forms a group, so (G,M) forms a permutation group.

what is [tex]\Delta[/tex](1) in this example?
 
Physics news on Phys.org
  • #2
I'm having some difficulty understanding your notation. Can you explain it?
 
  • #3
Fredrik said:
I'm having some difficulty understanding your notation. Can you explain it?

|A| means order of A

G is the the permutation group

[tex]\Delta[/tex](x) is the http://en.wikipedia.org/wiki/Orbit_(group_theory)#Orbits_and_stabilizers" containing x (having difficulty understanding/visualising this)

Gx is all the permutations in G that fix x (map x to itself) also known as the stabiliser of x in G

also I'm using http://en.wikipedia.org/wiki/Cycle_notation#Definition" for the permutations:

(1 2)(3 4) means 1 -> 2, 2 -> 1, 3 -> 4, 4 -> 3
 
Last edited by a moderator:
  • #4
The orbit of an element is just the set of images under the action.

e1=1
a1=2
b1=1
(ab)1=2

So the orbit of 1 is {1,2}, which is also the orbit of 2. Similarly, the orbit of 3 is the set {3,4}, which is also the orbit of 4. This illustrates the fact that the orbits form a partition of the G-set.
 
  • #5
Landau said:
The orbit of an element is just the set of images under the action.

e1=1
a1=2
b1=1
(ab)1=2

So the orbit of 1 is {1,2}.

Thankyou very much!
 

1. What is the Orbit Stabiliser Theorem?

The Orbit Stabiliser Theorem is a mathematical theorem that describes the relationship between the size of a group and the size of its subgroups. It states that the index of a subgroup is equal to the product of the size of the subgroup and the size of its stabiliser.

2. How is the Orbit Stabiliser Theorem used in science?

The Orbit Stabiliser Theorem is commonly used in physics and engineering to study the behaviour of systems with rotational symmetry. It has also been applied in chemistry and biology to study the properties of molecules and enzymes.

3. Can you explain the concept of "orbit" and "stabiliser" in relation to the Orbit Stabiliser Theorem?

In the context of the Orbit Stabiliser Theorem, "orbit" refers to the set of all possible states or positions that a system can occupy, while "stabiliser" refers to the subgroup of transformations that leave the system in the same state. The theorem states that the size of the orbit is equal to the index of the stabiliser subgroup.

4. How does the Orbit Stabiliser Theorem relate to group theory?

The Orbit Stabiliser Theorem is a fundamental result in group theory, which is the mathematical study of symmetry and transformation. It provides a powerful tool for understanding the structure and properties of groups, particularly those with rotational symmetry.

5. Are there any limitations to the Orbit Stabiliser Theorem?

Like any mathematical theorem, the Orbit Stabiliser Theorem has certain assumptions and limitations. It assumes that the group is finite and that the subgroup is a normal subgroup. Additionally, it only applies to groups with rotational symmetry, so it may not be applicable to all systems and phenomena.

Similar threads

  • Linear and Abstract Algebra
Replies
19
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
790
  • Linear and Abstract Algebra
Replies
23
Views
2K
  • Linear and Abstract Algebra
Replies
3
Views
972
  • Linear and Abstract Algebra
Replies
18
Views
1K
Replies
2
Views
977
  • Linear and Abstract Algebra
Replies
6
Views
1K
  • Linear and Abstract Algebra
Replies
7
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
787
  • Linear and Abstract Algebra
Replies
11
Views
1K
Back
Top