Non-Hopfian Object

- Pure Mathematics -
Algebra Dictionary
Definition
An object in a category (commonly a module, group, or algebraic structure) admitting a surjective endomorphism that is not an isomorphism; equivalently, surjectivity of an endomorphism does not imply invertibility for that object.