Apa itu equivalence?

Dua matriks $B, C \in M_{n,k}(A)$ disebut ekuivalen jika $C = QBP$ dengan $Q \in GL_n(A)$, $P \in GL_k(A)$ (yang terbalikkan atas $A$: determinannya di $A^\times$). Matriks penyajian yang ekuivalen mendefinisikan modul $A^n/ \operatorname{im}$ yang isomorfik (ganti basis di $A^n$ dan $A^k$).