If There are 28 Elements of Order 5, How Many Subgroups of Order 5?
Problem 626
Let $G$ be a group. Suppose that the number of elements in $G$ of order $5$ is $28$.
Determine the number of distinct subgroups of $G$ of order $5$.
Add to solve later Tagged: subgroup
Add to solve later Union of Two Subgroups is Not a Group
Problem 625
Let $G$ be a group and let $H_1, H_2$ be subgroups of $G$ such that $H_1 \not \subset H_2$ and $H_2 \not \subset H_1$.
(a) Prove that the union $H_1 \cup H_2$ is never a subgroup in $G$.
(b) Prove that a group cannot be written as the union of two proper subgroups.
Add to solve later Normal Subgroup Whose Order is Relatively Prime to Its Index
Problem 621
Let $G$ be a finite group and let $N$ be a normal subgroup of $G$.
Suppose that the order $n$ of $N$ is relatively prime to the index $|G:N|=m$.
(a) Prove that $N=\{a\in G \mid a^n=e\}$.
(b) Prove that $N=\{b^m \mid b\in G\}$.
Add to solve later The Number of Elements Satisfying $g^5=e$ in a Finite Group is Odd
Problem 614
Let $G$ be a finite group. Let $S$ be the set of elements $g$ such that $g^5=e$, where $e$ is the identity element in the group $G$.
Prove that the number of elements in $S$ is odd.
Add to solve later The Normalizer of a Proper Subgroup of a Nilpotent Group is Strictly Bigger
Problem 523
Let $G$ be a nilpotent group and let $H$ be a proper subgroup of $G$.
Then prove that $H \subsetneq N_G(H)$, where $N_G(H)$ is the normalizer of $H$ in $G$.
Add to solve later Elements of Finite Order of an Abelian Group form a Subgroup
Problem 522
Let $G$ be an abelian group and let $H$ be the subset of $G$ consisting of all elements of $G$ of finite order. That is,
\[H=\{ a\in G \mid \text{the order of $a$ is finite}\}.\]
Prove that $H$ is a subgroup of $G$.
Add to solve later Example of Two Groups and a Subgroup of the Direct Product that is Not of the Form of Direct Product
Problem 467
Give an example of two groups $G$ and $H$ and a subgroup $K$ of the direct product $G\times H$ such that $K$ cannot be written as $K=G_1\times H_1$, where $G_1$ and $H_1$ are subgroups of $G$ and $H$, respectively.
Add to solve later The Product of a Subgroup and a Normal Subgroup is a Subgroup
Problem 448
Let $G$ be a group. Let $H$ be a subgroup of $G$ and let $N$ be a normal subgroup of $G$.
The product of $H$ and $N$ is defined to be the subset
\[H\cdot N=\{hn\in G\mid h \in H, n\in N\}.\]
Prove that the product $H\cdot N$ is a subgroup of $G$.
Add to solve later Quotient Group of Abelian Group is Abelian
Problem 340
Let $G$ be an abelian group and let $N$ be a normal subgroup of $G$.
Then prove that the quotient group $G/N$ is also an abelian group.
Add to solve later Special Linear Group is a Normal Subgroup of General Linear Group
Problem 332
Let $G=\GL(n, \R)$ be the general linear group of degree $n$, that is, the group of all $n\times n$ invertible matrices.
Consider the subset of $G$ defined by
\[\SL(n, \R)=\{X\in \GL(n,\R) \mid \det(X)=1\}.\]
Prove that $\SL(n, \R)$ is a subgroup of $G$. Furthermore, prove that $\SL(n,\R)$ is a normal subgroup of $G$.
The subgroup $\SL(n,\R)$ is called special linear group
Add to solve later Torsion Subgroup of an Abelian Group, Quotient is a Torsion-Free Abelian Group
Problem 307
Let $A$ be an abelian group and let $T(A)$ denote the set of elements of $A$ that have finite order.
(a) Prove that $T(A)$ is a subgroup of $A$.
(The subgroup $T(A)$ is called the torsion subgroup of the abelian group $A$ and elements of $T(A)$ are called torsion elements.)
(b) Prove that the quotient group $G=A/T(A)$ is a torsion-free abelian group. That is, the only element of $G$ that has finite order is the identity element.
Add to solve later Non-Abelian Group of Order $pq$ and its Sylow Subgroups
Problem 293
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$.
Add to solve later A Simple Abelian Group if and only if the Order is a Prime Number
Problem 290
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.
Add to solve later Sylow Subgroups of a Group of Order 33 is Normal Subgroups
Problem 278
Prove that any $p$-Sylow subgroup of a group $G$ of order $33$ is a normal subgroup of $G$.
Add to solve later Equivalent Definitions of Characteristic Subgroups. Center is Characteristic.
Problem 246
Let $H$ be a subgroup of a group $G$. We call $H$ characteristic in $G$ if for any automorphism $\sigma\in \Aut(G)$ of $G$, we have $\sigma(H)=H$.
(a) Prove that if $\sigma(H) \subset H$ for all $\sigma \in \Aut(G)$, then $H$ is characteristic in $G$.
(b) Prove that the center $Z(G)$ of $G$ is characteristic in $G$.
Add to solve later Group of Order $pq$ Has a Normal Sylow Subgroup and Solvable
Problem 245
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.
Add to solve later Pullback Group of Two Group Homomorphisms into a Group
Problem 244
Let $G_1, G_1$, and $H$ be groups. Let $f_1: G_1 \to H$ and $f_2: G_2 \to H$ be group homomorphisms.
Define the subset $M$ of $G_1 \times G_2$ to be
\[M=\{(a_1, a_2) \in G_1\times G_2 \mid f_1(a_1)=f_2(a_2)\}.\]
Prove that $M$ is a subgroup of $G_1 \times G_2$.
Add to solve later A Group Homomorphism is Injective if and only if Monic
Problem 243
Let $f:G\to G’$ be a group homomorphism. We say that $f$ is monic whenever we have $fg_1=fg_2$, where $g_1:K\to G$ and $g_2:K \to G$ are group homomorphisms for some group $K$, we have $g_1=g_2$.
Then prove that a group homomorphism $f: G \to G’$ is injective if and only if it is monic.
Add to solve later Subgroup of Finite Index Contains a Normal Subgroup of Finite Index
Problem 232
Let $G$ be a group and let $H$ be a subgroup of finite index. Then show that there exists a normal subgroup $N$ of $G$ such that $N$ is of finite index in $G$ and $N\subset H$.
Add to solve later 
