剰余環
本はありません。