Integral ideal
= Integral ideal
An integral ideal is a <fractional ideal> of an <integral domain> $A$ that is contained in $A$. For a <number field>, take $A$ to be its <ring of integers> $\mathcal O_K$.
= Integral ideal
An integral ideal is a <fractional ideal> of an <integral domain> $A$ that is contained in $A$. For a <number field>, take $A$ to be its <ring of integers> $\mathcal O_K$.