A Group of Order $20$ is Solvable

Group Theory Problems and Solutions in Mathematics

Problem 286

Prove that a group of order $20$ is solvable.

 
LoadingAdd to solve later

Hint.

Show that a group of order $20$ has a unique normal $5$-Sylow subgroup by Sylow’s theorem.

See the post summary of Sylow’s Theorem to review Sylow’s theorem.

Proof.

Let $G$ be a group of order $20$. The prime factorization of $20$ is $20=2^2\cdot 5$.
Let $n_5$ be the number of $5$-Sylow subgroups of $G$.

By Sylow’s theorem, we have
\[n_5\equiv 1 \pmod{5} \text{ and } n_5|4.\] It follows from these constraints that we have $n_5=1$.

Let $P$ be the unique $5$-Sylow subgroup of $G$.
The subgroup $P$ is normal in $G$ as it is the unique $5$-Sylow subgroup.

Then consider the subnormal series
\[G\triangleright P \triangleright \{e\},\] where $e$ is the identity element of $G$.
Then the factor groups $G/P$, $P/\{e\}$ have order $4$ and $5$ respectively, and hence these are cyclic groups and in particular abelian.

Therefore the group $G$ of order $20$ has a subnormal series whose factor groups are abelian groups, and thus $G$ is a solvable group.


LoadingAdd to solve later

More from my site

  • Group of Order $pq$ Has a Normal Sylow Subgroup and SolvableGroup 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.   Definition/Hint For (a), apply Sylow's theorem. To review Sylow's theorem, […]
  • Group of Order 18 is SolvableGroup of Order 18 is Solvable Let $G$ be a finite group of order $18$. Show that the group $G$ is solvable.   Definition Recall that a group $G$ is said to be solvable if $G$ has a subnormal series \[\{e\}=G_0 \triangleleft G_1 \triangleleft G_2 \triangleleft \cdots \triangleleft G_n=G\] such […]
  • Non-Abelian Group of Order $pq$ and its Sylow SubgroupsNon-Abelian Group of Order $pq$ and its Sylow Subgroups Let $G$ be a non-abelian group of order $pq$, where $p, q$ are prime numbers satisfying $q \equiv 1 \pmod p$. Prove that a $q$-Sylow subgroup of $G$ is normal and the number of $p$-Sylow subgroups are $q$.   Hint. Use Sylow's theorem. To review Sylow's theorem, check […]
  • If a Sylow Subgroup is Normal in a Normal Subgroup, it is a Normal SubgroupIf a Sylow Subgroup is Normal in a Normal Subgroup, it is a Normal Subgroup Let $G$ be a finite group. Suppose that $p$ is a prime number that divides the order of $G$. Let $N$ be a normal subgroup of $G$ and let $P$ be a $p$-Sylow subgroup of $G$. Show that if $P$ is normal in $N$, then $P$ is a normal subgroup of $G$.   Hint. It follows from […]
  • Sylow Subgroups of a Group of Order 33 is Normal SubgroupsSylow Subgroups of a Group of Order 33 is Normal Subgroups Prove that any $p$-Sylow subgroup of a group $G$ of order $33$ is a normal subgroup of $G$.   Hint. We use Sylow's theorem. Review the basic terminologies and Sylow's theorem. Recall that if there is only one $p$-Sylow subgroup $P$ of $G$ for a fixed prime $p$, then $P$ […]
  • Fundamental Theorem of Finitely Generated Abelian Groups and its applicationFundamental Theorem of Finitely Generated Abelian Groups and its application 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 […]
  • Are Groups of Order 100, 200 Simple?Are Groups of Order 100, 200 Simple? Determine whether a group $G$ of the following order is simple or not. (a) $|G|=100$. (b) $|G|=200$.   Hint. Use Sylow's theorem and determine the number of $5$-Sylow subgroup of the group $G$. Check out the post Sylow’s Theorem (summary) for a review of Sylow's […]
  • A Simple Abelian Group if and only if the Order is a Prime NumberA Simple Abelian Group if and only if the Order is a Prime Number Let $G$ be a group. (Do not assume that $G$ is a finite group.) Prove that $G$ is a simple abelian group if and only if the order of $G$ is a prime number.   Definition. A group $G$ is called simple if $G$ is a nontrivial group and the only normal subgroups of $G$ is […]

You may also like...

1 Response

  1. 02/12/2017

    […] A group of order $20$ is solvable […]

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Group Theory
Group Theory Problems and Solutions in Mathematics
The Center of the Heisenberg Group Over a Field $F$ is Isomorphic to the Additive Group $F$

Let $F$ be a field and let \[H(F)=\left\{\, \begin{bmatrix} 1 & a & b \\ 0 &1 &c \\ 0...

Close