# Tagged: group operation

## Problem 402

Let $G$ be a group. Suppose that we have
$(ab)^3=a^3b^3$ for any elements $a, b$ in $G$. Also suppose that $G$ has no elements of order $3$.

Then prove that $G$ is an abelian group.

## Problem 401

Let $G$ be a group. Suppose that
$(ab)^2=a^2b^2$ for any elements $a, b$ in $G$. Prove that $G$ is an abelian group.

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

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

Let $G$ be a group. Suppose that the order of nonidentity element of $G$ is $2$.
Then show that $G$ is an abelian group.

## Problem 160

Let $G$ be a finite group and let $H$ be a subset of $G$ such that for any $a,b \in H$, $ab\in H$.

Then show that $H$ is a subgroup of $G$.