\begin{definition}[Definition:Finitely Generated Algebra]
Let $A$ be a commutative ring.
Let $B$ be an $A$-algebra.
Then $B$ is '''finitely generated''' {{iff}} $B$ has a generator which is finite.
Category:Definitions/Algebras
\end{definition}