Morphisms Between Formal Schemes
A morphism of locally noetherian formal schemes is a morphism of them as locally ringed spaces such that the induced map is a continuous homomorphism of topological rings for any affine open subset U.
f is said to be adic or is a -adic formal scheme if there exists an ideal of definition such that is an ideal of definition for . If f is adic, then this property holds for any ideal of definition.
Read more about this topic: Formal Scheme
Famous quotes containing the words formal and/or schemes:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“Science is a dynamic undertaking directed to lowering the degree of the empiricism involved in solving problems; or, if you prefer, science is a process of fabricating a web of interconnected concepts and conceptual schemes arising from experiments and observations and fruitful of further experiments and observations.”
—James Conant (1893–1978)