Definition:Generator of Ideal of Ring

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a commutative ring.

Let $I \subset R$ be an ideal.

Let $S \subset I$ be a subset.


Then $S$ is a generator of $I$ if and only if $I$ is the ideal generated by $S$.


Also see


Generalizations