In
algebra and
number theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
, Euclid's lemma is a
lemma that captures a fundamental property of
prime number
A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
s:
For example, if , , , then , and since this is divisible by 19, the lemma implies that one or both of 133 or 143 must be as well. In fact, .
The lemma first appeared in
Euclid
Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely domina ...
's ''
Elements'', and is a fundamental result in elementary number theory.
If the premise of the lemma does not hold, that is, if is a
composite number
A composite number is a positive integer that can be formed by multiplying two smaller positive integers. Accordingly it is a positive integer that has at least one divisor other than 1 and itself. Every positive integer is composite, prime numb ...
, its consequent may be either true or false. For example, in the case of , , , composite number 10 divides , but 10 divides neither 4 nor 15.
This property is the key in the proof of the
fundamental theorem of arithmetic. It is used to define
prime element
In mathematics, specifically in abstract algebra, a prime element of a commutative ring is an object satisfying certain properties similar to the prime numbers in the integers and to irreducible polynomials. Care should be taken to distinguish ...
s, a generalization of prime numbers to arbitrary
commutative ring
In mathematics, a commutative ring is a Ring (mathematics), ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring prope ...
s. Euclid's lemma shows that in the integers
irreducible elements are also prime elements. The proof uses
induction so it does not apply to all
integral domains.
Formulations
Euclid's lemma is commonly used in the following equivalent form:
Euclid's lemma can be generalized as follows from prime numbers to any integers.
This is a generalization because a prime number is coprime with an integer if and only if does not divide .
History
The lemma first appears as proposition 30 in Book VII of
Euclid
Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely domina ...
's ''
Elements''. It is included in practically every book that covers elementary number theory.
The generalization of the lemma to integers appeared in
Jean Prestet's textbook ''Nouveaux Elémens de Mathématiques'' in 1681.
In
Carl Friedrich Gauss's treatise ''
Disquisitiones Arithmeticae'', the statement of the lemma is Euclid's Proposition 14 (Section 2), which he uses to prove the uniqueness of the decomposition product of prime factors of an integer (Theorem 16), admitting the existence as "obvious". From this existence and uniqueness he then deduces the generalization of prime numbers to integers.
For this reason, the generalization of Euclid's lemma is sometimes referred to as Gauss's lemma, but some believe this usage is incorrect due to confusion with
Gauss's lemma on quadratic residues.
Proofs
The two first subsections, are proofs of the generalized version of Euclid's lemma, namely that: ''if divides and is
coprime with then it divides .''
The original Euclid's lemma follows immediately, since, if is prime then it divides or does not divide in which case it is coprime with so per the generalized version it divides .
Using Bézout's identity
In modern mathematics, a common proof involves
Bézout's identity, which was unknown at Euclid's time. Bézout's identity states that if and are
coprime integers
In number theory, two integers and are coprime, relatively prime or mutually prime if the only positive integer that is a divisor of both of them is 1. Consequently, any prime number that divides does not divide , and vice versa. This is equiva ...
(i.e. they share no common divisors other than 1 and −1) there exist integers and such that
:
Let and be coprime, and assume that . By Bézout's identity, there are and such that
:
Multiply both sides by :
:
The first term on the left is divisible by , and the second term is divisible by , which by hypothesis is divisible by . Therefore their sum, , is also divisible by .
By induction
The following proof is inspired by Euclid's version of
Euclidean algorithm, which proceeds by using only subtractions.
Suppose that
and that and are
coprime (that is, their
greatest common divisor is ). One has to prove that divides . Since
there exists an integer such that
Without loss of generality, one can suppose that , , , and are positive, since the divisibility relation is independent of the signs of the involved integers.
To prove the theorem by
strong induction, we suppose that it has been proved for all smaller values of . There are three cases:
# If , coprimality implies , and divides trivially.
#:
# If , then subtracting
from both sides gives
Thus, divides . Since we assumed that and are coprime, it follows that and must be coprime. (If not, their greatest common divisor would divide their sum as well as , contradicting our assumption.)
The conclusion therefore follows by induction hypothesis, since .
#:
#If then subtracting
from both sides gives
Thus, divides . Since (as in the previous case), and are coprime, and since , then the induction hypothesis implies that divides ; that is,
for some integer . So,
and, by dividing by , one has
Therefore,
and by dividing by , one gets
the desired conclusion.
Proof of ''Elements''
Euclid's lemma is proved at the Proposition 30 in Book VII of
Euclid's ''Elements''. The original proof is difficult to understand as is, so we quote the commentary from .
;Proposition 19
:If four numbers be proportional, the number produced from the first and fourth is equal to the number produced from the second and third; and, if the number produced from the first and fourth be equal to that produced from the second and third, the four numbers are proportional.
;Proposition 20
:The least numbers of those that have the same ratio with them measures those that have the same ratio the same number of times—the greater the greater and the less the less.
;Proposition 21
:Numbers prime to one another are the least of those that have the same ratio with them.
;Proposition 29
:Any prime number is prime to any number it does not measure.
;Proposition 30
:If two numbers, by multiplying one another, make the same number, and any prime number measures the product, it also measures one of the original numbers.
;Proof of 30
:If ''c'', a prime number, measure ''ab'', ''c'' measures either ''a'' or ''b''.
Suppose ''c'' does not measure ''a''.
Therefore ''c'', ''a'' are prime to one another.
[ VII. 29]Suppose
''ab'mc''.Therefore
''c'' : ''a'' ''b'' : ''m''. [ VII. 19]Hence [
VII. 20,
21] ''b'nc'', where ''n'' is some integer.
Therefore
''c'' measures ''b''.Similarly, if ''c'' does not measure ''b'', ''c'' measures ''a''.
Therefore ''c'' measures one or other of the two numbers ''a'', ''b''.
Q.E.D.
Q.E.D. or QED is an initialism of the List of Latin phrases (full), Latin phrase , meaning "that which was to be demonstrated". Literally, it states "what was to be shown". Traditionally, the abbreviation is placed at the end of Mathematical proof ...
See also
*
Bézout's identity
*
Euclidean algorithm
*
Fundamental theorem of arithmetic
*
Irreducible element
*
Prime element
In mathematics, specifically in abstract algebra, a prime element of a commutative ring is an object satisfying certain properties similar to the prime numbers in the integers and to irreducible polynomials. Care should be taken to distinguish ...
*
Prime number
A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
*
Prime ideal
Footnotes
Notes
Citations
References
*.
*
vol. 2*
*
*
*
*
*.
*
*.
*.
External links
*
{{DEFAULTSORT:Euclid's Lemma
Articles containing proofs
Euclid
Lemmas in number theory
Theorems about prime numbers