Definition:Coprime Ideals

From ProofWiki
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.