Fix an integer d and let D be the discriminant of the imaginary quadratic field Q(√-d). The Zimmert set Z(d) is the set of positive integers n such that 4n2 < -D-3 and n ≠ 2; D is a quadratic non-residue of all odd primes in d; n is odd if D is not congruent to 5 modulo 8. The cardinality of Z(d) may be denoted by z(d).
For all but a finite number of d we have z(d) > 1: indeed this is true for all d > 10476.
Let Γd denote the Bianchi group PSL(2,Od), where Od is the ring of integers of. As a subgroup of PSL(2,C), there is an action of Γd on hyperbolic 3-space H3, with a fundamental domain. It is a theorem that there are only finitely many values of d for which Γd can contain an arithmetic subgroup G for which the quotient H3/G is a link complement. Zimmert sets are used to obtain results in this direction: z(d) is a lower bound for the rank of the largest free quotient of Γd and so the result above implies that almost all Bianchi groups have non-cyclic free quotients.
- Mason, A.W.; Odoni, R.W.K.; Stothers, W.W. (1992). "Almost all Bianchi groups have free, non-cyclic quotients". Math. Proc. Camb. Philos. Soc. 111 (1): 1–6. doi:10.1017/S0305004100075101. Zbl 0758.20009.
- Zimmert, R. (1973). "Zur SL2 der ganzen Zahlen eines imaginär-quadratischen Zahlkörpers". Inventiones mathematicae. 19: 73–81. Zbl 0254.10019.