This paper deals with the discrete groups of rigid motions of the hyperbolic plane. It is known (12) that the finitely generated, orientation-preserving groups have the following presentations:
Generators:
.
Defining relations:
where km = ambmam-1bm-1 . We shall denote this group by F(p; n1 , … , nd; r).
In particular, the finitely generated free groups are contained among these. Indeed, one purpose of this paper is to indicate some geometrical methods for investigating free groups.