A non-hopfian group

Posted: December 13, 2010 in Elementary Algebra; Problems & Solutions, Groups and Fields

Definition. A group is called hopfian if every surjective homomorphism G \longrightarrow G is an isomorphism. Clearly every finite group is hopfian.

Problem. Prove that G = \langle x,y: \ y^{-1}x^2y=x^3 \rangle is not hopfian.

Solution. Define f: G \longrightarrow G by f(x)=x^2 and f(y)=y and extend it to G homomorphically. Note that G is well-defined because


We also have f(y^{-1}xyx^{-1})=x and so f is surjective. To prove that f is not an isomorphism, let z=y^{-1}xy. Then xz \neq zx but f(xz)=f(zx)=x^5. \ \Box


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s