Group Homomorphism, Conjugate, Center, and Abelian group

Group Theory Problems and Solutions in Mathematics

Problem 209

Let $G$ be a group. We fix an element $x$ of $G$ and define a map
\[ \Psi_x: G\to G\] by mapping $g\in G$ to $xgx^{-1} \in G$.
Then prove the followings.
(a) The map $\Psi_x$ is a group homomorphism.

(b) The map $\Psi_x=\id$ if and only if $x\in Z(G)$, where $Z(G)$ is the center of the group $G$.

(c) The map $\Psi_y=\id$ for all $y\in G$ if and only if $G$ is an abelian group.

 
LoadingAdd to solve later

Proof.

(a) The map $\Psi_x$ is a group homomorphism

For any elements $g, h\in G$, we have
\begin{align*}
\Psi_x(gh)=x(gh)x^{-1}\stackrel{(*)}{=} xgx^{-1}xhx^{-1}=\Psi_x(g) \Psi_x(h),
\end{align*}
where we inserted the identity element $e=x^{-1}x$ between $g$ and $h$ to obtain (*).
Hence $\Psi_x$ is a group homomorphism.

(b) The map $\Psi_x=\id$ if and only if $x\in Z(G)$

$(\implies)$ Suppose that $\Psi_x=\id$. Then for any $g\in G$, we have
\begin{align*}
\Psi_x(g)=\id(g)
\end{align*}
and thus we have
\begin{align*}
xgx^{-1}=g.
\end{align*}
This implies that we have $xg=gx$ for all $g \in G$, and hence $x\in Z(G)$.


$(\impliedby)$ On the other hand, if $x$ is in the center $Z(G)$, then we have
\[\Psi_x(g)=xgx^{-1}=xx^{-1}g=g\] for any $g\in G$, where the second equality follows since $x \in Z(G)$.
This yields that $\Psi_x=\id$.

(c) The map $\Psi_y=\id$ for all $y\in G$ if and only if $G$ is an abelian group

$(\implies)$ Suppose that the map $\Psi_y=\id$ for all $y\in G$. Then by part (b), we have $y\in Z(G)$ for all $y\in G$. This means that we have $G=Z(G)$, and hence $G$ is an abelian group.


$(\impliedby)$ Now suppose that $G$ is an abelian group. Then for any $y\in G$ we have
\[\Psi_y(g)=ygy^{-1}=yy^{-1}g=g=\id(g)\] for any $g\in G$, where the second equality follows since $G$ is an abelian group.
Thus we have $\Psi_y=\id$ for any $y \in G$.


LoadingAdd to solve later

Sponsored Links

More from my site

  • Equivalent Definitions of Characteristic Subgroups. Center is Characteristic.Equivalent Definitions of Characteristic Subgroups. Center is Characteristic. 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 […]
  • Abelian Normal subgroup, Quotient Group, and Automorphism GroupAbelian Normal subgroup, Quotient Group, and Automorphism Group Let $G$ be a finite group and let $N$ be a normal abelian subgroup of $G$. Let $\Aut(N)$ be the group of automorphisms of $G$. Suppose that the orders of groups $G/N$ and $\Aut(N)$ are relatively prime. Then prove that $N$ is contained in the center of […]
  • The Index of the Center of a Non-Abelian $p$-Group is Divisible by $p^2$The Index of the Center of a Non-Abelian $p$-Group is Divisible by $p^2$ Let $p$ be a prime number. Let $G$ be a non-abelian $p$-group. Show that the index of the center of $G$ is divisible by $p^2$. Proof. Suppose the order of the group $G$ is $p^a$, for some $a \in \Z$. Let $Z(G)$ be the center of $G$. Since $Z(G)$ is a subgroup of $G$, the order […]
  • A Group Homomorphism and an Abelian GroupA Group Homomorphism and an Abelian Group Let $G$ be a group. Define a map $f:G \to G$ by sending each element $g \in G$ to its inverse $g^{-1} \in G$. Show that $G$ is an abelian group if and only if the map $f: G\to G$ is a group homomorphism.   Proof. $(\implies)$ If $G$ is an abelian group, then $f$ […]
  • A Homomorphism from the Additive Group of Integers to ItselfA Homomorphism from the Additive Group of Integers to Itself Let $\Z$ be the additive group of integers. Let $f: \Z \to \Z$ be a group homomorphism. Then show that there exists an integer $a$ such that \[f(n)=an\] for any integer $n$.   Hint. Let us first recall the definition of a group homomorphism. A group homomorphism from a […]
  • A Group is Abelian if and only if Squaring is a Group HomomorphismA Group is Abelian if and only if Squaring is a Group Homomorphism 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.   Proof. $(\implies)$ If $G$ is an abelian group, then $f$ is a homomorphism. Suppose that […]
  • Abelian Groups and Surjective Group HomomorphismAbelian Groups and Surjective Group Homomorphism Let $G, G'$ be groups. Suppose that we have a surjective group homomorphism $f:G\to G'$. Show that if $G$ is an abelian group, then so is $G'$.   Definitions. Recall the relevant definitions. A group homomorphism $f:G\to G'$ is a map from $G$ to $G'$ […]
  • Surjective Group Homomorphism to $\Z$ and Direct Product of Abelian GroupsSurjective Group Homomorphism to $\Z$ and Direct Product of Abelian Groups Let $G$ be an abelian group and let $f: G\to \Z$ be a surjective group homomorphism. Prove that we have an isomorphism of groups: \[G \cong \ker(f)\times \Z.\]   Proof. Since $f:G\to \Z$ is surjective, there exists an element $a\in G$ such […]

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Group Theory
Group Theory Problems and Solutions in Mathematics
Group Homomorphism, Preimage, and Product of Groups

Let $G, G'$ be groups and let $f:G \to G'$ be a group homomorphism. Put $N=\ker(f)$. Then show that we...

Close