可換環と加群

ってのがあった

群の定義から入ってたよ