The sum of two ideals of a ring isIt 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!