On Fundamental Domains for Subgroups of Isometries Acting in

Abstract

Given a fundamental polyhedron for the action of , a classical kleinian group, acting in -dimensional hyperbolic space, and , a finite index subgroup of , one obtains a fundamental domain for pasting copies of by a Schreier process. It also generalizes the side pairing generating theorem for exact or inexact polyhedra. It is proved as well that the general Möbius group acting in is transitive on “-spheres”. Hence, describing the hyperbolic -planes in the upper half space model intrinsically, and providing also an alternative proof of the transitive action on them. Some examples are given in detail, derived from the classical modular group and the Picard group.