>>204
なんか定義見返してたら違ってるっぽい?
加法群と加群が合体してる感じ?