# Tagged: group action

## Problem 488

Let $G$ be a finite group and let $S$ be a non-empty set.
Suppose that $G$ acts on $S$ freely and transitively.
Prove that $|G|=|S|$. That is, the number of elements in $G$ and $S$ are the same.

## Problem 474

Prove that every finite group of order $72$ is not a simple group.

## Problem 470

Let $G$ be a finite group of order $p^n$, where $p$ is a prime number and $n$ is a positive integer.
Suppose that $H$ is a subgroup of $G$ with index $[G:P]=p$.
Then prove that $H$ is a normal subgroup of $G$.

(Michigan State University, Abstract Algebra Qualifying Exam)

## Problem 464

Let $G$ be a finite group of order $231=3\cdot 7 \cdot 11$.
Prove that every Sylow $11$-subgroup of $G$ is contained in the center $Z(G)$.

## Problem 455

Let $G$ be a finite group.
The centralizer of an element $a$ of $G$ is defined to be
$C_G(a)=\{g\in G \mid ga=ag\}.$

A conjugacy class is a set of the form
$\Cl(a)=\{bab^{-1} \mid b\in G\}$ for some $a\in G$.

(a) Prove that the centralizer of an element of $a$ in $G$ is a subgroup of the group $G$.

(b) Prove that the order (the number of elements) of every conjugacy class in $G$ divides the order of the group $G$.

## Problem 359

Let $P$ be a $p$-group acting on a finite set $X$.
Let
$X^P=\{ x \in X \mid g\cdot x=x \text{ for all } g\in P \}.$

The prove that
$|X^P|\equiv |X| \pmod{p}.$

## Problem 232

Let $G$ be a group and let $H$ be a subgroup of finite index. Then show that there exists a normal subgroup $N$ of $G$ such that $N$ is of finite index in $G$ and $N\subset H$.

## Problem 108

Let $\F_p$ be the finite field of $p$ elements, where $p$ is a prime number.
Let $G_n=\GL_n(\F_p)$ be the group of $n\times n$ invertible matrices with entries in the field $\F_p$. As usual in linear algebra, we may regard the elements of $G_n$ as linear transformations on $\F_p^n$, the $n$-dimensional vector space over $\F_p$. Therefore, $G_n$ acts on $\F_p^n$.

Let $e_n \in \F_p^n$ be the vector $(1,0, \dots,0)$.
(The so-called first standard basis vector in $\F_p^n$.)

Find the size of the $G_n$-orbit of $e_n$, and show that $\Stab_{G_n}(e_n)$ has order $|G_{n-1}|\cdot p^{n-1}$.

Conclude by induction that
$|G_n|=p^{n^2}\prod_{i=1}^{n} \left(1-\frac{1}{p^i} \right).$

## Problem 105

Let $G$ be a finite group of order $n$ and suppose that $p$ is the smallest prime number dividing $n$.

Then prove that any subgroup of index $p$ is a normal subgroup of $G$.