Euclid's lemma

In algebra and number theory, Euclid's lemma is a lemma that captures a fundamental property of prime numbers, namely: For example, if p = 19, a = 133, b = 143, then ab = 133 × 143 = 19019, and since this is divisible by 19, the lemma implies that one or both of 133 or 143 must be as well. In fact, 133 = 19 × 7. If the premise of the lemma does not hold, i.e., p is a composite number, its consequent may be either true or false. For example, in the case of p = 10, a = 4, b = 15, composite number 10 divides ab = 4 × 15 = 60, 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 elements, a generalization of prime numbers to arbitrary commutative rings. 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. Euclid's lemma is commonly used in the following equivalent form: If is a prime number that divides the product and does not divide then it divides Euclid's lemma can be generalized as follows from prime numbers to any integers. If an integer n divides the product ab of two integers, and is coprime with a, then n divides b. This is a generalization because a prime number p is coprime with an integer a if and only if p does not divide a. The lemma first appears as proposition 30 in Book VII of Euclid'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.

Mirror symmetry for moduli spaces of Higgs bundles via $p$-adic integration

Dimitri Stelio Wyss, Michael Gröchenig

We prove the Topological Mirror Symmetry Conjecture by Hausel-Thaddeus for smooth moduli spaces of Higgs bundles of type

SL_n

and

PGL_n

. More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generica ...

2017

Geometric stabilisation via $p$-adic integration

Mirror symmetry for moduli spaces of Higgs bundles via $p$-adic integration

Geometric stabilisation via $p$-adic integration

Mirror symmetry for moduli spaces of Higgs bundles via $p$-adic integration