環上の加群とは、環が群自己準同型として作用するアーベル群であり、体(零元以外の元が全て逆元を持つような整域)がベクトル空間に作用するのと非常によく似た代数的構造になっている。