Generating set of an ideal (source code)

= Generating set of an ideal

= Generating sets of an ideal
{synonym}

A set $S\subseteq I$ generates an ideal $I$ when every element of $I$ is a finite sum of ring multiples of elements of $S$.