## [Nicht-Hopfianisches Objekt](/de/node/64017) Definition Ein Objekt in einer Kategorie (häufig Modul, Gruppe oder algebraische Struktur), das einen surjektiven Endomorphismus besitzt, der kein Isomorphismus ist; mit anderen Worten: Surjektivität eines Endomorphismus impliziert für dieses Objekt nicht die Invertierbarkeit. ## Prinzip Prinzip Hopfianische Objekte erfüllen, dass jeder surjektive Endomorphismus injektiv (und damit ein Automorphismus) ist; nicht-Hopfianische Beispiele entstehen, wenn das Objekt einen Quotienten besitzt, der über eine nichttriviale Surjektion isomorph zu ihm ist, typischerweise verbunden mit unendlicher oder teilbarer Struktur. ## Demonstration Demonstration Illustratives Beispiel: ein Vektorraum mit abzählbarer Basis besitzt eine lineare Surjektion, die nicht injektiv ist (Schiebemap, die Basisvektor e1 auf 0 und en+1 auf en abbildet), und ist damit als Objekt der Kategorie der Vektorräume nicht-Hopfianisch; ebenso liefern bestimmte unendliche Gruppen oder Module mit Selbstquotienten klassische nicht-Hopfianische Instanzen. ## Fehlanwendung Fehlanwendung Die Behauptung nicht-Hopfianischen Verhaltens für Objekte, die endlich oder mit Kettenbedingungen versehen sind (z. B. endlich erzeugte Module über noetherschen Ringen), ist fehlanwendend, da solche Finitheitshypothesen in der Regel Hopfianität erzwingen. ## Konsequenz Konsequenz Ist ein Objekt nicht-Hopfianisch, so versagen Argumente, die aus Surjektivität Isomorphie folgern; dies betrifft Aussagen über Invarianten unter Quotienten, autoregressive Konstruktionen und kann das naive Übertragen von Finitätseigenschaften entlang von Surjektionen verhindern. ## Umkehrung Umkehrung Die Umkehr ist Hopfianität: Jeder surjektive Endomorphismus ist ein Automorphismus, eine Eigenschaft, die oft durch Finitheitsbedingungen wie endliche Erzeugung über noetherschen Ringen oder endliche Länge gewährleistet wird. ## Abgrenzung Abgrenzung Geltungsbereich und Ausschlüsse: Nicht-Hopfianisch bezieht sich auf die Existenz eines surjektiven nicht-invertierbaren Endomorphismus und ist abhängig von der umgebenden Kategorie und Finitheitshypothesen; es trifft keine Aussage über injektive Abbildungen, die dem co-Hopfianischen Begriff zuzuordnen sind. ## Semantische Spannung Semantische Spannung Die Spannung liegt zwischen Finitheitshypothesen (die zur Hopfianität neigen) und Konstruktionen, die unendliche Selbstähnlichkeit ausnutzen (die nicht-Hopfianische Beispiele erzeugen); das Vermischen dieser Kontexte führt zu falschen Verallgemeinerungen. ## Synthese Synthese Ein nicht-Hopfianisches Objekt belegt konkret das Versagen, Surjektivität in Invertierbarkeit umzuwandeln: Es besitzt eine surjektive Selbstabbildung mit nichttrivialem Kern, ein typisches Phänomen unendlicher oder selbstähnlicher Strukturen, das unter üblichen Finitheitshypothesen ausgeschlossen ist.