Finite algebra
From Wikipedia, the free encyclopedia
In abstract algebra, an associative algebra over a ring is called finite if it is finitely generated as an -module. An -algebra can be thought as a homomorphism of rings , in this case is called a finite morphism if is a finite -algebra.[1]
![]() | This article may be too technical for most readers to understand. (January 2020) |
Being a finite algebra is a stronger condition than being an algebra of finite type.
Finite morphisms in algebraic geometry
Summarize
Perspective
This concept is closely related to that of finite morphism in algebraic geometry; in the simplest case of affine varieties, given two affine varieties , and a dominant regular map , the induced homomorphism of -algebras defined by turns into a -algebra:
- is a finite morphism of affine varieties if is a finite morphism of -algebras.[2]
The generalisation to schemes can be found in the article on finite morphisms.
References
See also
Wikiwand - on
Seamless Wikipedia browsing. On steroids.