The functions GCD and LCM , , and have the following values for specialized values:
The first values of the greatest common divisor (gcd(m, n)) of the integers and for and are described in the following table:
The first values of the extended greatest common divisor () of the integers and for and are described in the following table:
The first values of the least common multiple () of the integers and for and are described in the following table:
The functions and are nonanalytical functions defined over with values in .
The function is a vector‐valued nonanalytical function defined over .
All three functions , , and do not have periodicity.
The functions and are even functions:
The functions and have permutation symmetry:
The function has the following sum representations:
where is the floor function and is the Kronecker delta function.
The functions and have the following product representations:
The function can be represented as the coefficients of the series expansion of corresponding generating functions, which includes a sum of the Euler totient function:
The GCD and LCM functions , , and satisfy special relations including multiple arguments, for example:
The GCD and LCM functions satisfy some parallel identities that can be presented in the forms shown in the following table:
There are many finite and infinite sums containing GCD and LCM functions, for example:
The following two related limits include the function . The third limit includes lcm():
The functions and satisfy various inequalities, for example:
