Definition:Generator of Ring Extension

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f : A \to B$ be a ring extension of commutative rings with unity.

Let $S \subset B$ be a subset.


Then $S$ is a generator of $B$ over $A$ if and only if $B$ is the ring extension generated by $S$.


Also see