Mathematics · Glossary

What is equivalence?

Definition 3.7 University Mathematics — Year 3 · Chapter 3 — Modules over a Principal Ideal Domain

Two matrices B,CMn,k(A)B, C \in M_{n,k}(A) are equivalent if C=QBPC = QBP with QGLn(A)Q \in GL_n(A), PGLk(A)P \in GL_k(A) (invertible over AA: determinant in A×A^\times). Equivalent presentation matrices define isomorphic modules An/imA^n/ \operatorname{im} (change bases in AnA^n and AkA^k).

Read in context →