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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“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)