JustToThePoint English Website Version
JustToThePoint en español

Maximize your online presence with our exclusive offer: Get a stunning hero banner, the hero you need and deserve, at an unbeatable price! Bew, 689282782, bupparchard@gmail.com

Group Actions. The Fundamental Counting Principal.

Definitions. Let X be a set and G be a group. A left group action of G on X is a map G x X → X given by (g, x) → g·x such that the following axioms hold:

a) Identity: ∀x ∈ X, e·x = x

b) Compatibility: ∀x ∈ X, ∀g, h ∈ G, g·(h·x) = (gh)·x

The group G is said to act on the set X. A set X equipped with an action by G is called a G-set.

Let X be a set and G be a group. A right group action of G on X is a map X x G→ X given by (x, g) → x·g such that the following axioms hold:

a) Identity: ∀x ∈ X, x·e = x

b) Compatibility: ∀x ∈ X, ∀g, h ∈ G, (x·g)·h = x·(gh)

Examples.

a) ∀x ∈ ℝn, Inx = x

b) ∀x ∈ ℝn, ∀A, B ∈ G = GLn(ℝ), A(Bx) = (AB)x.

This is called the matrix action.

a) ∀x ∈ X, 1·x = Id(x) = x b) ∀x ∈ X, ∀σ, τ ∈ Sn: σ·(τ·x) = σ·(τ(x)) = σ(τ(x)) = (σ∘τ)(x) = (στ)·x

This is called the permutation action.

Cayley’s Theorem states that every group is isomorphic to a permutation group, i.e., a subgroup of a symmetric group, therefore up to isomorphism every group action is a permutation action.

a) e·x = exe-1 = x.

b) ∀ g, h ∈ G. g·(h·x)= g·(hxh-1) = g(hxh-1)g-1= [shoe-sock theorem] (gh)x(gh)-1 = (gh)·x

This is called the conjugation action.

  1. is it well defined? Suppose xH = yH ⇒ x-1y ∈ H ⇒ x-1g-1gy ∈ H ⇒ (x-1g-1)(gy) ∈ H ⇒ [Shoe-Sock Theorem] (gx)-1(gy) ∈ H ⇒ gxH = gyH
  2. e·xH = (ex)H = xH.
  3. g·(h·xH) = g·(hxH) = (gh)xH = (gh)·xH

Theorem. Let X be a G-set. Then define a relation ~ on X, by the rule x ~ y if ∃g ∈ G: g·x = y. Then ~ is an equivalence relation on X, called G-equivalence. The equivalence classes of this relation are called orbits, where Ox is the orbit containing x ∈ X.

Proof.

Recall, a set X equipped with an action by G is called a G-set. Claim: ~ is an equivalence relation on X

[G is a group ⇒ ∃g-1∈G: g-1g = gg-1 = e] g-1·y = g-1·(g·x) = (g-1g)·x = e·x = x ⇒ y ~ x.

Example. Let G the permutation group G = ⟨(123), (45)⟩ = ⟨(123)⟩⟨(45)⟩ = {1, (123), (132), (45), (123)(45), (132)(45)} ≤ S5, and let X = {1, 2, 3, 4, 5}. Then, G acts a permutation on X (σ·x = σ(x) for x ∈Sn)

  1. O1 = O2 = O3 = {1, 2, 3} e.g., let σ = (123), x= 1, 1 ~ 2 because σ∈G: σ·1=σ(1)= 2; 2 ~ 3 because σ∈G: σ·2=σ(2)=3. τ = (132), τ·1 = τ(1) = 3, so 1 ~ 3. Therefore, [1]~ = O1 = O2 = O3 = {1, 2, 3}

  2. O4 = O5 = {4, 5}.

The Fundamental Counting Principle

The Fundamental Counting Principle. Let G be a group acting on X and x an element of X. Then, the cardinality of an orbit is equal to the index of its stabilizer, that is, |Ox| = [G:Gx]

Recall: The stabilizer of x is the set Gx = { g ∈ G ∣ g ⋅ x = x} , the set of elements of G which leave x unchanged under the action.

Proof.

Reclaim: Ox = {y ∈ X | y = g·x}, Gx = {g ∈ X | g·x = x}

It suffices to show a bijection between Ox and G/Gx. Notice that if y ∈ Ox ⇒ ∃g ∈ X | y = g·x ⇒ g·x denotes an arbitrary element of Ox

Let’s define the map f: Ox → G/Gx by the rule, f(g·x) = gGx

Remark. If G is a finite group, then |Ox| = [G:Gx] = |G|/|Gx| and therefore, |G| = |Ox||Gx|, and the cardinality of the orbit divides the cardinality of the group.

Bibliography

This content is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. This post relies heavily on the following resources, specially on NPTEL-NOC IITM, Introduction to Galois Theory, Michael Penn, and Contemporary Abstract Algebra, Joseph, A. Gallian.
  1. NPTEL-NOC IITM, Introduction to Galois Theory.
  2. Algebra, Second Edition, by Michael Artin.
  3. LibreTexts, Abstract and Geometric Algebra, Abstract Algebra: Theory and Applications (Judson).
  4. Field and Galois Theory, by Patrick Morandi. Springer.
  5. Michael Penn (Abstract Algebra), and MathMajor.
  6. Contemporary Abstract Algebra, Joseph, A. Gallian.
  7. Andrew Misseldine: College Algebra and Abstract Algebra.
Bitcoin donation

JustToThePoint Copyright © 2011 - 2024 Anawim. ALL RIGHTS RESERVED. Bilingual e-books, articles, and videos to help your child and your entire family succeed, develop a healthy lifestyle, and have a lot of fun. Social Issues, Join us.

This website uses cookies to improve your navigation experience.
By continuing, you are consenting to our use of cookies, in accordance with our Cookies Policy and Website Terms and Conditions of use.