Wat is equivalence?

Twee matrices $B, C \in M_{n,k}(A)$ heten equivalent als $C = QBP$ met $Q \in GL_n(A)$ en $P \in GL_k(A)$ (inverteerbaar over $A$: determinant in $A^\times$). Equivalente presentatiematrices definiëren isomorfe modulen $A^n/ \operatorname{im}$ (wissel van basis in $A^n$ en $A^k$).