linear algebra over commutative rings