Grupo discreto

Ya que los grupos topológicos son homogéneos, solo es necesario mirar a un solo punto para determinar si el grupo topológico es discreto. En particular, un grupo topológico es discreto si y solo si el conjunto unitario que contiene la identidad es un conjunto abierto.

Un grupo discreto es lo mismo que un grupo de Lie cero-dimensional (los grupos discretos incontables no son segundo numerables así que los autores que requieren que los grupos de Lie satisfagan este axioma no consideran a estos grupos como grupos de Lie). El componente de identidad de un grupo discreto es el subgrupo trivial, mientras que el grupo de componentes es isomorfo con el propio grupo.

Puesto que la única topología de Hausdorff en un conjunto finito es la discreta, un grupo topológico de Hausdorff finito necesariamente debe ser discreto. De ello se desprende que todos los subgrupos finitos de un grupo de Hausdorff son discretos.

Un subgrupo discreto H de G es cocompacto si hay un subconjunto compacto K de G de tal manera que HK=G.

Los subgrupos discretos juegan un papel importante en la teoría de los grupos recubridores y los grupos localmente isomorfos. Un subgrupo discreto normal de un grupo conectado G necesariamente se encuentra en el centro de G y por lo tanto es abeliano.

Otras propiedades:

• Cada grupo discreto está totalmente desconectado
• Todos los subgrupos de un grupo discreto son discretos.
• Todos los grupos cocientes de un grupo discreto son discretos.
• El producto de un número finito de grupos discretos es discreto.
• Un grupo discreto es compacto si y solo si es finito.
• Cada grupo discreto es localmente compacto.
• Cada subgrupo discreto de un grupo de Hausdorff es cerrado.
• Cada subgrupo discreto de un grupo compacto de Hausdorff es finito.

• Los grupos de friso y los grupos cristalográficos planos (wallpaper groups, en inglés) son subgrupos discretos del grupo de isometría del plano euclidiano. Los grupos cristalográficos planos son cocompactos, pero los grupos de friso no lo son.
• Un grupo espacial es un subgrupo discreto del grupo de isometría del espacio euclidiano de una cierta dimensión.
• Un grupo cristalográfico por lo general es un subgrupo discreto, cocompacto de las isometrías de un espacio euclidiano. A veces, sin embargo, un grupo cristalográfico puede ser un subgrupo discreto cocompacto de un grupo de Lie resoluble o nilpotente.
• Todo grupo triangular T es un subgrupo discreto del grupo de isometría de la esfera (cuando T es finito), del plano euclidiano (cuando T tiene Z + Z subgrupos de índice finito), o del plano hiperbólico.
• Los grupos fuchsianos (o grupos de Fuchs) son, por definición, subgrupos discretos del grupo de isometría del plano hiperbólico.[2]
  • Un grupo fuchsiano que preserva la orientación y actúa en el modelo de semiplano superior del plano hiperbólico es un subgrupo discreto del grupo de Lie PSL(2,R), conservando el grupo de isometrías la orientación del modelo de semiplano superior del plano hiperbólico.

• • Un grupo fuchsiano es a veces considerado como un caso especial de un grupo kleiniano, incrustando el plano hiperbólico isométricamente en el espacio hiperbólico tridimensional y extendiendo la acción de grupo del plano a todo el espacio.
  • El grupo modular es un subgrupo discreto de PSL (2,R). El grupo modular es una red de PSL (2,R) y es cocompacto, esto es, el espacio cociente de la acción es de volumen finito.
• Los grupos kleinianos son, por definición, subgrupos discretos del grupo de isometría del 3-espacio hiperbólico. Estos incluyen a los grupos cuasi-fuchsianos.
  • Un grupo kleiniano que preserva la orientación y actúa sobre el modelo semiespacial superior del 3-espacio hiperbólico es un subgrupo discreto del grupo de Lie PSL(2,C), conservando el grupo de isometrías la orientación del modelo semiespacio superior del 3-espacio hiperbólico.
• Una red de un grupo de Lie es un subgrupo discreto tal que la medida de Haar del espacio cociente es finita.

• grupo puntual cristalográfico
• subgrupo de congruencia
• grupo aritmético
• teoría geométrica de grupos
• teoría computacional de grupos
• libremente discontinuo
• conjunto regular libre

• Hazewinkel, Michiel, ed. (2001), «Discrete group of transformations», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.
• Hazewinkel, Michiel, ed. (2001), «Discrete subgroup», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.