Definir uma generalização do conceito de transformação de Möbius e construir uma teoria indutiva do que venha a ser um espaço hiperbólico de dimensão n. Essa teoria indutiva nos permite que, se iniciando com n=1, juntamente com a noção de extensão de Poincaré, construir uma cadeia de grupos GM(n) de transformação de Möbius e os espaços hiperbólicos Hn associados.
Veremos Fórmulas explícitas para os bissetores de Poincaré em dimensão 2 e 3. E que nos modelos de bola do espaço hiperbólico, esses bissetores, coincidem com as esferas isométricas das isometrias.
Iremos usar as fórmulas explícitas dos bissetores, para obter-se um algoritmo, o DAFC, para a obtenção de geradores para grupos Fuchsianos, que será nosso grupo em estudo.