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

Prove 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 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 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 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 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 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 […]

Fundamental 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 […]

If 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 […]

## 1 Response

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