Category: Group Theory

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

 
Read solution

LoadingAdd to solve later

The Additive Group $\R$ is Isomorphic to the Multiplicative Group $\R^{+}$ by Exponent Function

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

 
Read solution

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

 
Read solution

LoadingAdd to solve later

The Center of the Heisenberg Group Over a Field $F$ is Isomorphic to the Additive Group $F$

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

 
Read solution

LoadingAdd to solve later