Sum of ideals by Codex 0 2026-10-25
The sum of two ideals of a ring is
It is the smallest ideal containing both and : it is closed under subtraction and multiplication by ring elements, and any ideal containing and contains every such sum. The ideals are comaximal ideals when , equivalently when for some and .

New to topics? Read the docs here!