In mathematics, the Schneider–Lang theorem is a refinement by of a theorem of about the transcendence of values of meromorphic functions. The theorem implies both the Hermite–Lindemann and Gelfond–Schneider theorems, and implies the transcendence of some values of elliptic functions and elliptic modular functions.
Statement.
Fix a number field K and meromorphic "f"1, ..., "f""N", of which at least two are algebraically independent and have orders "ρ"1 and "ρ"2, and such that "fj′" ∈ "K"["f"1, ..., "f""N"] for any j. Then there are at most 
 formula_1
distinct complex numbers "ω"1, ..., "ωm" such that "f""i"("ωj") ∈ "K" for all combinations of i and j. 
Examples.
 "z" and "f"2("z") 
 "e""z" then the theorem implies the Hermite–Lindemann theorem that "eα" is transcendental for nonzero algebraic α: otherwise, "α", 2"α", 3"α", ... would be an infinite number of values at which both "f"1 and "f"2 are algebraic.
 "e""z" and "f"2("z") 
 "e""βz" for β irrational algebraic implies the Gelfond–Schneider theorem that if α and "α""β" are algebraic, then α ∈ {0,1}: otherwise, log("α"), 2log("α"), 3log("α"), ... would be an infinite number of values at which both "f"1 and "f"2 are algebraic.
 formula_2
 Taking the three functions to be "z", ℘("αz"), shows that, for any algebraic α, if "g"2("α") and "g"3("α") are algebraic, then ℘("α") is transcendental.
 deg "f".
Proof.
To prove the result Lang took two algebraically independent functions from "f"1, ..., "f""N", say, f and g, and then created an auxiliary function "F" ∈ "K"[ "f", "g"]. Using Siegel's lemma, he then showed that one could assume F vanished to a high order at the ω1, ..., ω"m". Thus a high-order derivative of F takes a value of small size at one such ω"i"s, "size" here referring to an algebraic property of a number. Using the maximum modulus principle, Lang also found a separate estimate for absolute values of derivatives of F. Standard results connect the size of a number and its absolute value, and the combined estimates imply the claimed bound on m.
Bombieri's theorem.
 and generalized the result to functions of several variables. Bombieri showed that if "K" is an algebraic number field and "f"1, ..., "f""N" are meromorphic functions of "d" complex variables of order at most ρ generating a field "K"("f"1, ..., "f""N") of transcendence degree at least "d" + 1 that is closed under all partial derivatives, then the set of points where all the functions "f""n" have values in "K" is contained in an algebraic hypersurface in C"d" of degree at most 
formula_3
 gave a simpler proof of Bombieri's theorem, with a slightly stronger bound of "d"(ρ1 + ... + ρ"d"+1)["K":Q] for the degree, where the ρ"j" are the orders of "d" + 1 algebraically independent functions. The special case "d" = 1 gives the Schneider–Lang theorem, with a bound of (ρ1 + ρ2)["K":Q] for the number of points.
Example.
If formula_4 is a polynomial with integer coefficients then the functions formula_5 are all algebraic at a dense set of points of the hypersurface formula_6.