List of lemmas
From Exampleproblems
This is a list of lemmas (i.e. minor theorems, or sometimes intermediate technical results factored out of proofs), by Wikipedia page. See also list of theorems and list of conjectures.
- Abel's lemma
- Artin-Rees lemma (commutative algebra)
- Borel's lemma (partial differential equations)
- Borel-Cantelli lemma (probability theory)
- Burnside's lemma
- Butterfly lemma (group theory)
- Covering lemma
- Dehn's lemma (geometric topology)
- Diagonalization lemma
- Dickson's lemma (combinatorics)
- Euclid's lemma
- Fatou's lemma
- Fekete's lemma
- Fitting lemma
- Five lemma
- Fixed-point lemma for normal functions
- Fodor's lemma
- Gauss lemma
- Gödel's diagonal lemma
- Grönwall's lemma
- Grothendieck lemma (differential forms)
- Handshaking lemma
- Hartogs' lemma (several complex variables)
- Hensel's lemma
- Injective test lemma
- Itô's lemma
- König's lemma
- Lambda lemma
- Lebesgue's number lemma (dimension theory)
- Lovász local lemma
- Mautner's lemma (representation theory)
- Morse lemma (differential topology)
- Nakayama lemma
- Neyman-Pearson lemma
- Nine lemma (homological algebra)
- Noether's normalization lemma (commutative algebra)
- Piling-up lemma
- Poincaré lemma (differential forms)
- Pumping lemma (formal languages)
- Rasiowa-Sikorski lemma (set theory)
- Riemann lemma
- Sard's lemma (mathematical analysis, singularity theory)
- Schanuel's lemma (projective modules)
- Schreier's subgroup lemma
- Short five lemma (homological algebra)
- Siegel's lemma (Diophantine approximation)
- Snake lemma (homological algebra)
- Sperner's lemma (combinatorics)
- Splitting lemma (homological algebra)
- Stein's lemma (probability theory)
- Szemerédi regularity lemma (graph theory)
- Ultrafilter lemma
- Urysohn's lemma (general topology)
- Whitehead's lemma (Lie algebras)
- Yoneda lemma (category theory)
- Zassenhaus lemma (group theory)
- Zolotarev's lemma (number theory}
- Zorn's lemma (Kuratowski-Zorn lemma)it:Elenco di lemmi
