morphism of rings
Смотреть что такое "morphism of rings" в других словарях:
Morphism — In mathematics, a morphism is an abstraction derived from structure preserving mappings between two mathematical structures. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear… … Wikipedia
Finite morphism — In algebraic geometry, a branch of mathematics, a morphism of schemes is a finite morphism, if Y has an open cover by affine schemes Vi = SpecBi such that for each i, f − 1(Vi) = Ui is an open affine subscheme SpecAi, and the restriction of … Wikipedia
Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… … Wikipedia
Étale morphism — In algebraic geometry, a field of mathematics, an étale morphism (pronunciation IPA|) is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem,… … Wikipedia
Proper morphism — In algebraic geometry, a proper morphism between schemes is an analogue of a proper map between topological spaces. Contents 1 Definition 2 Examples 3 Properties and characterizations of proper morphisms … Wikipedia
Flat morphism — In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e., : fP : OY,f(P) → OX,P is a flat map … Wikipedia
Forgetful functor — In mathematics, in the area of category theory, a forgetful functor is a type of functor. The nomenclature is suggestive of such a functor s behaviour: given some object with structure as input, some or all of the object s structure or properties … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Complexification — In mathematics, the complexification of a real vector space V is a vector space VC over the complex number field obtained by formally extending scalar multiplication to include multiplication by complex numbers. Any basis for V over the real… … Wikipedia
Glossary of scheme theory — This is a glossary of scheme theory. For an introduction to the theory of schemes in algebraic geometry, see affine scheme, projective space, sheaf and scheme. The concern here is to list the fundamental technical definitions and properties of… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
