List of lemmas

Algebra

• Abhyankar's lemma
• Aubin–Lions lemma
• Bergman's diamond lemma
• Fitting lemma
• Injective test lemma
• Hua's lemma
• Krull's separation lemma
• Schanuel's lemma
• Schwartz–Zippel lemma
• Shapiro's lemma
• Stewart–Walker lemma
• Whitehead's lemma
• Zariski's lemma

Algebraic geometry

• Abhyankar's lemma
• Fundamental lemma (Langlands program)

Category theory

• Five lemma
• Horseshoe lemma
• Nine lemma
• Short five lemma
• Snake lemma
• Splitting lemma
• Yoneda lemma

Linear algebra

• Matrix determinant lemma
• Matrix inversion lemma

Group theory

• Burnside's lemma also known as the Cauchy–Frobenius lemma
• Frattini's lemma
• Goursat's lemma
• Mautner's lemma
• Ping-pong lemma
• Schreier's subgroup lemma
• Schur's lemma
• Zassenhaus lemma

Polynomials

• Gauss's lemma (polynomials)
• Schwartz–Zippel lemma

Ring theory and commutative algebra

• Artin–Rees lemma
• Hensel's lemma
• Nakayama lemma
• Noether's normalization lemma
• Prime avoidance lemma

Universal algebra

• Jónsson's lemma

Analysis

• Fekete's lemma
• Fundamental lemma of the calculus of variations
• Hopf lemma
• Sard's lemma
• Stechkin's lemma
• Vitali covering lemma
• Watson's lemma

Complex analysis

• Estimation lemma
• Hartogs's lemma
• Jordan's lemma
• Lemma on the Logarithmic derivative
• Schwarz lemma

Fourier analysis

• Riemann–Lebesgue lemma

Differential equations

• Borel's lemma
• Grönwall's lemma
• Lax–Milgram lemma
• Pugh's closing lemma
• Weyl's lemma (Laplace equation)

Differential forms

• Poincaré lemma of closed and exact differential forms

Functional analysis

• Cotlar–Stein lemma
• Ehrling's lemma
• Riesz's lemma

Mathematical series

• Abel's lemma
• Kronecker's lemma

Numerical analysis

• Bramble–Hilbert lemma
• Céa's lemma

Applied mathematics

• Danielson–Lanczos lemma
• Farkas's lemma
• Feld–Tai lemma
• Little's lemma
• Finsler's lemma

Control theory

• Finsler's lemma
• Hautus lemma
• Kalman–Yakubovich–Popov lemma

Computational complexity theory

• Isolation lemma
• Switching lemma

Cryptography

• Forking lemma
• Leftover hash lemma
• Piling-up lemma
• Yao's XOR lemma

Formal languages

• Interchange lemma
• Newman's lemma
• Ogden's lemma
• Pumping lemma ''sometimes called the Bar-Hillel lemma''

Microeconomics

• Hotelling's lemma
• Shephard's lemma

Combinatorics

• Cousin's lemma
• Dickson's lemma
• Littlewood–Offord lemma
• Pólya–Burnside lemma
• Sperner's lemma
• Ky Fan lemma ''''

Graph theory

• Berge's lemma
• Counting lemma
• Crossing lemma
• Expander mixing lemma
• Handshaking lemma
• Kelly's lemma
• Kőnig's lemma
• Szemerédi regularity lemma

Order theory

• Higman's lemma
• Ultrafilter lemma

Dynamical systems

• Barbalat's lemma
• Kac's lemma

Geometry

• Shadowing lemma
• Big-little-big lemma
• Gordan's lemma
• Hilbert's lemma

Euclidean geometry

• Archimedes's lemmas
• Johnson–Lindenstrauss lemma

Hyperbolic geometry

• Margulis lemma

Metric spaces

• Lebesgue's number lemma

Riemannian geometry

• Gauss's lemma (Riemannian geometry)

Mathematical logic

• Craig interpolation lemma
• Diagonal lemma
• Lindenbaum's lemma
• Mostowski collapse lemma
• Teichmüller–Tukey lemma also known as Tukey's lemma
• Zorn's lemma''; equivalent to the axiom of choice''

Set theory

• Covering lemma
• Delta lemma
• Dynkin lemma
• Fodor's lemma
• Fixed-point lemma for normal functions
• Moschovakis coding lemma
• Rasiowa–Sikorski lemma

Number theory

• Bézout's lemma
• Dwork's lemma
• Euclid's lemma
• Gauss's lemma
• Hensel's lemma
• Zolotarev's lemma
• Siegel's lemma

Analytic number theory

• Hua's lemma
• Vaughan's lemma

Diophantine equations

• Bhaskara's lemma

Sieve theory

• Fundamental lemma of sieve theory

Probability theory

• Borel–Cantelli lemma
• Doob-Dynkin lemma
• Itô's lemma
• Lovász local lemma
• Stein's lemma
• Wald's lemma

Statistics

• Glivenko–Cantelli lemma
• Neyman–Pearson lemma
• Robbins lemma

Measure theory

• Factorization lemma
• Fatou's lemma
• Frostman's lemma
• Malliavin's absolute continuity lemma

Topology

• Lindelöf's lemma
• Urysohn's lemma
• Tube lemma

Differential topology

• Morse lemma

Fixed-point theory

• Knaster–Kuratowski–Mazurkiewicz lemma

Geometric topology

• Dehn's lemma

Topological groups and semigroups

• Ellis–Numakura lemma