For two positive natural numbers, their least common multiple is the smallest natural number that is divisible by both and , i.e. such that there exist with .
Spelled out, this means that the least common multiple of , denoted , is the element uniquely characterized by the following two conditions:
and ;
if and , then .
One could equivalently equip the natural numbers with a function which satisfies the two conditions:
and ;
if and , then .
It is not true that “least” means least with respect to the usual ordering . In particular, is the minimal element with respect to the divisibility ordering, and according to the definition above. However, if we construe “least” in the sense of , since every natural number is a common multiple of with itself, then is the -least natural number!
Furthermore, it is also less robust, because the notion of is at bottom an ideal-theoretic notion: the divisibility order on elements of a principal ideal domain is a preorder whose posetal collapse is the collection of ideals, ordered oppositely to inclusion. Thus, in ring-theoretic contexts where there is no sensible notion of , for example in the ring of Gaussian integers, the notion of still makes perfectly good sense if we use the first formulation above, expressed purely in terms of divisibility.
From the point of view of principal ideals in a pid or Bézout domain , the lcm corresponds to taking their meet: .
In an arbitrary Bézout unique factorization domain , the least common multiple function is only a prelattice, because the minimum elements with respect to the least common multiple are given by the group of units . One usually takes the quotient monoid? of the multiplicative structure on by the group of units to get a lattice: thus, the least common multiple is a function . In particular, in a discrete field , the quotient is the boolean domain and the lcm is thus a function , and in a Heyting field , the quotient is the set of truth values whose divisibility partial order is the opposite poset of the usual partial order via entailment, and the lcm is thus a function , defined as
Last revised on January 23, 2023 at 17:31:16. See the history of this page for a list of all contributions to it.