Atlas/Algebra/Ring theory and algebraic geometry
1/4
An ideal I ⊆ R is an additive subgroup with R·I ⊆ I. You can still multiply, then fall back in.