Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-05T21:09:33.216Z Has data issue: false hasContentIssue false

Conjugacy separability of certain Bianchi groups and HNN extensions

Published online by Cambridge University Press:  01 March 1998

J. S. WILSON
Affiliation:
School of Mathematics and Statistics, University of Birmingham
P. A. ZALESSKII
Affiliation:
Institute of Engineering Cybernetics, Academy of Sciences of Belarus, Minsk, Belarus

Abstract

The Bianchi groups are the groups PSL2([Oscr ]d), where [Oscr ]d denotes the ring of integers of the field ℚ (√−d) for each square-free positive integer d. These groups have long been of interest, not only because of their intrinsic interest as abstract groups, but also because they arise naturally in number theory and geometry. For a discussion of their algebraic properties we refer the reader to Fine [4]. Among the groups PSL2(R), with R the ring of integers of an algebraic number field, they are distinguished by the nature of their normal subgroup structure. It was shown by Serre [20] that if R is not isomorphic to ℤ or [Oscr ]d, then for every normal subgroup K of SL2(R) there is an ideal I of R such that the image in SL2(R)/K of the kernel of the natural map from SL2(R) to SL2(R/I) is central and isomorphic to a subgroup of the group of roots of 1 in R. On the other hand, the group PSL2(ℤ) and the Bianchi groups have many subgroups of finite index which are not of the above type: this follows easily from the fact that PSL2(ℤ) is a free product of a group of order 2 and a group of order 3, and the fact, proved by Grunewald and Schwermer [6], that each Bianchi group has a normal subgroup of finite index which can be mapped epimorphically to a non-abelian free group.

Type
Research Article
Copyright
Cambridge Philosophical Society 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)