Kommutative Algebra/Modultheorie/Präsentierungsmatrix/Definition

Präsentierungsmatrix

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein endlicher ${}R$-Modul. Eine ${}m\times n$-Matrix ${}P$, für die gilt

$M\cong R^{m}/(PR^{n}),$

heißt

Präsentierungsmatrix von ${}M$.