# Category: Group Theory

## 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

## Problem 326

Prove that if $G$ is a finite group of even order, then the number of elements of $G$ of order $2$ is odd.

## Problem 325

Let $G$ be a group and define a map $f:G\to G$ by $f(a)=a^2$ for each $a\in G$.
Then prove that $G$ is an abelian group if and only if the map $f$ is a group homomorphism.

## Problem 322

Let $\R=(\R, +)$ be the additive group of real numbers and let $\R^{\times}=(\R\setminus\{0\}, \cdot)$ be the multiplicative group of real numbers.

(a) Prove that the map $\exp:\R \to \R^{\times}$ defined by
$\exp(x)=e^x$ is an injective group homomorphism.

(b) Prove that the additive group $\R$ is isomorphic to the multiplicative group
$\R^{+}=\{x \in \R \mid x > 0\}.$

## 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.

## Problem 306

Let $G$ be a group with identity element $e$.
Suppose that for any non identity elements $a, b, c$ of $G$ we have
$abc=cba. \tag{*}$ Then prove that $G$ is an abelian group.

## 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$.

## Problem 291

Let $G$ be a finite group. Let $a, b$ be elements of $G$.

Prove that the order of $ab$ is equal to the order of $ba$.
(Of course do not assume that $G$ is an abelian group.)

## 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.

## Problem 286

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

## Problem 283

Let $F$ be a field and let
$H(F)=\left\{\, \begin{bmatrix} 1 & a & b \\ 0 &1 &c \\ 0 & 0 & 1 \end{bmatrix} \quad \middle| \quad \text{ for any} a,b,c\in F\, \right\}$ be the Heisenberg group over $F$.
(The group operation of the Heisenberg group is matrix multiplication.)

Determine which matrices lie in the center of $H(F)$ and prove that the center $Z\big(H(F)\big)$ is isomorphic to the additive group $F$.

## Problem 278

Prove that any $p$-Sylow subgroup of a group $G$ of order $33$ is a normal subgroup of $G$.

## Problem 268

Let $G$ be a group with the identity element $e$ and suppose that we have a group homomorphism $\phi$ from the direct product $G \times G$ to $G$ satisfying
$\phi(e, g)=g \text{ and } \phi(g, e)=g, \tag{*}$ for any $g\in G$.

Let $\mu: G\times G \to G$ be a map defined by
$\mu(g, h)=gh.$ (That is, $\mu$ is the group operation on $G$.)

Then prove that $\phi=\mu$.
Also prove that the group $G$ is abelian.

## 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$.

## 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.

## 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$.

## 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.

## Problem 240

A nontrivial abelian group $A$ is called divisible if for each element $a\in A$ and each nonzero integer $k$, there is an element $x \in A$ such that $x^k=a$.
(Here the group operation of $A$ is written multiplicatively. In additive notation, the equation is written as $kx=a$.) That is, $A$ is divisible if each element has a $k$-th root in $A$.

(a) Prove that the additive group of rational numbers $\Q$ is divisible.

(b) Prove that no finite abelian group is divisible.

## 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$.

## Problem 227

Suppose that $G$ is a finite group of order $p^an$, where $p$ is a prime number and $p$ does not divide $n$.
Let $N$ be a normal subgroup of $G$ such that the index $|G: N|$ is relatively prime to $p$.

Then show that $N$ contains all $p$-Sylow subgroups of $G$.