Definition:Finite Algebra over Ring

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a commutative ring with unity.

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


Then $B$ is finite over $A$ if and only if its underlying module is finitely generated.


Also see


Special case


Sources