Comaximal ideals (source code)

= Comaximal ideals

Ideals $I$ and $J$ are comaximal when $I+J=R$.