lemma

There is no technical distinction a lemma, a proposition, and a theorem. A lemma is a proven statement, typically named a lemma to distinguish it as a truth used as a stepping stone to a larger result rather than an important statement in and of itself. Of course, some of the most powerful statements in mathematics are known as lemmas, including Zorn’s Lemma, Bezout’s Lemma, Gauss’ Lemma, Fatou’s lemma, etc., so one clearly can’t get too much simply by reading into a proposition’s name.

Even less well-defined is the distinction between a proposition and a theorem. Many authors choose to name results only one or the other, or use both more or less interchangeably. A partially standard set of nomenclature is to use the proposition to denote a significant result that is still shy of deserving a proper name. In contrast, a theorem under this format would a major result, and would often be named in to mathematicians who worked on or solved the problem in question.

The Greek word “lemma” itself means “anything which is received, such as a gift, profit, or a bribe.” According to [1], the plural ’Lemmas’ is commonly used. The correct Greek plural of lemma, however, is lemmata. The Greek “Theoria” means “view, or vision” and is clearly linguistically related to the word “theatre.” The apparent relation is that a theorem is a mathematical fact which you see to be true (and can now show others!).

A somewhat more distinct concept (though still subject to author discretion) is that of a corollary, which is a result that can be considered an immediate consequence of a previous theorem (typically, the preceding theorem in the text).

Finally, it is worth observing that the above terms are occasionally used to refer to a statement of the prescribed form without reference to the actual truth of the result, e.g., as in the phrase “While the theorem itself is valid, the is actually false.” See this http://planetmath.org/ConverseTheoremattached entry for more on this last example.

Title	lemma
Canonical name	Lemma
Date of creation	2013-03-22 13:46:56
Last modified on	2013-03-22 13:46:56
Owner	mathcam (2727)
Last modified by	mathcam (2727)
Numerical id	19
Author	mathcam (2727)
Entry type	Definition
Classification	msc 00A05
Defines	proposition
Defines	theorem
Defines	corollary