Tagged: group theory

The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements

Problem 497

Let $G$ be an abelian group.
Let $a$ and $b$ be elements in $G$ of order $m$ and $n$, respectively.
Prove that there exists an element $c$ in $G$ such that the order of $c$ is the least common multiple of $m$ and $n$.

Also determine whether the statement is true if $G$ is a non-abelian group.

 

Read solution

FavoriteLoadingAdd to solve later

A Group Homomorphism that Factors though Another Group

Problem 490

Let $G, H, K$ be groups. Let $f:G\to K$ be a group homomorphism and let $\pi:G\to H$ be a surjective group homomorphism such that the kernel of $\pi$ is included in the kernel of $f$: $\ker(\pi) \subset \ker(f)$.

Define a map $\tilde{f}:H\to K$ as follows.
For each $h\in H$, there exists $g\in G$ such that $\pi(g)=h$ since $\pi:G\to H$ is surjective.
Define $\tilde{f}:H\to K$ by $\tilde{f}(h)=f(g)$.

(a) Prove that the map $\tilde{f}:H\to K$ is well-defined.

(b) Prove that $\tilde{f}:H\to K$ is a group homomorphism.

 

Read solution

FavoriteLoadingAdd to solve later

The Order of a Conjugacy Class Divides the Order of the Group

Problem 455

Let $G$ be a finite group.
The centralizer of an element $a$ of $G$ is defined to be
\[C_G(a)=\{g\in G \mid ga=ag\}.\]

A conjugacy class is a set of the form
\[\Cl(a)=\{bab^{-1} \mid b\in G\}\] for some $a\in G$.


(a) Prove that the centralizer of an element of $a$ in $G$ is a subgroup of the group $G$.

(b) Prove that the order (the number of elements) of every conjugacy class in $G$ divides the order of the group $G$.

 

Read solution

FavoriteLoadingAdd to solve later