At least three well-known results in mathematics bear the name Schur's lemma:
In mathematics, informal logic and argument mapping, a lemma is a generally minor, proven proposition which is used as a stepping stone to a larger result. For that reason, it is also known as a "helping theorem" or an "auxiliary theorem". In many cases, a lemma derives its importance from the theorem it aims to prove; however, a lemma can also turn out to be more important than originally thought.
In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if M and N are two finite-dimensional irreducible representations of a group G and φ is a linear map from M to N that commutes with the action of the group, then either φ is invertible, or φ = 0. An important special case occurs when M = N, i.e. φ is a self-map; in particular, any element of the center of a group must act as a scalar operator on M. The lemma is named after Issai Schur who used it to prove the Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which are due to Jacques Dixmier and Daniel Quillen.
Issai Schur was a Russian mathematician who worked in Germany for most of his life. He studied at the University of Berlin. He obtained his doctorate in 1901, became lecturer in 1903 and, after a stay at the University of Bonn, professor in 1919.
In mathematics, and especially the discipline of representation theory, the Schur indicator, named after Issai Schur, or Frobenius–Schur indicator describes what invariant bilinear forms a given irreducible representation of a compact group on a complex vector space has. It can be used to classify the irreducible representations of compact groups on real vector spaces.
In discrete mathematics, Schur's theorem is any of several theorems of the mathematician Issai Schur. In differential geometry, Schur's theorem is a theorem of Axel Schur. In functional analysis, Schur's theorem is often called Schur's property, also due to Issai Schur.
Gauss's lemma can mean any of several mathematical lemmas named after Carl Friedrich Gauss:
Lemma may refer to:
In mathematics, the Lehmer–Schur algorithm is a root-finding algorithm for complex polynomials, extending the idea of enclosing roots like in the one-dimensional bisection method to the complex plane. It uses the Schur-Cohn test to test increasingly smaller disks for the presence or absence of roots.
There are multiple theorems named after the French mathematician Camille Jordan:
In mathematics, the infinitesimal character of an irreducible representation ρ of a semisimple Lie group G on a vector space V is, roughly speaking, a mapping to scalars that encodes the process of first differentiating and then diagonalizing the representation. It therefore is a way of extracting something essential from the representation ρ by two successive linearizations.
Michael (Mihály) Fekete was a Hungarian-Israeli mathematician.
Schur–Weyl duality is a mathematical theorem in representation theory that relates irreducible finite-dimensional representations of the general linear and symmetric groups. It is named after two pioneers of representation theory of Lie groups, Issai Schur, who discovered the phenomenon, and Hermann Weyl, who popularized it in his books on quantum mechanics and classical groups as a way of classifying representations of unitary and general linear groups.
In Riemannian geometry, Schur's lemma is a result that says, heuristically, whenever certain curvatures are pointwise constant then they are forced to be globally constant. The proof is essentially a one-step calculation, which has only one input: the second Bianchi identity.
In algebra, Quillen's lemma states that an endomorphism of a simple module over the enveloping algebra of a finite-dimensional Lie algebra over a field k is algebraic over k. In contrast to a version of Schur's lemma due to Dixmier, it does not require k to be uncountable. Quillen's original short proof uses generic flatness.
In mathematics, a fusion category is a category that is abelian, -linear, semisimple, monoidal, and rigid, and has only finitely many isomorphism classes of simple objects, such that the monoidal unit is simple. If the ground field is algebraically closed, then the latter is equivalent to by Schur's lemma.