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]

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

Loading content...

See also

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads