Non-Abelian Simple Group is Equal to its Commutator Subgroup

Group Theory Problems and Solutions

Problem 149

Let $G$ be a non-abelian simple group. Let $D(G)=[G,G]$ be the commutator subgroup of $G$. Show that $G=D(G)$.
 
LoadingAdd to solve later

Definitions/Hint.

We first recall relevant definitions.

  • A group is called simple if its normal subgroups are either the trivial subgroup or the group itself.
  • The commutator subgroup $D(G)=[G,G]$ is a subgroup of $G$ generated by all commutators $[a,b]=a^{-1}b^{-1}ab$ for $a,b\in G$.

The commutator subgroup $D(G)=[G,G]$ is a normal subgroup of $G$.
For a proof, see: A condition that a commutator group is a normal subgroup.

Proof.

Note that the commutator subgroup $D(G)$ is a normal subgroup.
Since $G$ is simple, any normal subgroup of $G$ is either the trivial group $\{e\}$ or $G$ itself. Thus we have either $D(G)=\{e\}$ or $D(G)=G$.
If $D(G)=\{e\}$, then for any two elements $a,b \in G$ the commutator $[a,b]\in D(G)=\{e\}$.

Thus we have
\[a^{-1}b^{-1}ab=[a,b]=e.\] Therefore we have $ab=ba$ for any $a,b\in G$. This means that the group $G$ is abelian, which contradicts with the assumption that $G$ is non-abelian.
Therefore, we must have $D(G)=G$ as required.


LoadingAdd to solve later

Sponsored Links

More from my site

  • 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 […]
  • Commutator Subgroup and Abelian Quotient GroupCommutator Subgroup and Abelian Quotient Group Let $G$ be a group and let $D(G)=[G,G]$ be the commutator subgroup of $G$. Let $N$ be a subgroup of $G$. Prove that the subgroup $N$ is normal in $G$ and $G/N$ is an abelian group if and only if $N \supset D(G)$.   Definitions. Recall that for any $a, b \in G$, the […]
  • Two Quotients Groups are Abelian then Intersection Quotient is AbelianTwo Quotients Groups are Abelian then Intersection Quotient is Abelian Let $K, N$ be normal subgroups of a group $G$. Suppose that the quotient groups $G/K$ and $G/N$ are both abelian groups. Then show that the group \[G/(K \cap N)\] is also an abelian group.   Hint. We use the following fact to prove the problem. Lemma: For a […]
  • A Condition that a Commutator Group is a Normal SubgroupA Condition that a Commutator Group is a Normal Subgroup Let $H$ be a normal subgroup of a group $G$. Then show that $N:=[H, G]$ is a subgroup of $H$ and $N \triangleleft G$. Here $[H, G]$ is a subgroup of $G$ generated by commutators $[h,k]:=hkh^{-1}k^{-1}$. In particular, the commutator subgroup $[G, G]$ is a normal subgroup of […]
  • Group Generated by Commutators of Two Normal Subgroups is a Normal SubgroupGroup Generated by Commutators of Two Normal Subgroups is a Normal Subgroup 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 […]
  • 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 […]
  • The Index of the Center of a Non-Abelian $p$-Group is Divisible by $p^2$The Index of the Center of a Non-Abelian $p$-Group is Divisible by $p^2$ Let $p$ be a prime number. Let $G$ be a non-abelian $p$-group. Show that the index of the center of $G$ is divisible by $p^2$. Proof. Suppose the order of the group $G$ is $p^a$, for some $a \in \Z$. Let $Z(G)$ be the center of $G$. Since $Z(G)$ is a subgroup of $G$, the order […]
  • Abelian Normal Subgroup, Intersection, and Product of GroupsAbelian Normal Subgroup, Intersection, and Product of Groups Let $G$ be a group and let $A$ be an abelian subgroup of $G$ with $A \triangleleft G$. (That is, $A$ is a normal subgroup of $G$.) If $B$ is any subgroup of $G$, then show that \[A \cap B \triangleleft AB.\]   Proof. First of all, since $A \triangleleft G$, the […]

You may also like...

1 Response

  1. 10/18/2016

    […] Non-abelian simple group is equal to its commutator subgroup […]

Leave a Reply

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

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Group Theory
Abelian Group problems and solutions
Two Quotients Groups are Abelian then Intersection Quotient is Abelian

Let $K, N$ be normal subgroups of a group $G$. Suppose that the quotient groups $G/K$ and $G/N$ are both...

Close