加群
線形代数を一般化したもの