Compute some orbits of an action by Sym(4) on polynomials in four variables
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.6 As in Exercise 2.2.12, let $S_4$ act on the set $R$ of all polynomials with integer…
Basic properties of blocks of a group action
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.7 Let $G \leq S_A$ act transitively on the set $A$. A block is a nonempty subset…
Every doubly transitive group action is primitive
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.8 A transitive permutation group $G \leq S_A$ acting on $A$ is called doubly transitive if for…
Transitive group actions induce transitive actions on the orbits of the action of a subgroup
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.9 Suppose $G \leq S_A$ acts transitively on $A$ and let $H \leq G$ be normal. Let…
Facts about double cosets
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.10 Let $G$ be a group and $H,K \leq G$ subgroups. For each $x \in G$, define…
Compute the orbits, cycle decompositions, and stabilizers of some given group actions of Sym(3)
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.4 Let $S_3$ act on the set $A = \{ (i,j) \ |\ 1 \leq i,j \leq…
An abelian group has the same cardinality as any sets on which it acts transitively
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.3 Suppose $G \leq S_A$ is an abelian and transitive subgroup. Show that $\sigma(a) \neq a$ for…
Stabilizer commutes with conjugation II
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.2 Let $G$ be a permutation group on the set $A$ (i.e. $G \leq S_A$), let $\sigma…
Stabilizer commutes with conjugation
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 4.1 Exercise 4.1.1 Solution: First we prove that $\mathsf{stab}_G(b) = g \mathsf{stab}_G(a) g^{-1}$. ($\subseteq$) If $x \in \mathsf{stab}_G(b)$, then…
Characterization of the orbits of a group action as equivalence classes
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 1.7 Exercise 1.7.18 Let $H$ be a group acting on a set $A$. Prove that the relation on $A$…