Definition:Finitely Generated Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a commutative ring.

Let $B$ be an $A$-algebra.


Then $B$ is finitely generated if and only if $B$ has a generator which is finite.


Sources