• 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
  • Thumbnail for Topology
    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
  • Thumbnail for Conjecture
    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
  • Γ-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
  • 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
  • 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
  • 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
  • Thumbnail for Galois theory
    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
  • 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 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