Linear algebra over commutative rings. (2020)