Objet d'une catégorie qui admet un endomorphisme injectif qui n'est pas un isomorphisme ; en d'autres termes, l'injectivité d'un endomorphisme n'implique pas l'inversibilité pour cet objet.

Principe

Les objets co-hopfiens satisfont que tout endomorphisme injectif est un automorphisme ; les exemples non-co-hopfiens surviennent lorsque l'objet s'embed proprement dans un sous-objet propre isomorphe à lui‑même, souvent lié à une extensibilité infinie ou à des embeddings auto‑similaires.

Démonstration

Exemple illustratif : un espace vectoriel à base dénombrable admet une application linéaire injective non surjective (décalage à droite envoyant en sur en+1), il est donc non-co-hopfien comme objet des espaces vectoriels ; de même certains modules ou groupes infinis admettent des auto-embeddings propres produisant un comportement non-co-hopfien.

Mauvaise application

Déclarer une défaillance co-hopfienne dans des contextes finis ou satisfaisant des conditions de chaîne (par exemple modules de longueur finie ou modules de type fini sur des anneaux artiniens) est généralement une erreur, car de telles conditions impliquent souvent la co-hopfianité.

Conséquence

Quand un objet est non-co-hopfien, on ne peut pas conclure l'inversibilité à partir de l'injectivité ; cela affecte les arguments sur la rigidité des sous-objets, les chaînes ascendantes d'embeddings et les décompositions structurelles qui s'appuient sur le fait que les embeddings sont des automorphismes.

Inversion

L'inverse est co-hopfien : tout endomorphisme injectif est un automorphisme, propriété fréquemment assurée par des conditions de chaîne descendante ou de longueur finie.

Limite

Portée et exclusions : non-co-hopfien concerne l'existence d'endomorphismes injectifs non inversibles et dépend du cadre catégorique et des propriétés de finitude ; cela n'aborde pas les applications surjectives (concept hopfien) et exclut en général les contextes finis rigides.

Tension sémantique

La tension apparaît entre la rigidité imposée par les conditions de finitude et la flexibilité permise par les auto-embeddings infinis ; confondre ces aspects conduit à un usage erroné des arguments fondés sur les embeddings.

Synthèse

Un objet non-co-hopfien montre explicitement que les auto-applications injectives ne sont pas nécessairement invertibles : il admet un auto-embedding propre, phénomène fréquent dans les structures infinies ou auto-similaires et exclu sous les hypothèses usuelles de finitude ou de conditions de chaîne.