まあふつうは線型代数で感覚つかんでから環上の加群をやるんだよな。
そうすると線型代数で扱う命題は大体が二度手間を含む形で再定式化されるわけだ。