Objeto en una categoría que admite un endomorfismo inyectivo que no es un isomorfismo; equivalentemente, la inyectividad de un endomorfismo no implica invertibilidad para ese objeto.

Principio

Los objetos co-hopfianos verifican que todo endomorfismo inyectivo es un automorfismo; los ejemplos no-co-hopfianos aparecen cuando el objeto se embebe propiamente en un subobjeto propio isomorfo a sí mismo, a menudo ligado a extensibilidad infinita o auto-embebimientos auto-similares.

Demostración

Ejemplo ilustrativo: un espacio vectorial con base numerable admite una aplicación lineal inyectiva que no es suprayectiva (desplazamiento a la derecha que manda en a en+1), por lo que como objeto de espacios vectoriales es no-co-hopfiano; asimismo, ciertos módulos o grupos infinitos admiten auto-embebimientos propios que producen comportamiento no-co-hopfiano.

Aplicación incorrecta

Declarar un fallo co-hopfiano en contextos finitos o con condiciones de cadena (p. ej., módulos de longitud finita o módulos finitamente generados sobre anillos artinianos) suele ser erróneo, ya que tales condiciones suelen implicar co-hopfianidad.

Consecuencia

Cuando un objeto es no-co-hopfiano, no se puede deducir invertibilidad a partir de inyectividad; esto afecta a argumentos sobre la rigidez de subobjetos, cadenas ascendentes de embebimientos y descomposiciones estructurales que dependen de que los embebimientos sean automorfismos.

Inversión

La inversión es co-hopfiano: todo endomorfismo inyectivo es un automorfismo, propiedad comúnmente asegurada por condiciones de cadena descendente o hipótesis de longitud finita.

Límite

Ámbito y exclusiones: no-co-hopfiano concierne a la existencia de endomorfismos inyectivos no invertibles y depende del entorno categórico y de las propiedades de finitud; no aborda mapas suprayectivos (el concepto hopfiano) y típicamente excluye contextos finitos rígidos.

Tensión semántica

Surge tensión entre la rigidez impuesta por las condiciones de finitud y la flexibilidad permitida por los auto-embebimientos infinitos; confundir estos aspectos conduce a un uso erróneo de argumentos basados en embebimientos.

Síntesis

Un objeto no-co-hopfiano exhibe concretamente que las autoaplicaciones inyectivas no tienen por qué ser invertibles: admite un auto-embebimiento propio, fenómeno frecuente en estructuras infinitas o auto-similares y excluido bajo hipótesis estándar de finitud o de condiciones de cadena.