Linear Algebra over a Ring/Direct product, direct sum and tensor product