|
Formally étale Morphism
In commutative algebra and algebraic geometry, a morphism is called formally étale if it has a lifting property that is analogous to being a local diffeomorphism. Formally étale homomorphisms of rings Let ''A'' be a topological ring, and let ''B'' be a topological ''A''-algebra. Then ''B'' is formally étale if for all discrete ''A''-algebras ''C'', all nilpotent ideals ''J'' of ''C'', and all continuous ''A''-homomorphisms , there exists a unique continuous ''A''-algebra map such that , where is the canonical projection. Formally étale is equivalent to formally smooth plus formally unramified. Formally étale morphisms of schemes Since the structure sheaf of a scheme naturally carries only the discrete topology, the notion of formally étale for schemes is analogous to formally étale for the discrete topology for rings. That is, a morphism of schemes is formally étale if for every affine ''Y''-scheme ''Z'', every nilpotent sheaf of ideals ''J'' on ''Z'' with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideal (ring theory), ideals, and module (mathematics), modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and p-adic number, ''p''-adic integers. Commutative algebra is the main technical tool of algebraic geometry, and many results and concepts of commutative algebra are strongly related with geometrical concepts. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. Several concepts of commutative algebras have been developed in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
