For a positive square-free integer , the Bianchi group is the group , where is the ring of integers in the imaginary quadratic number field . This class of groups is of interest in may different areas. In algebra they arise as the simplest numerically defined discrete groups. In number theory they have been used to study the zeta-functions of binary Hermitian forms over the rings . Finally, they are of interest in the theory of Fuchsian groups (cf. Fuchsian group) and the related theory of Riemann surfaces (cf. Riemann surface). The Bianchi groups can be considered as the natural algebraic generalization of the classical modular group . A good general reference for the Bianchi groups and their relation to the modular group is [a2]. For the rings have Euclidean algorithms (cf. Euclidean algorithm) and the corresponding groups are the Euclidean Bianchi groups. As is to be expected, these are much closer in properties to the modular group than in the non-Euclidean cases. Of particular interest is the group , which is called the Picard group.
A general method to determine finite presentations for each was developed by R. Swan [a5] based on geometrical work of L. Bianchi, while a separate purely algebraic method was given by P.M. Cohn [a1]. A computer implementation of Swan's method was derived by R. Riley [a3].
Algebraic interest centred on two questions raised in the work of J.-P. Serre. First, Serre showed (see [a4]) that for these groups do not satisfy property FA. It was thus conjectured that they were all non-trivial free products with amalgamation. This was proved by B. Fine in the Euclidean cases and by Fine and C. Frohmann in general using topological methods. In summary:
1) For each , the Bianchi group decomposes as a non-trivial free product with amalgamation. If , one has , where is the group of projective elementary matrices over , is a group depending on , and the amalgamated subgroup is an amalgam of two copies of the modular group.
The second of Serre's questions involved the congruence subgroup property. If is a commutative ring and is an ideal in , the mapping induces a mapping . The kernel of this mapping is called the principal congruence subgroup modulo . A congruence subgroup is a subgroup of finite index containing a principal congruence subgroup. H. Bass, J. Milnor and Serre proved that in for , every subgroup of finite index is a congruence subgroup. This is false in the modular group and Serre proved that:
2) For each the Bianchi group contains non-congruence subgroups of finite index.
Another proof of this using the theory of pro-finite groups was given by A.E. Lubotzky.
Other questions on the Bianchi groups involved their Fuchsian subgroups. Fine determined the structure of such Fuchsian imbeddings while C. Maclachlan and A. Reid dealt with arithmetic Fuchsian groups (see [a2]). Work has also been done on the homology of the group and on the structure of the -manifolds , where is hyperbolic -dimensional space (see [a2] for complete references).
|[a1]||P.M. Cohn, "A presentation for for Euclidean quadratic imaginary number fields" Mathematika , 15 (1968) pp. 156–163|
|[a2]||B. Fine, "Algebraic theory of the Bianchi groups" , M. Dekker (1989)|
|[a3]||R. Riley, "Applications of a computer implementation of Poincaré's theorem on fundamental polyhedra" Math. of Comp. , 40 (1983) pp. 1607–632|
|[a4]||J.P. Serre, "Trees" , Springer (1980)|
|[a5]||R.G. Swan, "Generators and relations for certain special linear groups" Adv. in Math. , 6 (1971) pp. 1–77|
Bianchi group. B. Fine (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Bianchi_group&oldid=15524