Category: Group Theory

Group Generated by Commutators of Two Normal Subgroups is a Normal Subgroup

Problem 129

Let $G$ be a group and $H$ and $K$ be subgroups of $G$.
For $h \in H$, and $k \in K$, we define the commutator $[h, k]:=hkh^{-1}k^{-1}$.
Let $[H,K]$ be a subgroup of $G$ generated by all such commutators.

Show that if $H$ and $K$ are normal subgroups of $G$, then the subgroup $[H, K]$ is normal in $G$.

 
Read solution

LoadingAdd to solve later

Isomorphism Criterion of Semidirect Product of Groups

Problem 113

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

 
Read solution

LoadingAdd to solve later

Group of Invertible Matrices Over a Finite Field and its Stabilizer

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

 
Read solution

LoadingAdd to solve later