環上の加群の理論を深くやるにはアーベル圏の理論が必要になる。
３度手間になるけどな。