Let G be a Fuchsian Schottky group defined by a **possibly infinite** set of disjoint halfplanes {C\_i}\_i. Let F be the fundamental domain obtained by intersecting the complements of the C\_i's. If H i a subgroup of G then:
Can a fundamental domain for H be found in terms of the domain F?
Is H of schottky type?
Do the above answers change if we require 1) H to be normal in G ? 2) G to be finitely generated ? 3) H to be finitely generated?


It seems quite easy to find a fundamental region for H in terms of F. Yet I run into trouble trying to construct it in such a way that it is actually a domain. 


I will be greatful for some good references.



Fundamental domain for subgroup of fuchsian Schottky group.
Here is a concrete construction of a fundamental domain for $H$ that works regardless of normality and finite generation. The translates of the fundamental domain $F$ by the action of $G$ form a tiling of $\mathbb{H}^2$. Let $T$ denote the dual tree of this tiling, with one vertex for each translate of $F$, and with two vertices connected by an edge if the corresponding translates of $F$ intersect along a line. Note that each oriented edge $E$ of $T$ corresponds to a transversely oriented line $L\_E$ of the tiling which subdivides $\mathbb{H}^2$ into two halfplanes, and the transverse orientation on $L\_E$ points into one of those half-planes which I'll denote $C\_E$.


The action of $G$ on $\mathbb{H}^2$ induces a properly discontinuous action of $G$ on $T$ by simplicial isomorphisms. Consider the restricted action of $H$ on $T$, also properly discontinuous. The quotient graph $T/H$ has fundamental group identified with $H$. Let $\tau$ be a maximal tree in $T/H$. Let $\tilde\tau \subset T$ be a homeomorphic lift of $\tau$. As $E \subset T$ varies over all oriented edges not contained in $\tilde\tau$ but with initial endpoint in $\tau$, the collection of half-planes $C\_E$ demonstrates that $H$ is a Schottky group, and the complement of their union is a fundamental domain for $H$.


