Phrase guide

Euclid's lemma

noun · 3 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

No pronunciation record was provided for this word.

1

noun

Meaning 1

The proposition that if a prime number p divides an arbitrary product ab of integers, then p divides a or b or both;

Definition source: English Wiktionary via Wiktextract

Usage: uncountable

Topics: mathematics, number-theory, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

2

noun

Meaning 2

The proposition that if a prime number p divides an arbitrary product ab of integers, then p divides a or b or both; slightly more generally, the proposition that for integers a, b, c, if a divides bc and gcd(a, b) = 1, then a divides c; (algebra, by generalisation) the proposition that for elements a, b, c of a given principal ideal domain, if a divides bc and gcd(a, b) = 1, then a divides c.

slightly more generally, the proposition that for integers a, b, c, if a divides bc and gcd(a, b) = 1, then a divides c;

Definition source: English Wiktionary via Wiktextract

Usage: uncountable

Topics: mathematics, number-theory, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

3

noun

Meaning 3

The proposition that if a prime number p divides an arbitrary product ab of integers, then p divides a or b or both; slightly more generally, the proposition that for integers a, b, c, if a divides bc and gcd(a, b) = 1, then a divides c; (algebra, by generalisation) the proposition that for elements a, b, c of a given principal ideal domain, if a divides bc and gcd(a, b) = 1, then a divides c.

the proposition that for elements a, b, c of a given principal ideal domain, if a divides bc and gcd(a, b) = 1, then a divides c.

Definition source: English Wiktionary via Wiktextract

Usage: uncountable

Topics: algebra, mathematics, number-theory, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

History

Etymology

Named after ancient Greek mathematician Euclid of Alexandria (fl. 300 BCE). A version of the proposition appears in Book VII of his Elements.