Definition:Generator of Ring Extension
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$.