Hopfian group

In mathematics, a Hopfian group is a group G for which every epimorphism

G G

is an isomorphism. Equivalently, a group is Hopfian if and only if it is not isomorphic to any of its proper quotients. A group G is co-Hopfian if every monomorphism

G G

is an isomorphism. Equivalently, G is not isomorphic to any of its proper subgroups.

Examples of Hopfian groups

Examples of non-Hopfian groups

Properties

It was shown by Collins (1969) that it is an undecidable problem to determine, given a finite presentation of a group, whether the group is Hopfian. Unlike the undecidability of many properties of groups this is not a consequence of the Adian-Rabin theorem, because Hopficity is not a Markov property, as was shown by Miller & Schupp (1971).


References

External links


This article is issued from Wikipedia - version of the Saturday, August 29, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.