In algebraic geometry, Zariski's main theorem, proved by Oscar Zariski, states that there is only one branch at any point of a normal variety. Informally, the reason it is true is that any branch locus is a singularity of codimension 1, while singularities of normal varieties all have codimension at least 2.
Zariski's main theorem can be stated in several ways which at first sight seem to be quite different, as there are several ways to make the informal notion of having only one branch precise. In particular the name "Zariski's main theorem" is also used for a closely related theorem of Grothendieck that describes the structure of quasi-finite morphisms of schemes, which implies Zariski's original main theorem.
The name "Zariski's main theorem" comes from the fact that it was labeled as the "MAIN THEOREM" in Zariski (1943).
Read more about Zariski's Main Theorem: Zariski's Main Theorem For Birational Morphisms, Zariski's Main Theorem For Quasifinite Morphisms, Zariski's Main Theorem For Commutative Rings, Zariski's Main Theorem: Topological Form, Zariski's Main Theorem: Power Series Form
Famous quotes containing the words main and/or theorem:
“Whoever considers morality the main objective of human existence, seems to me like a person who defines the purpose of a clock as not going wrong. The first objective for a clock, is, however, that it does run; not going wrong is an additional regulative function. If not a watch’s greatest accomplishment were not going wrong, unwound watches might be the best.”
—Franz Grillparzer (1791–1872)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)