Benutzer:Hesmucet/epimorphismus

aus Wikipedia, der freien Enzyklopädie

Epimorphismus

Satz Für ein sind äquivalent:

  1. Die Abbildung ist surjektiv.
  2. ist rechts kürzbar. Das heißt für alle Moduln und alle gilt: .
  3. . Dabei ist der Faktormodul von N modulo f(M).

Ein Homomorphismus, welcher die Eigenschaften des Satzes erfüllt heißt Epimorphismus. Die zweite Eigenschaft des Satzes besagt, dass der Homomorphismus im Sinne der Kategorientheorie ein Epimorphismus ist.

Beispiele

  1. Die Identität ist ein Epimorphismus.
  2. Ist ein Integritätsring und sein Quotientenkörper, so ist jeder Homomorphismus ein Monomorphismus und ein Epimorphismus.
  3. Es sei p eine Primzahl und der kleinste Unterring der rationalen Zahlen, der enthält. Ist , so ist jeder Endomorphismus von ungleich der Nullabbildung ein Epimorphismus. Aber die Multiplikation mit p ist kein Monomorphismus.

Eigenschaften

  1. Die Verkettung von Epimorphismen ist ein Epimorphismus.
  2. Ist und ein Epimorphimus, so ist ein Epimorphsmus und es ist .