We say that a subgroup $G$ of $\mathrm {PSL}(2, \mathbb R)$ is a **Fuchsian group of
the first kind** if:

- It is a discrete subgroup of $\text{PSL}_2(\mathbb{R})$ for the natural topology induced by the topology of $2\times 2$ real matrices
- It has finite covolume for the hyperbolic metric $d\mu=dxdy/y^2$, i.e. \[ \text{covol}(G)=\int_{\mathfrak{F}(G)}d\mu<\infty, \] where $\mathfrak{F}(G)$ is the fundamental domain of $G$.

**Authors:**

**Knowl status:**

- Review status: beta
- Last edited by Andreea Mocanu on 2016-03-24 12:36:02

**Referred to by:**

**History:**(expand/hide all)