This entry is about a section of the text
A finite limit of -formal schemes is -formal. The category of -formal schemes has arbitrary products.
A formal -scheme is called local -scheme if it is the formal spectrum of a local ring (=has a unique maximal ideal).
Any formal -scheme is a coproduct of local -schemes (Demazure, p.15).
Last revised on May 27, 2012 at 13:16:42. See the history of this page for a list of all contributions to it.