Considerando la frontera de la bola, un grupo kleiniano se puede definir también como un subgrupo Γ de PGL(2,C), el grupo lineal proyectivo, que actúa por transformaciones de Möbius sobre la esfera de Riemann. Clásicamente, se requiere que un grupo kleiniano actúe propiamente y discontinuamente sobre un subconjunto abierto no vacío de la esfera de Riemann, pero los usos modernos permiten cualquier subgrupo discreto.

Cuando Γ es isomorfo al grupo fundamental ${\displaystyle \pi _{1}}$  de una 3-variedad hiperbólica, entonces el espacio cociente H³/Γ es un modelo kleiniano de la variedad. Muchos autores usan los términos modelo kleiniano y grupo kleiniano indistintamente, intercambiándolos.

La discretitud implica que los puntos de B³ tienen estabilizadores finitos, y órbitas discretas bajo el grupo Γ. Pero la órbita Γp de un punto p típicamente se acumula en la frontera de la bola cerrada ${\displaystyle {\bar {B}}^{3}}$ .

La frontera de la bola cerrada se llama esfera en el infinito, y se denota ${\displaystyle S_{\infty }^{2}}$ . El conjunto de puntos de acumulación de Γp en ${\displaystyle S_{\infty }^{2}}$  se llama conjunto límite de Γ, y se suele denotar ${\displaystyle \Lambda (\Gamma )}$ . El complementario ${\displaystyle \Omega (\Gamma )=S_{\infty }^{2}-\Lambda (\Gamma )}$  se llama dominio de discontinuidad, conjunto ordinario o conjunto regular. El teorema de finitud de Ahlfors implica que si el grupo es finitamente generado entonces ${\displaystyle \Omega (\Gamma )/\Gamma }$  es un orbifold de la superficie de Riemann de tipo finito.

La bola unidad B³ con su estructura conforme es el modelo de Poincaré del 3-espacio hiperbólico. Usando la métrica

${\displaystyle ds^{2}={\frac {4\left|dx\right|^{2}}{\left(1-|x|^{2}\right)^{2}}}}$ 

es un modelo del espacio hiperbólico tridimensional H³. El conjunto de endomorfismos conformes de B³ se vuelve el conjunto de isometrías (esto es, aplicaciones que preservan distancias) de H³ bajo esta identificación. Estas aplicaciones se restringen a endomorfismos conformes de ${\displaystyle S_{\infty }^{2}}$ , que son transformaciones de Möbius. Existen isomorfismos

${\displaystyle \operatorname {Mob} (S_{\infty }^{2})\cong \operatorname {Conf} (B^{3})\cong \operatorname {Isom} (\mathbf {H} ^{3}).}$ 

Los subgrupos de estos grupos consistentes en transformaciones que preservan la orientación son todos isomorfos al grupo proyectivo matricial: PSL(2,C) vía la identificación usual de la esfera unidad con la línea compleja proyectiva P¹(C).

• Se dice que un grupo kleiniano es de tipo finito si su región de discontinuidad tiene un número finito de órbitas de componentes bajo la acción del grupo, y el cociente de cada componente por su estabilizador es una superficie de Riemann compacta con un número finito de puntos eliminados, y el recubrimiento se ramifica en un número finito de puntos.
• Se dice que un grupo kleiniano es finitamente generado si tiene un número finito de generadores. El teorema de finitud de Ahlfors dice que un grupo de este tipo es finito.
• Un grupo kleiniano Γ tiene covolumen finito si H³/Γ tiene volumen finito. Un grupo kleiniano de covolumen finito está finitamente generado.
• Se dice que un grupo kleiniano es geométricamente finito si tiene un poliedro fundamental (en el 3-espacio hiperbólico) con un número finito de caras. Ahlfors mostró que si el conjunto límite no es la esfera de Riemann completa entonces tiene medida cero.
• Se dice que un grupo kleiniano Γ es aritmético si es conmensurable con los elementos de norma 1 de un orden de álgebra de cuaternios A ramificada en todos los puntos reales sobre un cuerpo numérico k con exactamente un punto complejo. Los grupos kleinianos aritméticos tienen covolumen finito.
• Se dice que un grupo kleiniano Γ es cocompacto si H³/Γ es compacto, o, equivalentemente, si SL(2, C)/Γ es compacto. Los grupos kleinianos cocompactos tienen covolumen finito.
• Se dice que un grupo kleiniano es topológicamente monótono si es finitamente generado y su variedad hiperbólica es homeomorfa al interior de una variedad compacta con frontera.
• Se dice que un grupo kleiniano es geométricamente monótono si sus límites son o bien geométricamente finitos o bien simplemente degenerados (Thurston, 1980).

Un grupo de Bianchi es un grupo kleiniano de la forma PSL(2, O_d), donde ${\displaystyle {\mathcal {O}}_{d}}$  es el anillo de enteros del cuerpo cuadrático imaginario ${\displaystyle \mathbb {Q} ({\sqrt {-d}})}$  con d un entero libre de cuadrados positivo.

Se dice que un grupo kleiniano es elemental si su conjunto límite es finito, en cuyo caso el conjunto límite tiene 0, 1 o 2 puntos. Ejemplos de grupos kleinianos elementales incluyen los grupos kleinianos finitos (con conjunto límite vacío) y los grupos kleinianos cíclicos infinitos.

Se dice que un grupo kleiniano es reducible si todos sus elementos tienen un punto fijo común en la esfera de Riemann. Los grupos kleinianos reducibles son elementales, pero algunos grupos kleinianos elementales finitos no son reducibles.

Los grupos fuchsianos (un subgrupo discreto de SL(2, R)) son grupos kleinianos, y equivalentemente cualquier grupo kleiniano que preserve el eje real (en su acción sobre la esfera de Riemann) es un grupo fuchsiano. De forma más general, todo grupo kleiniano que preserva una circunferencia o línea recta en la esfera de Riemann es conjugado de un grupo fuchsiano.

• Un factor de un grupo kleiniano G es un subgrupo H maximal sujeto a las siguientes propiedades:
  • H tiene una componente invariante simplemente conexa D.
  • Un conjugado de un elemento h de H por una biyección conforme es parabólico o elíptico si y solo si h lo es.
  • Cualquier elemento parabólico de G que fije un punto frontera de D está en H.
• Un grupo kleiniano se llama grupo de Koebe si todos sus factores son elementales o fuchsianos.

Un grupo kleiniano que preserva una curva de Jordan se llama grupo cuasifuchsiano. Cuando la curva de Jordan es una circunferencia o una línea recta estos son conjugados a grupos fuchsianos bajo transformaciones conformes. Los grupos cuasifuchsianos finitamente generados son conjugados a grupos fuchsianos bajo transformaciones cuasiconformes. El conjunto límite está contenido en la curva de Jordan invariante; si es igual a la curva de Jordan se dice que el grupo de tipo 1, y en otro caso se dice que es de tipo 2.

Sean C_i las circunferencias frontera de una colección finita de discos cerrados disjuntos. El grupo generado por inversión en cada circunferencia tiene como conjunto límite un conjunto de Cantor, y el cociente H³/G es un orbifold espejo que tiene como espacio subyacente una bola. Está doblemente cubierto por un cubo con asas. El correspondiente subgrupo de índice 2 es un grupo kleiniano llamado grupo de Schottky.

Sea T un teselado periódico de un 3-espacio hiperbólico. El grupo de simetrías del teselado es un grupo kleiniano.

El grupo fundamental de cualquier 3-variedad hiperbólica orientada es un grupo kleiniano. Hay muchos ejemplos, como el complementario de un nudo de ocho o el espacio de Seifert-Weber. Si un grupo kleiniano no tiene elementos de torsión no triviales entonces es el grupo fundamental de una 3-variedad hiperbólica.

Se dice que un grupo kleiniano es degenerado si no es elemental y su conjunto límite es simplemente conexo. Estos grupos pueden construirse tomando un límite adecuado de grupos cuasifuchsianos tales que una de las dos componentes de los puntos regulares se limite al conjunto vacío; estos grupos se llaman singularmente degenerados. Si ambos componentes del conjunto regular se reducen al conjunto vacío, entonces el conjunto límite es una curva que llena el espacio el grupo se dice doblemente degenerado. Le existencia de grupos kleinianos degenerados fue demostrada de forma indirecta por Bers (1970), y el primer ejemplo lo halló Jørgensen.Cannon y Thurston (2007) dieron ejemplos de grupos doblemente degenerados y curvas que rellenan el espacio asociadas a aplicaciones seudo-Anosov.

• Conjetura de la medida de Ahlfors
• Teorema de densidad para grupos kleinianos

• Bers, Lipman (1970), «On boundaries of Teichmüller spaces and on Kleinian groups. I», Annals of Mathematics, Second Series 91 (3): 570-600, ISSN 0003-486X, doi:10.2307/1970638 .
• Bers, Lipman, ed. (1974), A crash course on Kleinian groups, Lecture Notes in Mathematics 400, Berlin, Nueva York: Springer-Verlag, doi:10.1007/BFb0065671 .
• Cannon, James W.; Thurston, William P. (2007) [1982], «Group invariant Peano curves», Geometry & Topology 11: 1315-1355, ISSN 1465-3060, doi:10.2140/gt.2007.11.1315 .
• Fricke, Robert; Klein, Felix (1897), Vorlesungen über die Theorie der automorphen Functionen. Erster Band; Die gruppentheoretischen Grundlagen (en alemán), Leipzig: B. G. Teubner, ISBN 978-1-4297-0551-6 .
• Fricke, Robert; Klein, Felix (1912), Vorlesungen über die Theorie der automorphen Functionen. Zweiter Band: Die funktionentheoretischen Ausführungen und die Anwendungen. 1. Lieferung: Engere Theorie der automorphen Funktionen (en alemán), Leipzig: B. G. Teubner., ISBN 978-1-4297-0552-3 .
• Harvey, William James (1978), «Kleinian groups (a survey).», Séminaire Bourbaki, 29e année (1976/77), Exp. No. 491, Lecture Notes in Math. 677, Springer, Berlin, pp. 30-45, doi:10.1007/BFb0070752 .
• Kapovich, Michael (2009) [2001], Hyperbolic manifolds and discrete groups, Modern Birkhäuser Classics, Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-4912-8, doi:10.1007/978-0-8176-4913-5 .
• Klein, Felix (1883), «Neue Beiträge zur Riemann'schen Functionentheorie», Mathematische Annalen (Springer Berlin / Heidelberg) 21 (2): 141-218, ISSN 0025-5831, doi:10.1007/BF01442920 .
• Kra, Irwin (1972), Automorphic forms and Kleinian groups, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass. .
• Krushkal, S.L. (2001), «Grupo kleiniano», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
• Maclachlan, Colin; Reid, Alan W. (2003), The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics 219, Berlin, Nueva York: Springer-Verlag, ISBN 978-0-387-98386-8 .
• Maskit, Bernard (1988), Kleinian groups, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 287, Berlin, Nueva York: Springer-Verlag, ISBN 978-3-540-17746-3 .
• Matsuzaki, Katsuhiko; Taniguchi, Masahiko (1998), Hyperbolic manifolds and Kleinian groups, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, ISBN 978-0-19-850062-9 .
• Mumford, David; Series, Caroline; Wright, David (2002), Indra's pearls, Cambridge University Press, ISBN 978-0-521-35253-6 .
• Poincaré, Henri (1883), «Mémoire sur Les groupes kleinéens», Acta Mathematica (Springer Netherlands) 3: 49-92, ISSN 0001-5962, doi:10.1007/BF02422441 .
• Series, Caroline (2005), «A crash course on Kleinian groups», Rendiconti dell'Istituto di Matematica dell'Università di Trieste 37 (1): 1-38, ISSN 0049-4704, archivado desde el original el 22 de julio de 2011 .
  • Thurston, William (1980), The geometry and topology of three-manifolds, Princeton lecture notes, archivado desde el original el 27 de julio de 2020, consultado el 9 de diciembre de 2017 .
• Thurston, William P. (1982), «Three-dimensional manifolds, Kleinian groups and hyperbolic geometry», American Mathematical Society. Bulletin. New Series 6 (3): 357-381, ISSN 0002-9904, doi:10.1090/S0273-0979-1982-15003-0 .

• Una imagen del conjunto límite de un grupo cuasifuchsiano de (Fricke y Klein, 1897, p. 418).
• Una imagen del conjunto límite de un grupo kleiniano de (Fricke y Klein, 1897, p. 440). Esta fue una de las primeras imágenes de un conjunto límite. Un dibujo por ordenador del mismo conjunto límite.
• Animaciones de conjuntos límite de grupos kleinianos
• Imágenes relacionadas con grupos kleinianos por McMullen
• Weisstein, Eric W. «Kleinian Group». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.