Kommutative Algebra/Modultheorie/Homomorphismus/Isomorphismus/Endomorphismus/Automorphismus/Definition

Aus Wikiversity
Modulhomomorphismus

Es sei ein kommutativer Ring und , zwei -Moduln. Eine Abbildung heißt -(Modul-)homomorphismus, wenn folgende beiden Eigenschaften erfüllt sind.

  1. für alle .
  2. für alle und .

Ein Modulhomomorphismus wird manchmal auch lineare Abbildung genannt.

Ein bijektiver Modulhomomorphismus heißt (Modul-)isomorphismus.

Wenn ist, dann heißt ein (Modul-)endomorphismus, oder linearer Operator, im bijektiven Fall auch (Modul-)automorphismus.