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:
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“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)