Group of Order $pq$ is Either Abelian or the Center is Trivial
Let $G$ be a group of order $|G|=pq$, where $p$ and $q$ are (not necessarily distinct) prime numbers.
Then show that $G$ is either abelian group or the center $Z(G)=1$.
Use the result of the problem "If the Quotient by the Center is Cyclic, then the Group is […]
The Order of $ab$ and $ba$ in a Group are the Same
Let $G$ be a finite group. Let $a, b$ be elements of $G$.
Prove that the order of $ab$ is equal to the order of $ba$.
(Of course do not assume that $G$ is an abelian group.)
Let $n$ and $m$ be the order of $ab$ and $ba$, respectively. That is,
Group of Order $pq$ Has a Normal Sylow Subgroup and Solvable
Let $p, q$ be prime numbers such that $p>q$.
If a group $G$ has order $pq$, then show the followings.
(a) The group $G$ has a normal Sylow $p$-subgroup.
(b) The group $G$ is solvable.
For (a), apply Sylow's theorem. To review Sylow's theorem, […]
Nontrivial Action of a Simple Group on a Finite Set
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|!$.
Since $G$ acts on $X$, it […]
The Product Distinct Sylow $p$-Subgroups Can Never be a Subgroup
Let $G$ a finite group and let $H$ and $K$ be two distinct Sylow $p$-group, where $p$ is a prime number dividing the order $|G|$ of $G$.
Prove that the product $HK$ can never be a subgroup of the group $G$.
Use the following fact.
If $H$ and $K$ […]