Finite algebra
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.
gollark: Oh, like sudo with the insults setting on, but hidden somehow.
gollark: See, I would be smart about it, and write a script to just do one order a second for several hours.
gollark: Something something I D E M P O T E N C E.
gollark: If the SYSTEM™ says no, it should mean you have not been charged and nothing happens.
gollark: No, it is the SYSTEM™ at fault.
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.