補空間の定義は(体上でなく環で考えれば)そのまま加群に対しても一般化することができるが、環上の加群の部分加群に対しては常に相補部分加群(補加群)が存在するとはもはや言えなくなる。