basic result
61Brauer's theorem on induced characters — Brauer s theorem on induced characters, often known as Brauer s induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, which is, in turn, part of the representation theory of a …
62Müntz–Szász theorem — The Müntz–Szász theorem is a basic result of approximation theory, proved by Herman Müntz in 1914 and Otto Szász (1884–1952) in 1916. Roughly speaking, the theorem shows to what extent the Weierstrass theorem on polynomial approximation can have… …
63Dedekind domain — In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily …
64Arithmetic of abelian varieties — In mathematics, the arithmetic of abelian varieties is the study of the number theory of an abelian variety, or family of those. It goes back to the studies of Fermat on what are now recognised as elliptic curves; and has become a very… …
65Incidence (geometry) — In geometry, the relations of incidence are those such as lies on between points and lines (as in point P lies on line L ), and intersects (as in line L1 intersects line L2 , in three dimensional space). That is, they are the binary relations… …
66Hassler Whitney — Infobox Scientist name = Hassler Whitney image width = caption = birth date = birth date|1907|3|23 birth place = death date = death date and age|1989|5|10|1907|3|23 death place = field = Mathematics work institutions = Harvard University… …
67Fixed-point lemma for normal functions — The fixed point lemma for normal functions is a basic result in axiomatic set theory stating that any normal function has arbitrarily large fixed points (Levy 1979: p. 117). It was first proved by Oswald Veblen in 1908. Background and formal… …
68Poincaré duality — In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if M is an n dimensional compact oriented manifold, then the k th… …
69Beck's monadicity theorem — In category theory, a branch of mathematics, Beck s monadicity theorem asserts that a functor :U: C o Dis monadic if and only if # U has a left adjoint; # U reflects isomorphisms; and # C has coequalizers of U split coequalizer pairs, and U… …
70Smn theorem — In computability theory the smn theorem, (also called the translation lemma, parameter theorem, or parameterization theorem) is a basic result about programming languages (and, more generally, Gödel numberings of the computable functions) (Soare… …
