Let $G$ be a finite group and let $A, B$ be subsets of $G$ satisfying
\[|A|+|B| > |G|.\]
Here $|X|$ denotes the cardinality (the number of elements) of the set $X$.
Then prove that $G=AB$, where
\[AB=\{ab \mid a\in A, b\in B\}.\]

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.

In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem.

Problem.
Let $G$ be a finite abelian group of order $n$.
If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic to the cyclic group $Z_n=\Zmod{n}$ of order $n$.

Let $R$ be a commutative ring with $1$ and let $G$ be a finite group with identity element $e$. Let $RG$ be the group ring. Then the map $\epsilon: RG \to R$ defined by
\[\epsilon(\sum_{i=1}^na_i g_i)=\sum_{i=1}^na_i,\]
where $a_i\in R$ and $G=\{g_i\}_{i=1}^n$, is a ring homomorphism, called the augmentation map and the kernel of $\epsilon$ is called the augmentation ideal.

(a) Prove that the augmentation ideal in the group ring $RG$ is generated by $\{g-e \mid g\in G\}$.

(b) Prove that if $G=\langle g\rangle$ is a finite cyclic group generated by $g$, then the augmentation ideal is generated by $g-e$.

Use Lagrange’s Theorem in the multiplicative group $(\Zmod{p})^{\times}$ to prove Fermat’s Little Theorem: if $p$ is a prime number then $a^p \equiv a \pmod p$ for all $a \in \Z$.

Let $G$ be a finite group of order $n$ and let $m$ be an integer that is relatively prime to $n=|G|$. Show that for any $a\in G$, there exists a unique element $b\in G$ such that
\[b^m=a.\]
Read solution

Let $G$ be a finite group and $P$ be a nontrivial Sylow subgroup of $G$.
Let $H$ be a subgroup of $G$ containing the normalizer $N_G(P)$ of $P$ in $G$.

Let $A$, $B$ be groups. Let $\phi:B \to \Aut(A)$ be a group homomorphism.
The semidirect product $A \rtimes_{\phi} B$ with respect to $\phi$ is a group whose underlying set is $A \times B$ with group operation
\[(a_1, b_1)\cdot (a_2, b_2)=(a_1\phi(b_1)(a_2), b_1b_2),\]
where $a_i \in A, b_i \in B$ for $i=1, 2$.

Let $f: A \to A’$ and $g:B \to B’$ be group isomorphisms. Define $\phi’: B’\to \Aut(A’)$ by sending $b’ \in B’$ to $f\circ \phi(g^{-1}(b’))\circ f^{-1}$.

\[\require{AMScd}
\begin{CD}
B @>{\phi}>> \Aut(A)\\
@A{g^{-1}}AA @VV{\sigma_f}V \\
B’ @>{\phi’}>> \Aut(A’)
\end{CD}\]
Here $\sigma_f:\Aut(A) \to \Aut(A’)$ is defined by $ \alpha \in \Aut(A) \mapsto f\alpha f^{-1}\in \Aut(A’)$.
Then show that
\[A \rtimes_{\phi} B \cong A’ \rtimes_{\phi’} B’.\]

Let $G$ be a simple group and let $X$ be a finite set.
Suppose $G$ acts nontrivially on $X$. That is, there exist $g\in G$ and $x \in X$ such that $g\cdot x \neq x$.
Then show that $G$ is a finite group and the order of $G$ divides $|X|!$.

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).\]