lemma
theorem for proving more complex theorems
Nakayama lemma
lemma
fixed-point lemma for normal functions
mathematical result on ordinals
horseshoe lemma
algebraic statement
Lifting the exponent lemma
number theoretic lemma
Hotelling's lemma
lemma
Jordan's lemma
theorem in complex analysis
graph removal lemma
lemma that when a graph contains few copies of a given subgraph, then all of the copies can be eliminated by removing a small number of edges
Euclid's lemma
lemma
Schwarz lemma
lemma in complex analysis
nine lemma
category theory lemma about commutative diagrams
Kelly's lemma
theorem in probability theory
short five lemma
special case of the five lemma
Whitehead's lemma
lemma about Lie algebra representations
Sterbenz lemma
exact floating-point subtraction theorem
five lemma
lemma in category theory about commutative diagrams
bounding lemma
lemma stating that, in a vector space generated by n vectors, any set of n+1 vectors is linearly dependent
splitting lemma
lemma that, in an Abelian category, a short exact sequence, one of whose two morphisms admits a section or retraction into the middle term, is a direct sum
Fitting lemma
statement in algebra
Stein's lemma
theorem of probability theory
Abelian lemma
auxiliary result for the investigation of the convergence area of power series, named after Niels Henrik Abel
tube lemma
proof in topology
Watson's lemma
lemma on the asymptotic behavior of integrals
Mantel's theorem
theorem in graph theory
Liberman's lemma
Mathematical theorem
leftover hash lemma
lemma in cryptography
ping-pong lemma
theorem about sufficient conditions for ensuring that that several elements in a group acting on a set freely generate a free subgroup of that group
snake lemma
tool used in mathematics
prime avoidance lemma
in commutative algebra, the lemma that if an ideal in a commutative ring is contained in a union of finitely many prime ideals, then it is contained in one of the prime ideals
three subgroups lemma
lemma in group theory: given three subgroups X, Y, Z of a group G, if [[X,Y],Z]=[[Y,Z],X]=1, then [[Z,X],Y]=1 (where brackets denote commutators)
base case
case initially proven and used as a base for mathematical induction
axiom
statement that is taken to be true
Newman's lemma
lemma
piling-up lemma
principle used in linear cryptanalysis to construct linear approximation to the action of block ciphers