structural:scholar_edition, information:filtering
Number-theoretic properties

The unit determinant of

implies that the fractions,,, are all irreducible, that is having no common factors (provided the denominators are non-zero, of course). More generally, if p / q is an irreducible fraction, then

is also irreducible (again, provided the denominator be non-zero). Any pair of irreducible fractions can be connected in this way; that is, for any pair p / q and r / s of irreducible fractions, there exist elements

such that

Elements of the modular group provide a symmetry on the two-dimensional lattice. Let ω and ω be two complex numbers whose ratio is not real. Then the set of points

is a lattice of parallelograms on the plane. A different pair of vectors α and α will generate exactly the same lattice if and only if

for some matrix in GL(2, Z). It is for this reason that doubly periodic functions, such as elliptic functions, possess a modular group symmetry.

The action of the modular group on the rational numbers can most easily be understood by envisioning a square grid, with grid point (p, q) corresponding to the fraction p / q (see Euclid's orchard). An irreducible fraction is one that is visible from the origin; the action of the modular group on a fraction never takes a visible (irreducible) to a hidden (reducible) one, and vice versa.

Note that any member of the modular group maps the projectively extended real line one-to-one to itself, and furthermore bijectively maps the projectively extended rational line (the rationals with infinity) to itself, the irrationals to the irrationals, the transcendental numbers to the transcendental numbers, the non-real numbers to the non-real numbers, the upper half-plane to the upper half-plane, et cetera.

If p / q and p / q are two successive convergents of a continued fraction, then the matrix

belongs to GL(2, Z). In particular, if bc − ad = 1 for positive integers a, b, c, d with a < b and c < d then a / b and c / d will be neighbours in the Farey sequence of order max(b, d). Important special cases of continued fraction convergents include the Fibonacci numbers and solutions to Pell's equation. In both cases, the numbers can be arranged to form a semigroup subset of the modular group.