Every Group of Order 20449 is an Abelian Group

Abelian Group problems and solutions

Problem 462

Prove that every group of order $20449$ is an abelian group.

 
LoadingAdd to solve later

Outline of the Proof

Note that $20449=11^2 \cdot 13^2$.
Let $G$ be a group of order $20449$.
We prove by Sylow’s theorem that there are a unique Sylow $11$-subgroup and a unique Sylow $13$-subgroup of $G$.
Hence $G$ is the direct product of these Sylow subgroups.

Since these Sylow subgroups are of order $11^2$ and $13^2$, respectively, they are abelian.
Since the direct product of abelian groups is abelian, the group $G$ is abelian.

Proof.

Observe that $20449=11^2 \cdot 13^2$.
Let $G$ be a group of order $20449$.

Let $n_{11}$ be the number of Sylow $11$-subgroups of $G$.
By Sylow’s theorem, $n_{11}$ satisfies
\begin{align*}
&n_{11}\equiv 1 \pmod{11} \text{ and }\\
&n_{11} \text{ divides } 13^2.
\end{align*}

The second condition yields that $n_{11}$ could be $1, 13, 13^2$.
Among these numbers, only $n_{11}=1$ satisfies the first condition.
So there is a unique Sylow $11$-subgroup $P_{11}$ of $G$, hence $P_{11}$ is a normal subgroup of $G$.


Similarly, let $n_{13}$ be the number of Sylow $13$-subgroups of $G$.
Sylow’s theorem yields that $n_{13}$ satisfies:
\begin{align*}
&n_{13}\equiv 1 \pmod{13} \text{ and }\\
&n_{13} \text{ divides } 11^2.
\end{align*}
From the second condition, we see that $n_{13}$ could be $1, 11, 13$.
Among these numbers, only $n_{13}=1$ satisfies the first condition.
So there is a unique Sylow $13$-subgroup $P_{13}$ of $G$, hence $P_{13}$ is a normal subgroup of $G$.


Note that the orders of $P_{11}$ and $P_{13}$ are $11^2$ and $13^2$, respectively.
The intersection of $P_{11}$ and $P_{13}$ is the trivial group.
Thus, we have
\begin{align*}
|G|=\frac{|P_{11}P_{13}|}{|P_{11}\cap P_{13}|}=|P_{11}P_{13}|.
\end{align*}
This yields that $G=P_{11}P_{13}$.


In summary, we have

  • Sylow subgroups $P_{11}$ and $P_{13}$ are normal in $G$.
  • $P_{11}\cap P_{13}=\{e\}$.
  • $G=P_{11}P_{13}$.

These implies that $G$ is the direct product of $P_{11}$ and $P_{13}$:
\[G=P_{11}\times P_{13}.\]


Recall that every group of order $p^2$ for some prime number $p$ is an abelian group.
Thus, $P_{11}$ and $P_{13}$ are both abelian group.
Since the direct product of abelian groups is abelian, we conclude that the group $G=P_{11}\times P_{13}$ is abelian.


LoadingAdd to solve later

More from my site

  • Prove that a Group of Order 217 is Cyclic and Find the Number of GeneratorsProve that a Group of Order 217 is Cyclic and Find the Number of Generators Let $G$ be a finite group of order $217$. (a) Prove that $G$ is a cyclic group. (b) Determine the number of generators of the group $G$.     Sylow's Theorem We will use Sylow's theorem to prove part (a). For a review of Sylow's theorem, check out the […]
  • 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 […]
  • A Group of Order $20$ is SolvableA Group of Order $20$ is Solvable Prove that a group of order $20$ is solvable.   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 […]
  • 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 […]
  • 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, […]
  • Surjective Group Homomorphism to $\Z$ and Direct Product of Abelian GroupsSurjective Group Homomorphism to $\Z$ and Direct Product of Abelian Groups Let $G$ be an abelian group and let $f: G\to \Z$ be a surjective group homomorphism. Prove that we have an isomorphism of groups: \[G \cong \ker(f)\times \Z.\]   Proof. Since $f:G\to \Z$ is surjective, there exists an element $a\in G$ such […]
  • If the Order is an Even Perfect Number, then a Group is not SimpleIf the Order is an Even Perfect Number, then a Group is not Simple (a) Show that if a group $G$ has the following order, then it is not simple. $28$ $496$ $8128$ (b) Show that if the order of a group $G$ is equal to an even perfect number then the group is not simple. Hint. Use Sylow's theorem. (See the post Sylow’s Theorem […]
  • Every Group of Order 12 Has a Normal Subgroup of Order 3 or 4Every Group of Order 12 Has a Normal Subgroup of Order 3 or 4 Let $G$ be a group of order $12$. Prove that $G$ has a normal subgroup of order $3$ or $4$.   Hint. Use Sylow's theorem. (See Sylow’s Theorem (Summary) for a review of Sylow's theorem.) Recall that if there is a unique Sylow $p$-subgroup in a group $GH$, then it is […]

You may also like...

1 Response

  1. 06/20/2017

    […] Every Group of Order 20449 is an Abelian Group […]

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 Group of Rational Numbers is Not Finitely Generated

(a) Prove that the additive group $\Q=(\Q, +)$ of rational numbers is not finitely generated. (b) Prove that the multiplicative...

Close