0481132人目の素数さん垢版 | 大砲2020/03/26(木) 22:22:43.45ID:Je9OxnHe R: 可換環 I⊂Rがイデアルとは、 (1) a, b∈I ⇒ a + b∈I (2) a∈I ⇒ -a∈I (3) a∈I, r∈I ⇒ ra∈I が成り立つこと。 Abel群としての剰余群R/Iは可換環になる。 これを剰余環という。