Finite algebra
This article may be too technical for most readers to understand.(January 2020) |
An -algebra is 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]
The definition of finite algebra is related to that of algebras of finite type.
Finite morphisms in algebraic geometry[]
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[]
- ^ Atiyah, Michael Francis; MacDonald, Ian Grant (1994). Introduction to commutative algebra. CRC Press. p. 30. ISBN 9780201407518.
- ^ Perrin, Daniel (2008). Algebraic Geometry An Introduction. Springer. p. 82. ISBN 978-1-84800-056-8.
See also[]
- Finite morphism
- Finitely generated algebra
- Finitely generated module
Categories:
- Commutative algebra
- Algebraic geometry
- Algebras
- Algebra stubs