Not a Hopfian group
Not a Hopfian group
Definition: A group is called hopfian if every surjective homomorphism $f: \mathcal{G} \rightarrow \mathcal{G}$ is an isomorphism. Clearly every finite group is hopfian.
Problem:
Prove that
\[\mathcal{G} = \langle x, y: y^{-1} x^2 y = x^3 \rangle\]
is not hopfian.
Problem:
Prove that
\[\mathcal{G} = \langle x, y: y^{-1} x^2 y = x^3 \rangle\]
is not hopfian.
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
Re: Not a Hopfian group
Well, we define $f:\mathcal{G} \rightarrow \mathcal{G}$ by $f(x)=x^2$ and $f(y)=y$ and extend it to $\mathcal{G}$ homomorphically. Since $\mathcal{G}$ is well defined then $f$ is a surjective because
$$f\left ( y^{-1} xy x^{-1} \right ) = x$$
but not an isomorphism because if we take $z=y^{-1} x y$ then we note that $xz \neq z x $ but
$$f\left ( xz \right ) = f \left ( zx \right ) = x^5$$
$$f\left ( y^{-1} xy x^{-1} \right ) = x$$
but not an isomorphism because if we take $z=y^{-1} x y$ then we note that $xz \neq z x $ but
$$f\left ( xz \right ) = f \left ( zx \right ) = x^5$$
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 1 guest