Nielsen–Schreier theorem
In group theory, a branch of mathematics, the Nielsen–Schreier theorem states that every subgroup of a free group is itself free. It is named after Jakob Nielsen and Otto Schreier.
Perron's irreducibility criterion
Perron's irreducibility criterion is a sufficient condition for a polynomial to be irreducible in —that is, for it to be unfactorable into the product of lower-degree polynomials with integer coeffici
Hudde's rules
In mathematics, Hudde's rules are two properties of polynomial roots described by Johann Hudde. 1. If r is a double root of the polynomial equation and if are numbers in arithmetic progression, then r
Amitsur–Levitzki theorem
In algebra, the Amitsur–Levitzki theorem states that the algebra of n × n matrices over a commutative ring satisfies a certain identity of degree 2n. It was proved by Amitsur and Levitsky. In particul
Chevalley–Warning theorem
In number theory, the Chevalley–Warning theorem implies that certain polynomial equations in sufficiently many variables over a finite field have solutions. It was proved by Ewald Warning and a slight
Haran's diamond theorem
In mathematics, the Haran diamond theorem gives a general sufficient condition for a separable extension of a Hilbertian field to be Hilbertian.
Hua's identity
In algebra, Hua's identity named after Hua Luogeng, states that for any elements a, b in a division ring, whenever . Replacing with gives another equivalent form of the identity:
Jacobson–Bourbaki theorem
In algebra, the Jacobson–Bourbaki theorem is a theorem used to extend Galois theory to field extensions that need not be separable. It was introduced by Nathan Jacobson for commutative fields and exte
Cohn's irreducibility criterion
Arthur Cohn's irreducibility criterion is a sufficient condition for a polynomial to be irreducible in —that is, for it to be unfactorable into the product of lower-degree polynomials with integer coe
Norm residue isomorphism theorem
In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor K-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time rep
Frobenius determinant theorem
In mathematics, the Frobenius determinant theorem was a conjecture made in 1896 by the mathematician Richard Dedekind, who wrote a letter to F. G. Frobenius about it (reproduced in, with an English tr
Nagata's conjecture
In algebra, Nagata's conjecture states that Nagata's automorphism of the polynomial ring k[x,y,z] is . The conjecture was proposed by Nagata and proved by Ualbai U. Umirbaev and Ivan P. Shestakov. Nag
Bernstein–Kushnirenko theorem
The Bernstein–Kushnirenko theorem (or Bernstein–Khovanskii–Kushnirenko (BKK) theorem ), proven by and in 1975, is a theorem in algebra. It states that the number of non-zero complex solutions of a sys
Niven's theorem
In mathematics, Niven's theorem, named after Ivan Niven, states that the only rational values of θ in the interval 0° ≤ θ ≤ 90° for which the sine of θ degrees is also a rational number are: In radian
Abel's binomial theorem
Abel's binomial theorem, named after Niels Henrik Abel, is a mathematical identity involving sums of binomial coefficients. It states the following:
Hilbert–Burch theorem
In mathematics, the Hilbert–Burch theorem describes the structure of some free resolutions of a quotient of a local or graded ring in the case that the quotient has projective dimension 2. Hilbert pro
Hochster–Roberts theorem
In algebra, the Hochster–Roberts theorem, introduced by Melvin Hochster and Joel L. Roberts in 1974, states that rings of invariants of linearly reductive groups acting on regular rings are Cohen–Maca
Krull–Akizuki theorem
In algebra, the Krull–Akizuki theorem states the following: let A be a one-dimensional reduced noetherian ring, K its total ring of fractions. If B is a subring of a finite extension L of K containing
Harish-Chandra isomorphism
In mathematics, the Harish-Chandra isomorphism, introduced by Harish-Chandra,is an isomorphism of commutative rings constructed in the theory of Lie algebras. The isomorphism maps the center Z(U(g)) o
Classification of finite simple groups
In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite cl
Bertrand's postulate
In number theory, Bertrand's postulate is a theorem stating that for any integer , there always exists at least one prime number with A less restrictive formulation is: for every , there is always at
Matlis duality
In algebra, Matlis duality is a duality between Artinian and Noetherian modules over a complete Noetherian local ring. In the special case when the local ring has a field mapping to the residue field
Crystallographic restriction theorem
The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2-fold, 3-fold, 4-fold, and 6-fold. However,
Gershgorin circle theorem
In mathematics, the Gershgorin circle theorem may be used to bound the spectrum of a square matrix. It was first published by the Soviet mathematician Semyon Aronovich Gershgorin in 1931. Gershgorin's
Addition theorem
In mathematics, an addition theorem is a formula such as that for the exponential function: ex + y = ex · ey, that expresses, for a particular function f, f(x + y) in terms of f(x) and f(y). Slightly
Mitchell's embedding theorem
Mitchell's embedding theorem, also known as the Freyd–Mitchell theorem or the full embedding theorem, is a result about abelian categories; it essentially states that these categories, while rather ab
Ax–Grothendieck theorem
In mathematics, the Ax–Grothendieck theorem is a result about injectivity and surjectivity of polynomials that was proved independently by James Ax and Alexander Grothendieck. The theorem is often giv
Koecher–Vinberg theorem
In operator algebra, the Koecher–Vinberg theorem is a reconstruction theorem for real Jordan algebras. It was proved independently by Max Koecher in 1957 and Ernest Vinberg in 1961. It provides a one-
Haynsworth inertia additivity formula
In mathematics, the Haynsworth inertia additivity formula, discovered by Emilie Virginia Haynsworth (1916–1985), concerns the number of positive, negative, and zero eigenvalues of a Hermitian matrix a
Liouville's theorem (differential algebra)
In mathematics, Liouville's theorem, originally formulated by Joseph Liouville in 1833 to 1841, places an important restriction on antiderivatives that can be expressed as elementary functions. The an