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

  • Context: Graduate 
  • Thread starter Thread starter mathplease
  • Start date Start date
  • Tags Tags
    Orbit Theorem
Click For Summary

Discussion Overview

The discussion revolves around understanding the concept of orbits in the context of permutation groups, specifically focusing on the orbit of the element 1 in a given permutation group G acting on a finite set M = {1,2,3,4}. Participants explore the definitions and implications of orbits and stabilizers within group theory.

Discussion Character

  • Conceptual clarification
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents a theorem related to the size of a permutation group and the orbit of an element, seeking clarification on its application to the specific example of the set M.
  • Several participants express difficulty in understanding the notation and terminology used, particularly regarding orbits and stabilizers.
  • Another participant explains that the orbit of an element is the set of images under the action of the group, providing specific mappings for the element 1 and concluding that the orbit of 1 is {1,2}.
  • It is noted that the orbit of 2 is the same as that of 1, and similarly for the elements 3 and 4, indicating a partitioning of the set by orbits.

Areas of Agreement / Disagreement

Participants generally agree on the definition of orbits and the specific outcome for the orbit of 1, but there is some confusion regarding the notation and the underlying concepts, indicating that not all participants fully grasp the material.

Contextual Notes

Some participants express uncertainty about the notation and definitions, particularly regarding the concept of orbits and stabilizers, which may affect their understanding of the theorem presented.

mathplease
Messages
25
Reaction score
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
I'm having some difficulty understanding your notation. Can you explain it?
 
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:
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.
 
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!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K