In mathematics, Grothendieck's connectedness theorem, states that if A is a complete Noetherian local ring whose spectrum is k-connected and f is in the...
2 KB (160 words) - 21:08, 6 July 2025
the connectedness theorem may be one of Deligne's connectedness theorem Fulton–Hansen connectedness theorem Grothendieck's connectedness theorem Hartshorne's...
322 bytes (63 words) - 13:46, 21 September 2016
9). Deligne's connectedness theorem Fulton–Hansen connectedness theorem Grothendieck's connectedness theorem Stein factorization Theorem on formal functions...
12 KB (1,625 words) - 06:16, 19 July 2025
Zariski's connectedness theorem Grothendieck's connectedness theorem Deligne's connectedness theorem Fulton, William; Hansen, Johan (1979). "A connectedness theorem...
2 KB (293 words) - 09:55, 9 October 2024
geometry) Grothendieck–Hirzebruch–Riemann–Roch theorem (algebraic geometry) Grothendieck's connectedness theorem (algebraic geometry) Haboush's theorem (algebraic...
78 KB (6,296 words) - 20:31, 6 July 2025
theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the homotopy category Hotc of pointed connected...
7 KB (848 words) - 20:22, 19 June 2025
Dolbeault-Grothendieck lemma Grothendieck's axioms Grothendieck category Grothendieck's comparison theorem Grothendieck's connectedness theorem Grothendieck connection...
3 KB (155 words) - 01:34, 1 March 2023
The theorem is often used for induction steps. Grothendieck's connectedness theorem "Bertini theorems", Encyclopedia of Mathematics, EMS Press, 2001 [1994]...
6 KB (858 words) - 02:25, 3 March 2025
the main topic of Alexander Grothendieck's first Séminaire de géométrie algébrique (SGA1). A version of Van Kampen's theorem appears there, and is proved...
21 KB (3,373 words) - 16:41, 4 May 2025
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension...
32 KB (4,966 words) - 09:47, 13 June 2025
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf...
22 KB (2,795 words) - 12:03, 4 October 2024
In set theory, the Schröder–Bernstein theorem states that, if there exist injective functions f : A → B and g : B → A between the sets A and B, then there...
20 KB (2,374 words) - 11:57, 23 March 2025
In mathematics, the base change theorems relate the direct image and the inverse image of sheaves. More precisely, they are about the base change map,...
26 KB (4,151 words) - 02:07, 17 March 2025
compactness, which allows distinguishing between a line and a circle; connectedness, which allows distinguishing a circle from two non-intersecting circles...
39 KB (4,410 words) - 15:54, 23 July 2025
Conjecture (section Fermat's Last Theorem)
conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), have shaped much of mathematical history...
25 KB (3,039 words) - 11:12, 20 July 2025
Algebraic K-theory (redirect from Matsumoto's theorem (K-theory))
Γ-objects, the Q-construction has its roots in Grothendieck's definition of K0. Unlike Grothendieck's definition, however, the Q-construction builds a...
77 KB (10,647 words) - 14:42, 21 July 2025
Coherent sheaf cohomology (redirect from Serre's vanishing theorem)
above dimension n {\displaystyle n} is a very special case of Grothendieck's vanishing theorem: for any sheaf of abelian groups F {\displaystyle {\mathcal...
26 KB (4,664 words) - 11:28, 9 October 2024
Tamagawa numbers and the strong approximation theorem. Local analysis Grunwald–Wang theorem Grothendieck–Katz p-curvature conjecture Ernst S. Selmer (1951)...
10 KB (1,220 words) - 01:39, 25 May 2025
by Zariski's connectedness theorem, the last part in the above says that the fiber f ′ − 1 ( s ) {\displaystyle f'^{-1}(s)} is connected for any s ∈ S...
3 KB (427 words) - 23:04, 5 March 2025
number fields correspond to maps between the curves. A first version of Grothendieck's anabelian conjecture was solved by Hiroaki Nakamura and Akio Tamagawa...
11 KB (1,236 words) - 09:40, 4 August 2024
are connectedness theorems such as Grothendieck's connectedness theorem (a local analogue of the Bertini theorem) or the Fulton–Hansen connectedness theorem...
25 KB (4,306 words) - 22:24, 24 May 2025
(1.8.4), p. 239. "Theorem 29.22.3 (Chevalley's Theorem) (tag 054K)". stacks.math.columbia.edu. Retrieved 2022-10-04. Grothendieck & Dieudonné 1971, Ch...
10 KB (1,651 words) - 18:10, 6 December 2022
Model theory (redirect from Keisler-Shelah isomorphism theorem)
It's a consequence of Gödel's completeness theorem (not to be confused with his incompleteness theorems) that a theory has a model if and only if it...
63 KB (9,064 words) - 09:00, 2 July 2025
Mayer–Vietoris sequence (redirect from Mayer-Vietoris theorem)
of dimension 1) and the Seifert–van Kampen theorem. Whenever A ∩ B {\displaystyle A\cap B} is path-connected, the reduced Mayer–Vietoris sequence yields...
26 KB (3,763 words) - 07:01, 18 July 2025
Galois theory (redirect from Galois's theorem)
examples Fundamental theorem of Galois theory Differential Galois theory for a Galois theory of differential equations Grothendieck's Galois theory for a...
33 KB (4,221 words) - 15:58, 21 June 2025
Successive generalizations, the Hirzebruch–Riemann–Roch theorem and the Grothendieck–Riemann–Roch theorem, give some information about the dimension of H0(X...
41 KB (6,615 words) - 00:54, 7 July 2025
Cohen–Macaulay ring (redirect from Unmixedness theorem)
Hartshorne's connectedness theorem: if R is a Cohen–Macaulay local ring of dimension at least 2, then Spec R minus its closed point is connected. The Segre...
23 KB (3,123 words) - 15:42, 27 June 2025
of graphs, that expresses the idea that there is a path from x to y. Connectedness can be expressed in second-order logic, however, but not with only existential...
93 KB (12,955 words) - 02:36, 20 July 2025
{\displaystyle f^{-1}(s)} is connected for all s ∈ S {\displaystyle s\in S} . The theorem also leads to the Grothendieck existence theorem, which gives an equivalence...
4 KB (916 words) - 13:53, 29 July 2022
Functional completeness (redirect from Post's functional completeness theorem)
functional completeness is also proved by the Disjunctive Normal Form Theorem.) But this is still not minimal, as ∨ {\displaystyle \lor } can be defined...
16 KB (1,957 words) - 15:12, 13 January 2025