Lemma (mathematics)

In mathematics and other fields, a lemma (pl.: lemmas or lemmata) is a generally minor, proven proposition which is used to prove a larger statement. It is often called a "helping theorem" or an "auxiliary theorem" because it helps build the path to proving something more significant.

Lemmas are like stepping stones in a proof. They may seem small or simple by themselves, but they are crucial for reaching the final result. Sometimes, a lemma is created just to help prove a specific theorem, and then it might not be used again.

However, there are times when a lemma turns out to be more important than originally thought. What was created as a small helper might later become a key idea in its own right, useful in many different areas of math or science.

Not to be confused with Lemma (morphology), which is a concept in language and biology, the mathematical lemma is a tool that helps organize and structure logical arguments. It shows how smaller truths can come together to support bigger discoveries.

Etymology

The word "lemma" comes from the Ancient Greek word λῆμμα. In Ancient Greek, there was also a form εἴλημμαι, which means "something received or taken." So, in mathematics, a lemma is like something we take for granted to help us make a bigger point or prove something important.

Comparison with theorem

There is no formal difference between a lemma and a theorem; the difference is in purpose. A lemma is a smaller result used to help prove a bigger, more important theorem. It acts like a step that helps mathematicians show that the main idea they are studying is true.

Well-known lemmas

Some important ideas in mathematics are called lemmas. They may seem simple at first, but they help prove bigger and more complex theories. Examples include Bézout's lemma, Burnside's lemma, Dehn's lemma, Euclid's lemma, and many more.

Though these lemmas were first thought to be minor, they have become key parts of their areas of mathematics. They show how even small ideas can support big discoveries.