イデアル (環論)
以下簡単のため可換環でのみ考えることにして、非可換版の詳しい話は各項に譲る。
イデアルの重要性は、それが環準同型の核となることであり、また剰余環を定義することができることにある。異なる種類の剰余環が定義できると言うことに従って、様々な種類のイデアルが考えられる。