- Logical consequence
- >
- Theorems
- >
- Mathematical theorems
- >
- Theorems in algebra

- Logical expressions
- >
- Theorems
- >
- Mathematical theorems
- >
- Theorems in algebra

- Mathematical concepts
- >
- Mathematical problems
- >
- Mathematical theorems
- >
- Theorems in algebra

- Mathematics
- >
- Fields of mathematics
- >
- Algebra
- >
- Theorems in algebra

- Mathematics
- >
- Mathematical theorems
- >
- Theorems in algebra

- Propositions
- >
- Theorems
- >
- Mathematical theorems
- >
- Theorems in algebra

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:

Frobenius reciprocity theorem

No description available.

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-

Fundamental theorem of finitely generated abelian groups

No description available.

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

© 2023 Useful Links.