くっそー、桂代数学II環と加群の単因子のところ間違ってるじゃねーか
悩んだぜ