Objet d'une catégorie (généralement un module, un groupe ou une structure algébrique) admettant un endomorphisme surjectif qui n'est pas un isomorphisme ; en d'autres termes, la surjectivité d'un endomorphisme n'implique pas l'inversibilité pour cet objet.

Principe

Les objets hopfiens satisfont que tout endomorphisme surjectif est injectif (et donc un automorphisme) ; les exemples non-hopfiens surviennent lorsque l'objet admet un quotient isomorphe à lui‑même par une surjection non triviale, typiquement lié à une structure infinie ou divisible.

Démonstration

Exemple illustratif : un espace vectoriel à base dénombrable admet une application linéaire surjective non injective (opérateur de décalage envoyant e1 sur 0 et en+1 sur en), il est donc non-hopfien en tant qu'objet de la catégorie des espaces vectoriels ; de même certaines familles de groupes ou de modules infinis construits par auto-quotients fournissent des exemples classiques non-hopfiens.

Mauvaise application

Prétendre un comportement non-hopfien pour des objets finis ou satisfaisant des conditions de chaîne (par exemple des modules de type fini sur des anneaux noethériens) est une mauvaise application, car de telles hypothèses de finitude imposent en général la propriété hopfienne.

Conséquence

Quand un objet est non-hopfien, les raisonnements qui déduisent un isomorphisme à partir de la surjectivité échouent ; cela affecte les considérations sur les invariants sous quotients, les constructions autoregressives et peut empêcher de transférer naïvement des propriétés de finitude le long de surjections.

Inversion

La notion inverse est hopfienne : tout endomorphisme surjectif est un automorphisme, propriété souvent garantie par des conditions de finitude comme la génération finie sur des anneaux noethériens ou la longueur finie.

Limite

Portée et exclusions : non-hopfien signifie existence d'un endomorphisme surjectif non inversible et dépend du cadre catégorique et des hypothèses de finitude ; cela ne dit rien sur les applications injectives, qui relèvent de la notion de co-hopfien.

Tension sémantique

La tension est entre les hypothèses de finitude (qui tendent à assurer l'hopfianité) et les constructions exploitant l'auto-similarité infinie (qui produisent des exemples non-hopfiens) ; confondre les contextes conduit à des généralisations incorrectes.

Synthèse

Un objet non-hopfien illustre concrètement l'échec de la surjectivité à impliquer l'inversibilité : il admet une auto-application surjective avec noyau non trivial, phénomène typique des structures infinies ou auto-similaires et exclu sous les hypothèses usuelles de finitude.