Unit ideal (source code)

= Unit ideal
{title2=$(1)=R$}

The whole <ring> $R$, viewed as an <ideal>. Elements $f_1,\dots,f_r$ generate the <unit ideal> exactly when coefficients $g_i\in R$ give $\sum_i g_if_i=1$.