# Definition:Coprime Ideals

Jump to navigation
Jump to search

## Definition

Let $A$ be a commutative ring with unity.

Let $I, J \subseteq A$ be ideals.

Then $I$ and $J$ are **coprime** if and only if their sum is the unit ideal:

- $I + J = A$.

## Also see

- Results about
**coprime ideals**can be found here.