En matemáticas , un grupo hopfiano es un grupo G para el cual todo epimorfismo
es un isomorfismo . De manera equivalente, un grupo es hopfiano si y sólo si no es isomorfo a ninguno de sus cocientes propios . [1]
Un grupo G es co-hopfiano si todo monomorfismo
es un isomorfismo. De manera equivalente, G no es isomorfo a ninguno de sus subgrupos propios .
Collins (1969) demostró que es un problema indecidible determinar, dada una presentación finita de un grupo, si el grupo es hopfiano. A diferencia de la indecidibilidad de muchas propiedades de grupos, esto no es una consecuencia del teorema de Adian-Rabin , porque Hopficicity no es una propiedad de Markov , como lo demostraron Miller y Schupp (1971).
Un grupo G es no hopfiano si existe 1 ≠ N ◃ G tal que G/N ≅ G
Esto se debe a que (
R
,+) no tiene torsión y es divisible y, por lo tanto, es un
espacio vectorial
Q.
Entonces, dado que todo espacio vectorial tiene una base, según el axioma de elección, es isomorfo a la suma directa de copias de (
Q
,+) indexadas por un conjunto de cardinalidad continua. Esto deja clara la propiedad hopfiana.