10. Group Actions Flashcards
Matrix Group
A field is a matrix group if it satisfies:
- If A, B ∈ G, then AB ∈ G
- I_n ∈ G
- If A ∈ G, then A is invertible and A^−1 ∈ G
Matrix Group is a subgroup of…
General Linear Group, GL_n(F)
The Orthogonal Group is
A Matrix Group!
Permutation Matrix
Every Perm Matrix is Orthogonal
Group acting on set X (Group Action)
A group acts on set X is there exists a group homomorphism phi: G -> Sym(X)
G-Set
If we say X is a G-Set then that means the group G acts on set X
Stabiliser of G_x
Let G be a group and X be a G-set, the stabiliser for G_x is a subgroup of G
Orbit
When a group G acts on a set X (this process is called a group action), it permutes the elements of X. Any particular element X moves around in a fixed path which is called its orbit
Congruence (Orbits)
Let X be a G-set, and let x, y ∈ X. Then we say that x is congruent to y modulo G if x ∈ G · y
Congruence Modulo G
This is an Equivalence relation on X
Equivalence Classes for Congruence Modulo G
They are the G-Orbits
Transitivity (Orbits)
Let X be a G-set. We say the action of G on X is transitive if there is only one orbit for the action