Top Qs
Timeline
Chat
Perspective
Finite algebra
From Wikipedia, the free encyclopedia
Remove ads
Remove ads
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.
Remove ads
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.
Remove ads
References
See also
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads