Ver el código de «Grupos de puntos en tres dimensiones»

{{Grupo de puntos en 3d}}

En [[geometría]], un '''[[grupo puntual]] en tres dimensiones''' es un [[grupo de isometría]] tridimensional que deja fijo el origen, o en consecuencia, un grupo de isometría de una [[esfera]]. Es un [[subgrupo]] del [[grupo ortogonal]] O(3), el [[Grupo (matemática)|grupo]] de todas las [[isometría]]s que dejan fijo el origen, o correspondientemente el grupo de [[Matriz ortogonal|matrices ortogonales]]. O(3) en sí mismo es un subgrupo del [[grupo euclídeo]] E(3) de todas las isometrías.

Los [[grupo de simetría|grupos de simetría]] de objetos geométricos son grupos de isometría. En consecuencia, el análisis de grupos de isometría es el análisis de posibles [[simetría]]s. Todas las isometrías de un objeto 3D [[acotado]] (finito) tienen uno o más puntos fijos comunes. Se sigue la convención habitual eligiendo el [[Origen de coordenadas|origen]] como uno de ellos.

El grupo de simetría de un objeto también se denomina a veces su '''grupo de simetría total''', a diferencia de su '''grupo de simetría propio''', la intersección de su grupo de simetría total con [[Grupo euclídeo|E<sup>+</sup>(3)]], que consta de todos las [[Grupo euclídeo|''isometrías directas'']] , es decir, isometrías que conservan la [[orientación (matemáticas)|orientación]]. Para un objeto acotado, el grupo de simetría propio se denomina '''grupo de rotación'''. Es la intersección de su grupo de simetría total con [[Grupo de rotación SO(3)|SO(3)]], el grupo de rotación total del espacio 3D. El grupo de rotación de un objeto delimitado es igual a su grupo de simetría total [[bicondicional|si y solo si]] el objeto es [[Quiralidad (matemáticas)|quiral]].

Los grupos de puntos que son generados puramente por un conjunto finito de planos de reflexión que pasan por el mismo punto son los [[grupo de Coxeter|grupos de Coxeter]], representados por la [[notación de Coxeter]].

Los grupos de puntos en tres dimensiones se usan mucho en [[química]], especialmente para describir las simetrías de las [[molécula]]s y de los [[orbital molecular|orbitales moleculares]] que forman los [[enlace covalente|enlaces covalentes]], y en este contexto también se les llama '''[[Anexo:Tablas de caracteres para grupos de puntos 3D químicamente importantes|grupos de puntos moleculares]]'''.

==Isometrías tridimensionales que dejan el origen fijo==
Las isometrías sobre un espacio [[tridimensional]] '''R'''<sup>3</sup> que dejan fijo el origen, formando el grupo O(3), se pueden categorizar de la siguiente manera:
*SO(3):
**Identidad
**Rotación alrededor de un eje que pasa por el origen en un ángulo no igual a 180°
**Rotación alrededor de un eje que pasa por el origen en un ángulo de 180°
*Lo mismo con [[Simetría central|inversión]] ('''x''' se asigna a −'''x'''), es decir, respectivamente:
** Inversión
** Rotación alrededor de un eje por un ángulo no igual a 180°, combinado con reflexión en el plano a través del origen perpendicular al eje
** Reflexión en un plano a través del origen

El 4º y 5º enunciados en particular, y en un sentido más amplio también el 6º, se denominan [[rotación impropia|rotaciones impropias]].

Véase también el [[Grupo euclídeo|grupo de las traslaciones]], de características similares.

==Conjugación==
Al comparar el tipo de simetría de dos objetos, el origen se elige para cada uno por separado, es decir, no es necesario que tengan el mismo centro. Además, dos objetos se consideran del mismo tipo de simetría si sus grupos de simetría son subgrupos conjugados de O(3) (dos subgrupos ''H''<sub>1</sub>, ''H''<sub>2</sub> de un grupo ''G'' son [[Conjugación (teoría de grupos)|''conjugados'']], si existe ''g'' ∈ ''G'' tal que ''H''<sub>1</sub> = ''g''<sup>−1</sup>''H''<sub>2</sub>''g'').

Por ejemplo, dos objetos tridimensionales poseen el mismo tipo de simetría si se cumple que:
*Si ambos tienen simetría especular, pero con respecto a un plano especular diferente
*Si ambos tienen simetría rotacional triple, pero con respecto a un eje diferente
En el caso de múltiples planos especulares y/o ejes de rotación, dos grupos de simetría son del mismo tipo de simetría si y solo si hay una rotación que permite aplicar toda la estructura del primer grupo de simetría con la del segundo. De hecho, habrá más de una rotación de este tipo, pero no un número infinito como cuando solo hay un plano especular o un eje. La definición de conjugación también permitiría obtener una imagen especular de la estructura, pero esto no es necesario, dado que la estructura misma es aquiral. Por ejemplo, si un grupo de simetría contiene un eje de rotación triple, contiene rotaciones en dos direcciones opuestas (es decir, la estructura '''''es''''' quiral para 11 pares de '''''[[grupo espacial|grupos espaciales]]''''' y con un eje helicoidal).

==Grupos de isometría infinita==
{{VT|simetría rotacional}}

Hay muchos '''grupos de isometría infinita'''; por ejemplo, el "[[grupo cíclico]]" (lo que significa que es generado por un elemento, que no debe confundirse con un [[grupo de torsión]]) generado por una rotación de un [[número irracional]] de vueltas alrededor de un eje. Se pueden crear [[grupo abeliano|grupos abelianos]] no cíclicos agregando más rotaciones alrededor del mismo eje. También hay grupos no abelianos generados por rotaciones alrededor de diferentes ejes. Estos suelen ser (genéricamente) [[grupo libre|grupos libres]]. Serán infinitos a menos que las rotaciones se elijan especialmente.

Todos los grupos infinitos mencionados hasta ahora no son [[Conjunto cerrado|cerrados]] como [[Grupo topológico|subgrupos topológicos]] de O(3). Aquí se analizan los subgrupos topológicamente cerrados de O(3).

[[File:Blender-meta-ball.png|thumb|Una [[esfera]] sin marcas posee simetría O(3)]]

Todo O(3) es el grupo de simetría de [[simetría esférica]]; siendo [[Grupo de rotación SO(3)|SO(3)]] el grupo de rotación correspondiente. Los otros grupos de isometría infinita consisten en todos los [[movimiento de rotación|movimientos de rotación]] sobre un eje que pasa por el origen, y aquellos con reflexión adicional en los planos por el eje, y/o reflexión en el plano por el origen, perpendicular al eje. Aquellos con reflexión en los planos que pasan por el eje, con o sin reflexión en el plano por el origen perpendicular al eje, son los grupos de simetría para los dos tipos de [[simetría esférica]]. Cualquier forma 3D (subconjunto de '''R'''<sup>3</sup>) que tenga simetría rotacional infinita también debe tener simetría especular para cada plano a través del eje. Los objetos físicos, como un cono que gira alrededor de su eje, pueden tener una simetría rotacional infinita sin tener una simetría especular.<ref name="Curie 1894" />

Hay siete grupos continuos que son todos los límites de los grupos de isometría finitos. Estos llamados "grupos de puntos limitantes" o "grupos limitantes de Curie" llevan el nombre de [[Pierre Curie]], quien fue el primero en investigarlos.<ref name="Curie 1894">{{cite journal|title=Sur la symétrie dans les phénomènes physiques, symétrie d'un champ électrique et d'un champ magnétique|last=Curie|first=Pierre|author-link=Pierre Curie|volume=3|issue=1|pages=393–415|doi=10.1051/jphystap:018940030039300|journal=Journal de Physique|year=1894|language=fr|trans-title=On symmetry in physical phenomena, symmetry of an electric field and a magnetic field|url=https://hal.archives-ouvertes.fr/file/index/docid/239814/filename/ajp-jphystap_1894_3_393_0.pdf}}</ref><ref>{{cite book|doi=10.1016/B978-0-08-037014-9.50007-8|title=Crystal Symmetries: Shubnikov Centennial papers|chapter=On the Works of Pierre Curie on Symmetry|last=[[Alekséi Vasílievich Shúbnikov|Shubnikov]]|first=A.V.|pages=357–364|publisher=Pergamon Press|year=1988|isbn=0-08-037014-4 }}</ref> Las siete series infinitas de grupos axiales conducen a cinco grupos límite (dos de ellos son duplicados), y los siete grupos puntuales restantes producen dos grupos continuos más. En notación internacional, la lista es ∞, ∞2, ∞/m, ∞mm, ∞/mm, ∞∞ y ∞∞m.<ref>{{cite book|first=B. K.|last=Vainshtein.|title=Modern Crystallography, Vol. 1. Fundamentals of Crystals. Symmetry, and Methods of Structural Crystallography|publisher=Springer-Verlag Berlin.|edition=2nd enlarged|year=1994|isbn=978-3-642-08153-8|pages=93}}</ref>

==Grupos de isometría finitos==
Las simetrías en 3D que dejan fijo el origen se caracterizan completamente por simetrías en una esfera centrada en el origen. Para grupos finitos de puntos 3D, véase también el artículo sobre los [[Anexo:Grupos de simetría esférica|grupos de simetría esférica]].

Teniendo en cuenta la conjugación, el conjunto de grupos de puntos 3D finitos consta de:
*7 series infinitas con como máximo un eje de rotación de más de multiplicidad doble; son los grupos de simetría finitos en una [[Cilindro|superficie cilíndrica]] infinita, o de manera equivalente, los de un cilindro finito. A veces se denominan grupos de puntos axiales o prismáticos.
*7 grupos de puntos con múltiples ejes de rotación de multiplicidad 3 o más. También se pueden caracterizar como grupos de puntos con múltiples ejes de rotación triples, porque los 7 incluyen estos ejes; con respecto a los ejes de rotación triples, las combinaciones posibles son:
**4 ejes triples
**4 ejes triples y 3 ejes cuádruples
**10 ejes triples y 6 ejes quíntuples
Según el [[teorema de restricción cristalográfica]], un número limitado de grupos de puntos es compatible con la [[simetría traslacional]] discreta: 27 de las 7 series infinitas y 5 de las otras 7. Juntos, forman los llamados 32 [[grupo de puntos cristalográficos|grupos de puntos cristalográficos]].

==Las siete series infinitas de grupos axiales==

Las series infinitas de grupos axiales o prismáticos tienen un índice ''n'', que puede ser cualquier número entero. En cada serie, el grupo de simetría ''n'' contiene [[simetría rotacional]] de multiplicidad ''n'' sobre un eje, es decir, simetría con respecto a una rotación en un ángulo de 360°/''n''. ''n''=1 cubre los casos sin simetría rotacional. Hay cuatro series sin otros ejes de simetría rotacional (véase [[simetrías cíclicas]]) y tres con ejes adicionales de simetría doble (véase [[grupo diedral]]). Pueden entenderse como [[grupos de puntos en dos dimensiones]] extendidos con una coordenada axial y reflexiones en ella. Están relacionados con los [[friso (matemáticas)|frisos]],<ref>{{citation|last1=Fisher|first1=G.L.|title=Three-dimensional finite point groups and the symmetry of beaded beads|url=http://blakemellor.lmu.build/research/BeadedBeads.pdf|journal=[[ Journal of Mathematics and the Arts]]|year=2007|last2=Mellor|first2=B.|volume=1|issue=2|pages=85–96|doi=10.1080/17513470701416264|s2cid=40755219}}</ref> y pueden interpretarse como patrones de grupos de frisos repetidos ''n'' veces alrededor de un cilindro.

La siguiente tabla enumera varias notaciones para grupos de puntos, utilizando la [[notación de Hermann-Mauguin]] (usada en [[cristalografía]]), la [[notación de Schönflies]] (usada para describir la [[simetría molecular]]), la [[notación orbifold]] y la [[notación de Coxeter]]. Los tres últimos no solo están convenientemente relacionados con sus propiedades, sino también con el orden del grupo. La notación orbifold es una notación unificada, también aplicable para el [[grupo del papel pintado]] y para los [[friso (matemáticas)|frisos]]. Los grupos cristalográficos tienen ''n'' restringida a 1, 2, 3, 4 y 6; la eliminación de la restricción cristalográfica permite cualquier número entero positivo.
La serie de elementos resultante es:
{|class="wikitable sortable"
|- valign=top
! colspan=2|[[notación de Hermann-Mauguin|Internac.]]
! rowspan=2|[[notación de Schoenflies|Schoenflies]]
! rowspan=2|[[notación orbifold|Orbifold]]
! rowspan=2|[[notación de Coxeter|Coxeter]]
! [[Friso (matemáticas)|Friso]]
! rowspan=2|[[Anexo:Grupos finitos de orden bajo|Estructura]]
! rowspan=2|[[número de simetría|Orden]]
! rowspan=2|Ejemplo
! rowspan=2|Comentarios
|- align=center
! ''n'' par || ''n'' impar||(cilindro)
|- align=center
|colspan=2|''n''||''C''<sub>''n''</sub>||''nn''||[n]<sup>+</sup><br />{{DCD|node_h2|n|node_h2}}||p1||[[Grupo cíclico|Z<sub>''n''</sub>]]||''n''||[[File:Uniaxial_C6.png|120px]]||Simetría rotacional de orden ''n''
|- align=center
|{{overline|2''n''}}||{{overline|''n''}}||''S''<sub>2''n''</sub>||''n''×||[2''n''<sup>+</sup>,2<sup>+</sup>]<br />{{DCD|node_h2|2x|n|node_h4|2x|node_h2}}||p11g||Z<sub>2''n''</sub>||2''n''||[[File:Uniaxial_S6.png|120px]]||Simetría de [[rotación impropia]] de orden 2''n''
|- align=center
|''n''/m||{{overline|2''n''}}||''C''<sub>''n''h</sub>||''n''*||[n<sup>+</sup>,2]<br />{{DCD|node_h2|n|node_h2|2|node}}||p11m||Z<sub>''n''</sub>×Z<sub>2</sub>||2''n''||[[File:Uniaxial_C6h.png|120px]]||
|- align=center
|''n''mm||''n''m||''C''<sub>''n''v</sub>||*''nn''||[''n'']<br />{{DCD|node|n|node}}||p1m1||[[Grupo diedral|Dih<sub>''n''</sub>]]||2''n''||[[File:Uniaxial_C6v.png|120px]]||Simetría [[Pirámide (geometría)|piramidal]];<br />en biología, simetría birradial
|- align=center
|''n''22||''n''2||''D''<sub>''n''</sub>||22''n''||[''n'',2]<sup>+</sup><br />{{DCD|node_h2|n|node_h2|2x|node_h2}}||p211||Dih<sub>''n''</sub>||2''n''||[[File:Uniaxial_D6.png|120px]]||[[Simetría diédrica en tres dimensiones|Simetría diédrica]]
|- align=center
|{{overline|2''n''}}2m||{{overline|''n''}}m||''D''<sub>''n''d</sub>||2*''n''||[2''n'',2<sup>+</sup>]<br />{{DCD|node|2x|n|node_h2|2x|node_h2}}||p2mg||Dih<sub>2''n''</sub>||4''n''||[[File:Uniaxial_D6d.png|120px]]||Simetría [[antiprisma|antiprismática]]
|- align=center
|''n''/mmm||{{overline|2''n''}}2m||''D''<sub>''n''h</sub>||*22''n''||[''n'',2]<br />{{DCD|node|n|node|2|node}}||p2mm||Dih<sub>''n''</sub>×Z<sub>2</sub>||4''n''||[[File:Uniaxial_D6h.png|120px]]||Simetría [[Prisma (geometría)|prismática]]
|}

Para ''n'' impar se tiene que Z<sub>2''n''</sub> = Z<sub>''n''</sub> × Z<sub>2</sub> y Dih<sub>2''n''</sub> = Dih<sub>''n''</sub> × Z<sub>2</sub>.

Los grupos ''C''<sub>''n''</sub> (incluido el trivial ''C''<sub>1</sub>) y ''D''<sub>''n''</sub> son quirales, los demás son aquirales.

Los términos horizontal (h) y vertical (v), y los subíndices correspondientes, se refieren al plano especular adicional, que puede ser paralelo al eje de rotación (vertical) o perpendicular al eje de rotación (horizontal).

Los grupos axiales no triviales más simples son equivalentes al grupo abstracto Z<sub>2</sub>:
*''C''<sub>i</sub> (equivalente a ''S''<sub>2</sub>) – simetría de '''[[Simetría central|inversión]]'''
*''C''<sub>2</sub> – '''2 veces [[simetría rotacional]]'''
*''C''<sub>s</sub> (equivalente a ''C''<sub>1h</sub>y ''C''<sub>1v</sub>) – '''[[simetría especular]]''', también llamado de '''[[simetría bilateral]]'''.

[[File:Uniaxial.png|right|thumb|200px|Patrones en una banda cilíndrica que ilustran el caso ''n''= 6 para cada una de las 7 familias infinitas de grupos de puntos. El grupo de simetría de cada patrón es el grupo indicado]]

El segundo de ellos es el primero de los grupos uniaxiales ([[grupo cíclico|grupos cíclicos]]) ''C''<sub>''n''</sub> de orden ''n'' (también aplicable en 2D), que son generados por una sola rotación en un ángulo de 360°/''n''. Además de esto, se puede agregar un plano especular perpendicular al eje, dando el grupo ''C''<sub>''n''h</sub> de orden 2''n'', o un conjunto de ''n'' planos especulares que contienen el eje, dando el grupo ''C''<sub>''n''v</sub>, también de orden 2''n''. Este último es el grupo de simetría de una [[Pirámide (geometría)|pirámide]] regular de ''n'' lados. Un objeto típico con el grupo de simetría ''C''<sub>''n''</sub> o ''D''<sub>''n''</sub> es una [[Hélice (geometría)|hélice]].

Si se agregan los planos de reflexión horizontal y vertical, sus intersecciones dan ''n'' ejes de rotación de 180°, por lo que el grupo ya no es uniaxial. Este nuevo grupo de orden 4''n'' se denomina ''D''<sub>''n''h</sub>. Su subgrupo de rotaciones es el [[grupo diedral|grupo diédrico]] ''D''<sub>''n''</sub> de orden 2''n'', que todavía tiene los ejes de rotación dobles perpendiculares al eje de rotación principal, pero no tiene planos de simetría especular.

Nota: en 2D, ''D''<sub>''n''</sub> incluye reflexiones, que también se pueden ver como voltear objetos planos sin distinción de anverso y reverso; pero en 3D, se distinguen las dos operaciones: ''D''<sub>''n''</sub> incluye la operación de ''voltear'', pero no las reflexiones.

Hay un grupo más en esta familia, llamado ''D''<sub>''n''d</sub> (o ''D''<sub>''n''v</sub>), que tiene planos especulares verticales que contienen el eje de rotación principal, pero en lugar de tener un plano especular horizontal, tiene una isometría que combina una reflexión en el plano horizontal y una rotación en un ángulo de 180°/''n''. ''D''<sub>''n''h</sub> es el grupo de simetría de un [[Prisma (geometría)|prisma]] ''regular'' ''n''-gonal y también para una [[bipirámide]] ''regular'' ''n''-gonal. ''D''<sub>''n''d</sub> es el grupo de simetría para un [[antiprisma]] ''regular'' ''n''-gonal, y también para un [[trapezoedro]] ''regular'' ''n''-gonal. ''D''<sub>''n''</sub> es el grupo de simetría de un prisma parcialmente rotado (''retorcido'').

Los grupos ''D''<sub>2</sub> y ''D''<sub>2h</sub> son dignos de mención porque no tienen un eje de rotación especial. Más bien, hay tres ejes perpendiculares de orden 2. ''D''<sub>2</sub> es un subgrupo de todas las simetrías poliédricas (véase más abajo) y ''D''<sub>2h</sub> es un subgrupo de los grupos poliédricos ''T''<sub>h</sub> y ''O''<sub>h</sub>. ''D''<sub>2</sub> aparece en moléculas como el [[twistano]] y en [[homotetrámero]]s como el [[Concanavalin A]]. Los elementos de ''D''<sub>2</sub> están en correspondencia 1 a 2 con las rotaciones dadas por el [[cuaternión de Hurwitz]] [[Unidad (álgebra)|unitario]].

El grupo ''S''<sub>''n''</sub> se genera por la combinación de una reflexión en el plano horizontal y una rotación de un ángulo de 360°/n. Para ''n'' impar esto es igual al grupo generado por los dos por separado, ''C''<sub>''n''h</sub> de orden 2''n'', y por lo tanto no se necesita la notación ''S''<sub>''n''</sub>. Sin embargo, para ''n'' par es distinto, y de orden ''n''. Al igual que ''D''<sub>''n''d</sub>, contiene distintas [[rotación impropia|rotaciones impropias]] pero sin contener a las rotaciones correspondientes.

Todos los grupos de simetría en las 7 series infinitas son diferentes, excepto por los siguientes cuatro pares de iguales entre sí:
*''C''<sub>1h</sub> y ''C''<sub>1v</sub>: grupo de orden 2 con un solo reflejo (''C''<sub>s</sub>).
*''D''<sub>1</sub> y ''C''<sub>2</sub>: grupo de orden 2 con una sola rotación de 180°.
*''D''<sub>1h</sub> y ''C''<sub>2v</sub>: grupo de orden 4 con una reflexión en un plano y una rotación de 180° a través de una línea en ese plano.
*''D''<sub>1d</sub> y ''C''<sub>2h</sub>: grupo de orden 4 con una reflexión en un plano y una rotación de 180° sobre una recta perpendicular a ese plano.

''S''<sub>2</sub> es el grupo de orden 2 con una sola inversión (''C''<sub>i</sub>).

"Igual" se entiende aquí como lo mismo, pero sin considerar elementos conjugados en el espacio. Esta condición es menos restrictiva que "sin considerar isomorfismos algebraicos". Por ejemplo, hay tres grupos diferentes de orden dos en el primer sentido, pero solo hay uno en el segundo sentido. Del mismo modo, por ejemplo, ''S''<sub>2''n''</sub> es algebraicamente isomorfo con Z<sub>2''n''</sub>''.

Los grupos se pueden construir de la siguiente manera:
* ''C''<sub>''n''</sub>. Generado por un elemento también llamado ''C''<sub>''n''</sub>, que corresponde a una rotación de ángulo 2π/''n'' alrededor del eje. Sus elementos son E (la identidad), ''C''<sub>''n''</sub>, ''C''<sub>''n''</sub><sup>2</sup>, ..., ''C''<sub>''n''</sub><sup>''n''−1</sup>, correspondientes a los ángulos de rotación 0, 2π/''n'', 4π/''n'', ..., 2(''n''&nbsp;−&nbsp;1)π/''n''.
* ''S''<sub>2''n''</sub>. Generado por el elemento ''C''<sub>2''n''</sub>σ<sub>h</sub>, donde σ<sub>h</sub> es una reflexión en la dirección del eje. Sus elementos son los elementos de ''C''<sub>''n''</sub> con ''C''<sub>2''n''</sub>σ<sub>h</sub>, ''C''<sub>2''n''</sub><sup>3</sup>σ<sub>h</sub>, ..., ''C''<sub>2''n''</sub><sup>2''n''−1</sup>σ<sub>h</sub> añadido.
* ''C''<sub>''n''h</sub>. Generado por el elemento ''C''<sub>''n''</sub> y la reflexión σ<sub>h</sub>. Sus elementos son los elementos del grupo ''C''<sub>''n''</sub>, a los que se añaden los elementos σ<sub>h</sub>, ''C''<sub>''n''</sub>σ<sub>h</sub>, ''C''<sub>''n''</sub><sup>2</sup>σ<sub>h</sub>, ..., ''C''<sub>''n''</sub><sup>''n''−1</sup>σ<sub>h</sub>.
* ''C''<sub>''n''v</sub>. Generado por el elemento ''C''<sub>''n''</sub> y la reflexión σ<sub>v</sub> en una dirección en el plano perpendicular al eje. Sus elementos son los elementos del grupo ''C''<sub>''n''</sub>, a los que se añaden los elementos σ<sub>v</sub>, ''C''<sub>''n''</sub>σ<sub>v</sub>, ''C''<sub>''n''</sub><sup>2</sup>σ<sub>v</sub>, ..., ''C''<sub>''n''</sub><sup>''n''−1</sup>σ<sub>v</sub>.
* ''D''<sub>''n''</sub>. Generado por el elemento ''C''<sub>''n''</sub> y rotación de 180° U = σ<sub>h</sub>σ<sub>v</sub> alrededor de una dirección en el plano perpendicular al eje. Sus elementos son los elementos del grupo ''C''<sub>''n''</sub>, a los que se añaden los elementos U, ''C''<sub>''n''</sub>U, ''C''<sub>''n''</sub><sup>2</sup>U, ..., ''C''<sub>''n''</sub><sup>''n''&nbsp;−&nbsp;1</sup>U.
* ''D''<sub>''n''d</sub>. Generado por los elementos ''C''<sub>2''n''</sub>σ<sub>h</sub> y σ<sub>v</sub>. Sus elementos son los elementos del grupo ''C''<sub>''n''</sub> y los elementos adicionales de ''S''<sub>2''n''</sub> y ''C''<sub>''n''v</sub>, con los elementos ''C''<sub>2''n''</sub>σ<sub>h</sub>σ<sub>v</sub>, ''C''<sub>2''n''</sub><sup>3</sup>σ<sub>h</sub>σ<sub>v</sub>, .. ., agregando ''C''<sub>2''n''</sub><sup>2''n''&nbsp;−&nbsp;1</sup>σ<sub>h</sub>σ<sub>v</sub>.
* ''D''<sub>''n''h</sub>. Generado por los elementos ''C''<sub>''n''</sub>, σ<sub>h</sub> y σ<sub>v</sub>. Sus elementos son los elementos del grupo ''C''<sub>''n''</sub> y los elementos adicionales de ''C''<sub>''n''h</sub>, ''C''<sub>''n''v</sub> y ''D''<sub>''n''</sub>.

Cuando ''n'' se toma como ∞ se obtienen grupos con rotaciones axiales continuas:

{|class="wikitable"
|-
![[notación de Hermann-Mauguin|Internac.]]
![[notación de Schoenflies|Schoenflies]]
![[notación orbifold|Orbifold]]
!colspan=2|[[notación de Coxeter|Coxeter]]
! Límite de
! colspan=2|Grupo abstracto
|-align=center
|∞||''C''<sub>∞</sub>||∞∞||[∞]<sup>+</sup>||{{DCD|node_h2|infin|node_h2}}||''C''<sub>''n''</sub>||Z<sub>&infin;</sub>||SO(2)
|-align=center
|{{Sobrerrayado|&infin;}}, ∞/m||''C''<sub>∞h</sub>||∞*||[2,∞<sup>+</sup>]||{{DCD|node|2|node_h2|infin|node_h2}}||''C''<sub>''n''h</sub>, ''S''<sub>2''n''</sub>||Z<sub>2</sub>×Z<sub>&infin;</sub>||Z<sub>2</sub>×SO(2)
|-align=center
|∞m||''C''<sub>∞v</sub>||*∞∞||[∞]||{{DCD|node|infin|node}}||''C''<sub>''n''v</sub>||Dih<sub>&infin;</sub>||O(2)
|-align=center
|∞2||''D''<sub>∞</sub>||22∞||[2,∞]<sup>+</sup>||{{DCD|node_h2|2x|node_h2|infin|node_h2}}||''D''<sub>''n''</sub>||Dih<sub>&infin;</sub>||O(2)
|-align=center
|{{Sobrerrayado|&infin;}}m, ∞/mm||''D''<sub>∞h</sub>||*22∞||[2,∞]||{{DCD|node|2|node|infin|node}}||''D''<sub>''n''h</sub>, ''D''<sub>''n''d</sub>||Z<sub>2</sub>×Dih<sub>&infin;</sub>||Z<sub>2</sub>×O(2)
|}

==Los siete grupos de puntos restantes==

Se dice que los grupos de puntos restantes tienen una simetría muy alta o [[Poliedro|poliédrica]] porque tienen más de un eje de rotación de orden mayor que 2. Aquí, ''C''<sub>''n''</sub> denota un eje de rotación de 360°/n y ''S ''<sub>''n''</sub> denota un eje de rotación impropio a través del mismo. En líneas sucesivas figuran la [[notación orbifold]], la [[notación de Coxeter]] y el [[diagrama de Coxeter-Dynkin]], y la [[notación de Hermann-Mauguin]] (completa si es diferente o abreviada) y el orden (número de elementos) del grupo de simetría. Los grupos son:

{|class=wikitable
|- 
|width=100 align=center|'''''T''''', (332)<br />[3,3]<sup>+</sup> ({{DCD|node_h2|3|node_h2|3|node_h2}})<br />23<br />order 12||'''[[Simetría tetraédrica]] quiral'''||
{{multiple image|align= right|total_width= 300
|image1= Tetrahedron with 3-fold rotational axes RK01.png
|caption1= Los ejes de simetría de rotación triple (''C''<sub>3</sub>) de un tetraedro.
|image2= Tetrahedron with 2-fold rotational axes RK01.png
|caption2= Los ejes de simetría de rotación doble (''C''<sub>2</sub>) de un tetraedro.
}}
Hay cuatro ejes ''C''<sub>3</sub>, cada uno a través de dos vértices de un [[cubo]] circunscrito (cubo rojo en las imágenes), o a través de un vértice de un [[tetraedro]] regular, y tres ejes ''C''<sub>2</sub>, a través de los centros de las caras del cubo, o los puntos medios de las aristas del tetraedro. Este grupo es [[isomorfismo|isomorfo]] a ''A''<sub>4</sub>, el [[grupo alternante]] sobre 4 elementos, y es el [[#Grupos de rotación|grupo de rotación]] de un tetraedro regular. Es un [[subgrupo normal]] de ''T''<sub>d</sub>, ''T''<sub>h</sub>, y las simetrías octaédricas. Los elementos del grupo corresponden 1 a 2 a las rotaciones dadas por los 24 [[cuaternión de Hurwitz|cuaterniones de Hurwitz]] [[Unidad (álgebra)|unitarios]] (el ''[[grupo tetraédrico binario]]'').
|-
|align=center|'''''T''<sub>d</sub>''', (*332)<br />[3,3] ({{DCD|node|3|node|3|node}})<br />{{overline|4}}3m<br />order 24||'''Simetría tetraédrica completa'''||
{{multiple image|align= right|total_width= 300
|image1= Tetrahedron with reflection plane RK01.png
|caption1= Un plano especular de un tetraedro
|image2= Tetrahedron with 4-fold rotation-reflection axis RK01.png
|caption2= Un eje de rotorreflexión de simetría cuádruple (''S''<sub>4</sub>) de un tetraedro.
}}
Este grupo es el grupo de simetría de un [[Tetraedro|tetraedro regular]]. Tiene los mismos ejes de rotación que ''T'', y los ejes ''C''<sub>2</sub> ahora son ejes ''S''<sub>4</sub>. Posee seis planos de simetría, cada uno de los cuales contiene dos aristas del cubo o una arista del tetraedro, un único eje ''S''<sub>4</sub> y dos ejes ''C''<sub>3</sub> ejes. ''T''<sub>d</sub> es isomorfo a ''S''<sub>4</sub>, el [[grupo simétrico]] de 4 letras, porque existe una correspondencia 1 a 1 entre los elementos de ''T''<sub>d</sub> y las 24 permutaciones de los cuatro ejes de simetría triple. Un objeto de simetría ''C''<sub>3v</sub> bajo uno de los 3 ejes da lugar bajo la acción de ''T''<sub>d</sub> a una [[Acción (matemática)|órbita]] que consta de cuatro de tales objetos, y ''T''<sub>d</sub> corresponde al conjunto de permutaciones de estos cuatro objetos. ''T''<sub>d</sub> es un subgrupo normal de ''O''<sub>h</sub>. Véanse también las [[Tetraedro|isometrías del tetraedro regular]].
|-
|align=center|'''''T''<sub>h</sub>''', (3*2)<br />[3<sup>+</sup>,4] ({{DCD|node_h2|3|node_h2|4|node}})<br />2/m{{overline|3}}, m{{overline|3}}<br /> order 24||'''[[Simetría tetraédrica|Simetría piritoédrica]]'''||[[File:Volleyball seams diagram.png|thumb|160px|Las costuras de una pelota de [[voleibol]] tienen simetría ''T''<sub>h</sub>]] Este grupo tiene los mismos ejes de rotación que ''T'', con planos de espejo paralelos a las caras del cubo. Los ejes ''C''<sub>3</sub> se convierten en ejes ''S''<sub>6</sub> y hay simetría de inversión. ''T''<sub>h</sub> es isomorfo a ''A''<sub>4</sub> × ''Z''<sub>2</sub> (ya que ''T'' y ''C''<sub>i</sub> son ambos subgrupos normales), y no al [[grupo simétrico]] ''S''<sub>4</sub>. Es la simetría de un cubo con un segmento de línea que divide cada cara en dos rectángulos iguales, de modo que los segmentos de línea de las caras adyacentes no se encuentran en el borde. Las simetrías corresponden a las permutaciones pares de las diagonales del cuerpo y las mismas combinadas con inversión. Es también la simetría de un [[dodecaedro]], que es similar al cubo descrito, reemplazando cada rectángulo por un pentágono con un eje de simetría y 4 lados iguales y 1 lado diferente (el correspondiente al segmento de recta que divide la cara del cubo); es decir, las caras del cubo sobresalen en la línea divisoria y se vuelven más estrechas allí. Es un subgrupo (pero no un subgrupo normal) del grupo de simetría icosaédrica completa (como grupo de isometría, no solo como grupo abstracto), con 4 de los 10 ejes de simetría triple. Es un subgrupo normal de ''O''<sub>h</sub>. A pesar de llamarse ''T''<sub>h</sub>, no se aplica a un tetraedro.
|-
|align=center|'''''O''''', (432)<br />[4,3]<sup>+</sup> ({{DCD|node_h2|4|node_h2|3|node_h2}})<br />432<br />order 24||'''[[Simetría octaédrica]] quiral'''||Este grupo es como ''T'', pero los ejes ''C''<sub>2</sub> ahora son ejes ''C''<sub>4</sub>, y adicionalmente hay 6 ejes ''C''<sub>2</sub>, que pasan por los puntos medios de las aristas del cubo. Este grupo también es isomorfo a ''S''<sub>4</sub> porque sus elementos están en correspondencia 1 a 1 con las 24 permutaciones de los ejes de simetría triple, como con ''T''. Un objeto de simetría ''D''<sub>3</sub> bajo uno de los 3 ejes da lugar bajo la acción de ''O'' a una [[Acción (matemática)|órbita]] consistente en cuatro de esos objetos, y ''O'' corresponde al conjunto de permutaciones de estos cuatro objetos. Es el grupo de rotación del [[cubo]] y el [[octaedro]]. Representando las rotaciones con [[cuaternión|cuaterniones]], ''O'' se compone de los 24 [[Cuaternión de Hurwitz|cuaterniones de Hurwitz]] [[Unidad (álgebra)|unitarios]] y de los 24 [[Cuaternión de Hurwitz|cuaterniones de Lipschitz]] de norma cuadrada 2 normalizada al dividir por <math>\sqrt 2</math>. Como antes, esta es una correspondencia de 1 a 2.
|-
|align=center|'''''O''<sub>h</sub>''', (*432)<br />[4,3] ({{DCD|node|4|node|3|node}})<br />4/m{{overline|3}}2/m, m{{overline|3}}m<br />order 48||'''Simetría octaédrica completa'''||Este grupo tiene los mismos ejes de rotación que ''O'', pero con planos de simetría, que comprenden los planos especulares de ''T''<sub>d</sub> y ''T''<sub>h</sub>. Este grupo es isomorfo a ''S''<sub>4</sub> × ''Z''<sub>2</sub> (porque tanto ''O'' como ''C''<sub>i</sub> son subgrupos normales), y es el grupo de simetría del [[cubo]] y el [[octaedro]]. Véanse también las [[Simetría octaédrica|isometrías del cubo]].
|-
|align=center|'''''I''''', (532)<br />[5,3]<sup>+</sup> ({{DCD|node_h2|5|node_h2|3|node_h2}})<br />532<br />order 60||'''[[Simetría icosaédrica]] quiral'''||El grupo de rotación del [[icosaedro]] y el [[dodecaedro]]. Es un [[subgrupo normal]] de [[Índice (teoría de grupos)|índice]] 2 en el grupo completo de simetrías '''''I''<sub>h</sub>'''. El grupo contiene 10 versiones de ''D''<sub>3</sub> y 6 versiones de ''D''<sub>5</sub> (simetrías rotacionales de prismas y antiprismas). También contiene cinco versiones de ''T'' (véase el [[compuesto de cinco tetraedros]]). El grupo '''''I'''''' es [[isomorfismo|isomorfo]] a ''A''<sub>5</sub>, el [[grupo alternante]] de 5 letras, ya que sus elementos corresponden 1 a 1 con las permutaciones pares de las cinco simetrías '''''T''''' (o los cinco tetraedros recién mencionados). Representando las rotaciones con [[cuaternión|cuaterniones]], '''''I''''' se compone de los 120 [[icosiano]]s [[Unidad (álgebra)|unitarios]]. Como antes, esta es una correspondencia de 1 a 2.
|-
|align=center|'''''I''<sub>h</sub>''', (*532)<br />[5,3] ({{DCD|node|5|node|3|node}})<br />{{overline|5}}{{overline|3}}2/m, {{overline|5}}{{overline|3}}m<br />order 120||'''Simetría icosaédrica completa'''||Es el grupo de simetría del icosaedro y del dodecaedro. El grupo '''''I''<sub>h</sub>''' es isomorfo a ''A''<sub>5</sub> × ''Z''<sub>2</sub> porque ''I'' y ''C''<sub>i</sub> son ambos subgrupos normales. El grupo contiene 10 versiones de ''D''<sub>3d</sub>, 6 versiones de ''D''<sub>5d</sub> (simetrías como las de un antiprisma) y 5 versiones de ''T' '<sub>h</sub>.
|}
Los grupos continuos relacionados con estos grupos son:
* ∞∞, '''K''', o [[Grupo de rotación SO(3)|SO(3)]], con todas las rotaciones posibles.
* ∞∞m, '''K<sub>h</sub>''', o [[Grupo ortogonal|O(3)]], con todas las rotaciones y reflexiones posibles.
Como se señaló anteriormente para los [[#Grupos de isometría infinita|grupos de isometría infinita]], cualquier objeto físico que tenga simetría K también tendrá simetría K<sub>h</sub>.

==Grupos de Coxeter de reflexión==
{|class=wikitable align=right
|+ Dominios fundamentales de los grupos de Coxeter 3D
|-
!A<sub>3</sub>, [3,3], {{DCD|node|3|node|3|node}}
!B<sub>3</sub>, [4,3], {{DCD|node|4|node|3|node}}
!H<sub>3</sub>, [5,3], {{DCD|node|5|node|3|node}}
|- align=center
|[[File:Tetrahedral reflection domains.png|120px]]<br />6 planos especulares
|[[File:Octahedral reflection domains.png|120px]]<br />3+6 planos especulares
|[[File:Icosahedral reflection domains.png|120px]]<br />15 planos especulares
|- 
!2A<sub>1</sub>, [1,2], {{DCD|node|2|node}}
!3A<sub>1</sub>, [2,2], {{DCD|node|2|node|2|node}}
!A<sub>1</sub>A<sub>2</sub>, [2,3], {{DCD|node|2|node|3|node}}
<!--''I''<sub>2</sub>(4)A<sub>1</sub>, [2,4]-->
|- align=center 
|[[File:Spherical digonal bipyramid2.svg|120px]]<br />2 planos especulares
|[[File:Spherical square bipyramid2.svg|120px]]<br />3 planos especulares
|[[File:Spherical hexagonal bipyramid2.png|120px]]<br />4 planos especulares
|- 
!A<sub>1</sub>, [1], {{DCD|node}}
!2A<sub>1</sub>, [2], {{DCD|node|2|node}}
!A<sub>2</sub>, [3], {{DCD|node|3|node}}
|- align=center  
|[[File:Spherical digonal hosohedron2.png|120px]]<br />1 plano especular
|[[File:Spherical square hosohedron2.png|120px]]<br />2 planos especulares
|[[File:Spherical hexagonal hosohedron2.png|120px]]<br />3 planos especulares
|}

Los grupos de puntos de reflexión en tres dimensiones también se denominan [[grupo de Coxeter|grupos de Coxeter]] y pueden estar definidos por un [[diagrama de Coxeter-Dynkin]] y representar un conjunto de planos especulares que se cruzan en un punto central. La [[notación de Coxeter]] ofrece una anotación entre corchetes equivalente al diagrama de Coxeter, con símbolos de marcado para la rotación y otros grupos de puntos de subsimetría. En la notación de Schoenflies, los grupos de puntos de reflexión en 3D son ''C''<sub>''n''v</sub>, ''D''<sub>''n''h</sub> y los grupos poliédricos completos ''T'', ''O'' e ''I''.

Los planos especulares limitan un conjunto de dominios [[trigonometría esférica|trángulos esféricos]] en la superficie de una esfera. Un grupo de Coxeter de rango ''n'' tiene ''n'' planos especulares. Los grupos de Coxeter que tienen menos de 3 generadores poseen dominios de triángulos esféricos degenerados, como [[Lúnula (geometría)|lúnulas]] o [[Esfera|semiesferas]]. En la [[notación de Coxeter]], estos grupos presentan [[simetría tetraédrica]] [3,3], [[simetría octaédrica]] [4,3], [[simetría icosaédrica]] [5,3] y [[Simetría diédrica en tres dimensiones|simetría diédrica]] [p,2]. El número de planos especulares para un grupo irreducible es ''nh/2'', donde ''h'' es el [[número de Coxeter]] del grupo de Coxeter y ''n'' es la dimensión (3).<ref>[[Harold Scott MacDonald Coxeter]], ''Regular polytopes', §12.6 The number of reflections, equation 12.61</ref>
{|class=wikitable
|- valign=top
![[Grupo de Weyl|Grupo<br /> de Weyl]]
!colspan=2|[[notación de Coxeter|Notación<br />de Coxeter]]
![[Orden (teoría de grupos)|Orden]]
![[ Coxeter number|Número<br />de Coxeter]]<br />(h)
![[Caleidoscopio|Planos especulares]]<br />(m)
|-
!colspan=6|[[Grupo poliédrico|Grupos poliédricos]]
|- align=center
|'''A'''<sub>3</sub>||{{DCD|node|3|node|3|node}}||[3,3]||24||4||6
|- align=center
|'''B'''<sub>3</sub>||{{DCD|node|4|node|3|node}}||[4,3]||48||6||3+6
|- align=center
|'''H'''<sub>3</sub>||{{DCD|node|5|node|3|node}}||[5,3]||120||10||15
|-
!colspan=6|[[Simetría diédrica en tres dimensiones|Grupos diédricos]]
|- align=center
|2'''A'''<sub>1</sub>||{{DCD|node|2|node}}||[1,2]||4||||1+1
|- align=center
|3'''A'''<sub>1</sub>||{{DCD|node|2|node|2|node}}||[2,2]||8||||2+1
|- align=center
|'''I'''<sub>2</sub>(p)'''A'''<sub>1</sub>||{{DCD|node|p|node|2|node}}||[p,2]||''4p''||||p+1
|-
!colspan=6|[[Simetría cíclica en tres dimensiones|Grupos cíclicos]]
|- align=center
|2'''A'''<sub>1</sub>||{{DCD|node|2|node}}||[2]||4||||2
|- align=center
|'''I'''<sub>2</sub>(p)||{{DCD|node|p|node}}||[p]||''2p''||||p
|-
!colspan=6|Plano especular simple
|- align=center
|'''A'''<sub>1</sub>||{{DCD|node}}||[ ]||2||||1
|}

==Grupos de rotación==
Los grupos de rotación, es decir, los subgrupos finitos de SO(3), son: los grupos cíclicos ''C''<sub>''n''</sub> (el grupo de rotación de una [[Pirámide (geometría)|pirámide]] canónico), los grupos diédricos ''D''<sub>''n''</sub> (el grupo de rotación de un [[Prisma (geometría)|prisma]] uniforme, o una [[bipirámide]] canónico), y los grupos de rotación ''T'', ''O'' e ''I'' de un [[tetraedro]], [[octaedro]]/[[cubo]] y un [[icosaedro]]/[[dodecaedro]] regulares.

En particular, los grupos diédricos ''D''<sub>3</sub>, ''D''<sub>4</sub>, etc. son los grupos de rotación de polígonos regulares planos incrustados en un espacio tridimensional, y tal figura puede considerarse como un prisma regular degenerado. Por lo tanto, también se le llama ''[[diedro]]'' (del griego: sólido de dos caras), lo que explica el nombre de ''grupo diédrico''.

*Un objeto que tiene el grupo de simetría ''C''<sub>''n''</sub>, ''C''<sub>''n''h</sub>, ''C''<sub>''n''v</sub> o ''S''<sub>2''n''</sub> tiene el grupo de rotación ''C''<sub>''n''</sub>.
*Un objeto que tiene un grupo de simetría ''D''<sub>''n''</sub>, ''D''<sub>''n''h</sub> o ''D''<sub>''n''d</sub> tiene un grupo de rotación ''D''<sub>''n''</sub>.
*Un objeto que tiene una simetría poliédrica (''T'', ''T''<sub>d</sub>, ''T''<sub>h</sub>, ''O'', ''O''<sub>h</sub>, ''I'' o ''I ''<sub>h</sub>) tiene como grupo de rotación el correspondiente sin subíndice: ''T'', ''O'' o ''I''.

El grupo de rotación de un objeto es igual a su grupo de simetría completo si y solo si el objeto es [[Quiralidad (matemáticas)|quiral]]. En otras palabras, los objetos quirales son aquellos con su grupo de simetría en la lista de los grupos de rotación.

Dados en la [[notación de Schönflies]], en la [[notación de Coxeter]] y en la ([[notación orbifold]]), los subgrupos de rotación son:
{|class=wikitable
![[Simetría especular|Reflexión]]
!Rotorreflexión
![[Rotación impropia]]
![[Simetría rotacional|Rotación]]
|- align=center
|''C''<sub>''n''v</sub>, [n], (*nn)
|''C''<sub>''n''h</sub>, [n<sup>+</sup>,2], (n*)
|''S''<sub>2''n''</sub>, [2n<sup>+</sup>,2<sup>+</sup>], (n×)
|''C''<sub>''n''</sub>, [n]<sup>+</sup>, (nn)
|- align=center
|''D''<sub>''n''h</sub>, [2,n], (*n22)
|''D''<sub>''n''d</sub>, [2<sup>+</sup>,2n], (2*n)
|
|''D''<sub>''n''</sub>, [2,n]<sup>+</sup>, (n22)
|- align=center
|''T''<sub>d</sub>, [3,3], (*332)
|
|
|''T'', [3,3]<sup>+</sup>, (332)
|- align=center
|''O''<sub>h</sub>, [4,3], (*432)
|''T''<sub>h</sub>, [3<sup>+</sup>,4], (3*2)
|
|''O'', [4,3]<sup>+</sup>, (432)
|- align=center
|''I''<sub>h</sub>, [5,3], (*532)
|
|
|''I'', [5,3]<sup>+</sup>, (532)
|-
|}

==Correspondencia entre grupos de rotación y otros grupos==

===Grupos que contienen inversión===
El grupo de rotación SO(3) es un subgrupo de O(3), el grupo de rotación de punto completo del espacio euclídeo tridimensional. En consecuencia, O(3) es el [[producto directo de grupos|producto directo]] de SO(3) y el grupo de [[Simetría central|inversión]] ''C''<sub>i</sub> (donde la inversión se denota por su [[Matriz (matemática)|matriz]] −''I''):
:O(3) = SO(3) × {''I'' , −''I''}

Por lo tanto, existe una correspondencia 1 a 1 entre todas las isometrías directas y todas las isometrías indirectas, a través de la inversión. También hay una correspondencia 1 a 1 entre todos los grupos ''H'' de isometrías directas en SO(3) y todos los grupos ''K'' de isometrías en O(3) que contienen inversión:
:''K'' = ''H'' × {''I'' , −''I''}
:''H'' = ''K'' ∩ SO(3)
donde la isometría (''A'', ''I'') es la [[Identidad (matemática)|identidad]] con ''A''.

Para grupos finitos, la correspondencia es:
{|class=wikitable style="text-align:center;"
<!--|+ Grupos conteniendo inversión
|- -->
! Grupo de rotación<br />''H''
! Paridad<br />de ''n''
! Grupo conteniendo inversión<br />''K''
|- 
|rowspan=2|''C''<sub>''n''</sub>
|par||''C''<sub>''n''h</sub>
|-
|impar||''S''<sub>2''n''</sub>
|-
|rowspan=2|''D''<sub>''n''</sub>
|par||''D''<sub>''n''h</sub>
|-
|impar||''D''<sub>''n''d</sub>
|-
|''T''||&nbsp;||''T''<sub>h</sub>
|-
|''O''||&nbsp;||''O''<sub>h</sub>
|-
|''I''||&nbsp;||''I''<sub>h</sub>
|}

===Grupos que contienen isometrías indirectas pero sin inversión===
Si un grupo de isometrías directas ''H'' tiene un subgrupo ''L'' de [[Índice (teoría de grupos)|índice]] 2, entonces hay un grupo correspondiente que contiene isometrías indirectas pero no inversión:
:''M'' = ''L'' ∪ ((''H''[[Complemento de un conjunto|∖]]''L'') × { −''I'' })

Por ejemplo, ''H'' = ''C''<sub>4</sub> corresponde a ''M'' = ''S''<sub>4</sub>.

Así ''M'' se obtiene de ''H'' invirtiendo las isometrías en {{nowrap|''H'' ∖ ''L''}}. Este grupo ''M'' es, cuando se considera como un [[Teoría de grupos|grupo abstracto]], isomorfo a ''H''. Por el contrario, para todos los grupos de puntos ''M'' que contienen isometrías indirectas pero sin inversión, se puede obtener un grupo de rotación ''H'' invirtiendo las isometrías indirectas.

Para grupos finitos, la correspondencia es:
{|class=wikitable style="text-align:center;"
<!--|+ Grupos que contienen isometrías indirectas pero sin inversión
|- -->
! Grupo de rotación<br />''H''
! Subgrupo de índice 2<br />''L''
! Paridad<br />de ''n''
! Grupo conteniendo <br />isometrías indirectas<br />''M''
|- 
|rowspan=2|''C''<sub>2''n''</sub>||rowspan=2|''C''<sub>''n''</sub>||par||''S''<sub>2''n''</sub>
|-
|impar||''C''<sub>''n''h</sub>
|-
|rowspan=2|''D''<sub>2''n''</sub>||rowspan=2|''D''<sub>''n''</sub>||par||''D''<sub>''n''h</sub>
|-
|impar||''D''<sub>''n''d</sub>
|-
|''D''<sub>''n''</sub>||''C''<sub>''n''</sub>||cualquiera||''C''<sub>''n''v</sub>
|-
|''O''||''T''||&nbsp;||''T''<sub>d</sub>
|}

==Subgrupos normales==

En 2D, el [[grupo cíclico]] de [[movimiento de rotación|movimientos de rotación]] ''C''<sub>''k''</sub> con multiplicidad ''k'', es para cada entero positivo ''k'' un subgrupo normal de O(2) y SO(2). En consecuencia, en 3D, para cada eje, el grupo cíclico de rotaciones de ''k'' sobre este eje es un subgrupo normal del grupo de todas las rotaciones sobre el eje dado. Dado que cualquier subgrupo de índice dos es normal, el grupo de rotaciones (''C''<sub>''n''</sub>) es normal tanto en el grupo (''C''<sub>''n''v</sub>) obtenido al sumar a (''C''<sub>''n''</sub>) planos especulares a través de su eje y en el grupo (''C''<sub>''n''h</sub>) obtenido sumando a (''C''<sub>''n''</sub>) un plano de reflexión perpendicular a su eje.

==Simetrías máximas==
Hay dos grupos de puntos discretos con la propiedad de que ningún grupo de puntos discretos lo tiene como subgrupo propio: ''O''<sub>h</sub> e ''I''<sub>h</sub>. Su subgrupo común más grande es ''T''<sub>h</sub>. Los dos grupos se obtienen a partir de él cambiando la simetría rotacional de multiplicidad 2 a multiplicidad 4 y agregando una simetría de multiplicidad 5, respectivamente.

Hay dos grupos de puntos cristalográficos con la propiedad de que ningún otro grupo de puntos cristalográficos los tiene como subgrupo propio: ''O''<sub>h</sub> y ''D''<sub>6h</sub>. Sus subgrupos comunes máximos, según la orientación, son ''D''<sub>3d</sub> y ''D''<sub>2h</sub>.

==Los grupos ordenados por tipo de grupo abstracto==
A continuación, los grupos explicados anteriormente están ordenados por tipo de grupo abstracto.

Los grupos abstractos más pequeños que ''no'' son ningún grupo de simetría en 3D, son el [[grupo de los cuaterniones]] (de orden 8), Z<sub>3</sub> × Z<sub>3</sub> (de orden 9), el [[grupo dicíclico]] Dic<sub>3</sub> (de orden 12), y 10 de los 14 grupos de orden 16.

La columna "# de elementos de orden 2" en las siguientes tablas muestra el número total de subgrupos de isometría de tipos ''C''<sub>2</sub>, ''C''<sub>i</sub> y ''C''<sub>s</sub>. Este número total es una de las características que ayudan a distinguir los diversos tipos de grupos abstractos, mientras que su tipo de isometría ayuda a distinguir los diversos grupos de isometrías de un mismo grupo abstracto.

Dentro de las posibilidades de los grupos de isometría en 3D, hay infinitos tipos de grupos abstractos con 0, 1 y 3 elementos de orden 2, hay dos con 4''n'' + 1 elementos de orden 2, y hay tres con 4''n'' + 3 elementos de orden 2 (por cada ''n'' ≥ 8 ). Nunca hay un número par positivo de elementos de orden 2.

===Grupos de simetría en 3D que son cíclicos como grupo abstracto===
El [[grupo de simetría]] para [[simetría]] rotacional de ''n'' es ''C''<sub>''n''</sub>; su tipo de grupo abstracto es el [[grupo cíclico]] Z<sub>''n''</sub>, que también se indica con ''C''<sub>''n''</sub>. Sin embargo, hay dos series infinitas más de grupos de simetría con este tipo de grupo abstracto:
*Para orden par 2''n'' existe el grupo [[Rotación impropia|''S''<sub>2''n''</sub>]] (en la notación de Schoenflies) generado por una rotación de un ángulo de 180°/n alrededor de un eje, combinado con una reflexión en el plano perpendicular al eje. Para ''S''<sub>2</sub> se utiliza la notación ''C''<sub>i</sub>; y se genera por inversión.
*Para cualquier orden 2''n'' donde ''n'' es impar, se tiene que ''C''<sub>''n''h</sub>; posee un eje de rotación de orden ''n'' y un plano de reflexión perpendicular. Es generado por una rotación de un ángulo de 360°/''n'' sobre el eje, combinado con la reflexión. Para ''C''<sub>1h</sub> se utiliza la notación ''C''<sub>s</sub>; y se genera por reflexión en un plano.

Así, figuran con negrita de los 10 grupos puntuales cristalográficos cíclicos, para los que se aplica el [[teorema de restricción cristalográfica]]:
{|class=wikitable width=600px
|-
!Orden !!Grupos de isometría !! Grupo abstracto !! # de elementos de orden 2||[[Diagrama cíclico]]
|- align=center
|1||'''''C''<sub>1</sub>'''||Z<sub>1</sub>||0||[[File:GroupDiagramMiniC1.svg|40px]]
|- align=center
|2||'''''C''<sub>2</sub>''', '''''C''<sub>i</sub>''', '''''C''<sub>s</sub>'''||Z<sub>2</sub>||1||[[File:GroupDiagramMiniC2.svg|40px]]
|- align=center
|3||'''''C''<sub>3</sub>'''||Z<sub>3</sub>||0||[[File:GroupDiagramMiniC3.svg|40px]]
|- align=center
|4||'''''C''<sub>4</sub>''', '''''S''<sub>4</sub>'''||Z<sub>4</sub>||1||[[File:GroupDiagramMiniC4.svg|40px]]
|- align=center
|5||''C''<sub>5</sub>||Z<sub>5</sub>||0||[[File:GroupDiagramMiniC5.svg|40px]]
|- align=center
|6||'''''C''<sub>6</sub>''', '''''S''<sub>6</sub>''', '''''C''<sub>3h</sub>'''||Z<sub>6</sub>= Z<sub>3</sub> × Z<sub>2</sub>||1||[[File:GroupDiagramMiniC6.svg|40px]]
|- align=center
|7||''C''<sub>7</sub>||Z<sub>7</sub>||0||[[File:GroupDiagramMiniC7.svg|40px]]
|- align=center
|8||''C''<sub>8</sub>, ''S''<sub>8</sub>||Z<sub>8</sub>||1||[[File:GroupDiagramMiniC8.svg|40px]]
|- align=center
|9||''C''<sub>9</sub>||Z<sub>9</sub>||0||[[File:GroupDiagramMiniC9.svg|40px]]
|- align=center
|10||''C''<sub>10</sub>, ''S''<sub>10</sub>, ''C''<sub>5h</sub>||Z<sub>10</sub>= Z<sub>5</sub> × Z<sub>2</sub>||1||[[File:GroupDiagramMiniC10.svg|40px]]
|}
etc.

===Grupos de simetría en 3D que son diédricos como grupo abstracto===
En 2D, el [[grupo diedral|grupo diédrico]] ''D''<sub>''n''</sub> incluye reflexiones, que también se pueden ver como voltear objetos planos sin distinción entre el frente y el reverso.

Sin embargo, en 3D se distinguen las dos operaciones: el grupo de simetría indicado por ''D''<sub>''n''</sub> contiene ''n'' ejes de doble simetría perpendiculares al eje de orden ''n'', pero no reflexiones. ''D''<sub>''n''</sub> es el [[Grupo de rotación SO(3)|grupo de rotación]] del [[Prisma (geometría)|prisma]] de ''n'' lados con base regular, y de la [[bipirámide]] de ''n'' lados con base regular, y también de un [[antiprisma]] regular de ''n'' lados y de un [[trapezoedro]] regular de ''n'' lados. El grupo también es el grupo de simetría total de dichos objetos después de convertirlos en [[Quiralidad (matemáticas)|quirales]], por ejemplo, añadiendo una marca quiral idéntica en cada cara, o alguna modificación en la forma.

El tipo de grupo abstracto es el [[grupo diedral|grupo diédrico]] Dih<sub>''n''</sub>, que también se indica con ''D''<sub>''n''</sub>. Sin embargo, hay otras tres series infinitas de grupos de simetría con este tipo de grupo abstracto:

*''C''<sub>''n''v</sub> de orden 2''n'', el grupo de simetría de una [[Pirámide (geometría)|pirámide]] regular de ''n'' lados
*''D''<sub>''n''d</sub> de orden 4''n'', el grupo de simetría de un [[antiprisma]] regular de ''n'' lados
*''D''<sub>''n''h</sub> de orden 4''n'' para ''n'' impar. Para ''n'' = 1 se obtiene ''D''<sub>2</sub>, ya mencionado anteriormente, por lo que ''n'' ≥ 3.

Téngase en cuenta la siguiente propiedad:
:Dih<sub>4''n''+2</sub> <math>\cong</math> Dih<sub>2''n''+1</sub> × Z<sub>2</sub>

Así se obtienen los 12 grupos de puntos cristalográficos (en negrita), y se denota ''D''<sub>1d</sub> como el equivalente a ''C''<sub>2h</sub>:
{|class=wikitable width=600px
|-
!Orden !!Grupos de isometría !! Grupo abstracto !! # de elementos de orden 2||[[Diagrama cíclico]]
|- align=center
|4||'''''D''<sub>2</sub>''', '''''C''<sub>2v</sub>''', '''''C''<sub>2h</sub>'''||Dih<sub>2</sub>= Z<sub>2</sub> × Z<sub>2</sub>||3||[[File:GroupDiagramMiniD4.svg|40px]]
|- align=center
|6||'''''D''<sub>3</sub>''', '''''C''<sub>3v</sub>'''||Dih<sub>3</sub>||3||[[File:GroupDiagramMiniD6.svg|40px]]
|- align=center
|8||'''''D''<sub>4</sub>''', '''''C''<sub>4v</sub>''', '''''D''<sub>2d</sub>'''||Dih<sub>4</sub>||5||[[File:GroupDiagramMiniD8.svg|40px]]
|- align=center
|10||''D''<sub>5</sub>, ''C''<sub>5v</sub>||Dih<sub>5</sub>||5||[[File:GroupDiagramMiniD10.svg|40px]]
|- align=center
|12||'''''D''<sub>6</sub>''', '''''C''<sub>6v</sub>''', '''''D''<sub>3d</sub>''', '''''D''<sub>3h</sub>'''||Dih<sub>6</sub>= Dih<sub>3</sub> × Z<sub>2</sub>||7||[[File:GroupDiagramMiniD12.svg|40px]]
|- align=center
|14||''D''<sub>7</sub>, ''C''<sub>7v</sub>||Dih<sub>7</sub>||7||[[File:GroupDiagramMiniD14.svg|40px]]
|- align=center
|16||''D''<sub>8</sub>, ''C''<sub>8v</sub>, ''D''<sub>4d</sub>||Dih<sub>8</sub>||9||[[File:GroupDiagramMiniD16.svg|40px]]
|- align=center
|18||''D''<sub>9</sub>, ''C''<sub>9v</sub>||Dih<sub>9</sub>||9||<!--[[File:GroupDiagramMiniD18.png|40px]]-->
|- align=center
|20||''D''<sub>10</sub>, ''C''<sub>10''v''</sub>, ''D''<sub>5h</sub>, ''D''<sub>5d</sub>||Dih<sub>10</sub>= ''D''<sub>5</sub> × Z<sub>2</sub>||11||[[File:GroupDiagramMiniD20.png|40px]]
|}
etc.

===Otros===
''C''<sub>2''n'',h</sub> de orden 4''n'' es del tipo de grupo abstracto Z<sub>2''n''</sub> × Z<sub>2</sub>. Para ''n'' = 1 se obtiene Dih<sub>2</sub>, ya mencionado anteriormente, por lo que ''n'' ≥ 2.

Así se obtienen los siguientes grupos, con los 2 grupos puntuales cristalográficos cíclicos en negrita:
{|class=wikitable width=600px
|-
!Orden !!Grupos de isometría !! Grupo abstracto !! # de elementos de orden 2||[[Diagrama cíclico]]
|- align=center
|8||'''''C''<sub>4h</sub>'''||Z<sub>4</sub> × Z<sub>2</sub>||3||[[File:GroupDiagramMiniC2C4.svg|40px]]
|- align=center
|12||'''''C''<sub>6h</sub>'''||Z<sub>6</sub> × Z<sub>2</sub>= Z<sub>3</sub> × Z<sub>2</sub><sup>2</sup>= Z<sub>3</sub> × Dih<sub>2</sub>||3||[[File:GroupDiagramMiniC2C6.svg|40px]]
|- align=center
|16||''C''<sub>8h</sub>||Z<sub>8</sub> × Z<sub>2</sub>||3||[[File:GroupDiagramMiniC2C8.svg|40px]]
|- align=center
|20||''C''<sub>10h</sub>||Z<sub>10</sub> × Z<sub>2</sub>= Z<sub>5</sub> × Z<sub>2</sub><sup>2</sup>= Z<sub>5</sub> × Dih<sub>2</sub>||3||[[File:GroupDiagramMiniC2C10.png|40px]]
|}
etc.

''D''<sub>''n''h</sub> de orden 4''n'' es del tipo de grupo abstracto Dih<sub>n</sub> × Z<sub>2</sub>. Para ''n'' impar, esto ya está cubierto anteriormente, por lo que aquí se obtiene ''D''<sub>2''n''h</sub> de orden 8''n'', que es del tipo de grupo abstracto Dih<sub>2''n''</sub> × Z<sub>2</sub> (''n''≥1).

Así se obtienen, con los 3 grupos de puntos cristalográficos diédricos en negrita:
{|class=wikitable width=600px
|-
!Orden !!Grupos de isometría !! Grupo abstracto !! # de elementos de orden 2||[[Diagrama cíclico]]
|- align=center
|8||'''''D''<sub>2h</sub>'''||Z<sub>2</sub><sup>3</sup>||7||[[File:GroupDiagramMiniC2x3.svg|40px]]
|- align=center
|16||'''''D''<sub>4h</sub>'''||Dih<sub>4</sub> × Z<sub>2</sub>||11||[[File:GroupDiagramMiniC2D8.svg|40px]]
|- align=center
|24||'''''D''<sub>6h</sub>'''||Dih<sub>6</sub> × Z<sub>2</sub>=  Dih<sub>3</sub> × Z<sub>2</sub><sup>2</sup>||15||&nbsp; 
|- align=center
|32||''D''<sub>8h</sub>||Dih<sub>8</sub> × Z<sub>2</sub>||19||&nbsp;
|}
etc.

Los siete restantes son, con los 5 grupos de puntos cristalográficos negrita (véase también arriba):

{|class=wikitable width=600px
|-
!Orden !!Grupos de isometría !! Grupo abstracto !! # de elementos de orden 2||[[Diagrama cíclico]]
|- align=center
|12||'''''T'''''||''A''<sub>4</sub>||3||[[File:GroupDiagramMiniA4.svg|40px]]
|- align=center
|24||'''''T''<sub>d</sub>''', '''''O'''''||[[Grupo simétrico|''S''<sub>4</sub>]]||9||[[File:Symmetric group 4; cycle graph.svg|40px]]
|- align=center
|24||'''''T''<sub>h</sub>'''||''A''<sub>4</sub> × Z<sub>2</sub>||7||[[File:GroupDiagramMiniA4xC2.png|40px]]
|- align=center
|48||'''''O''<sub>h</sub>'''||''S''<sub>4</sub> × Z<sub>2</sub>||19||
|- align=center
|60||''I''||''A''<sub>5</sub>||15||
|- align=center
|120||''I''<sub>h</sub>||''A''<sub>5</sub> × Z<sub>2</sub>||31||
|}

==Dominio fundamental==
{|class=wikitable width=240 align=right
|+ Disdiaquis triacontaedro
|[[File:Spherical disdyakis triacontahedron.png|120px]]
|[[File:Disdyakis triacontahedron.png|120px]]
|-
|colspan=2|Los planos de reflexión para la [[simetría icosaédrica]] intersecan la esfera formando [[gran círculo|círculos máximos]], con dominios fundamentales en forma de triángulo esférico rectángulo.
|}
El [[dominio fundamental]] de un grupo de puntos es un [[cono (geometría)|cono]]. Un objeto con una simetría dada en una orientación dada se caracteriza por su dominio fundamental. Si el objeto es una superficie, se caracteriza por una superficie en el dominio fundamental que continúa hasta sus caras perimetrales radiales o en una superficie. Si las copias de la superficie no encajan, se pueden agregar caras o superficies radiales. Se ajustan de todos modos si el dominio fundamental está delimitado por planos de reflexión.

Para un poliedro, esta superficie en el dominio fundamental puede ser parte de un plano arbitrario. Por ejemplo, en un [[hexaquisicosaedro]] el dominio fundamental de la [[simetría icosaédrica]] es una cara completa. Ajustar la orientación del plano brinda varias posibilidades de combinar dos o más caras adyacentes en una, dando varios otros poliedros con la misma simetría. El poliedro es convexo si la superficie se ajusta a sus copias y la línea radial perpendicular al plano está en el dominio fundamental.

También la superficie en el dominio fundamental puede estar compuesta por múltiples caras.

==Grupos poliédricos binarios==
La aplicación Spin(3)&nbsp;→&nbsp;SO(3) es el doble recubrimiento del grupo de rotación por el [[grupo espinorial]] en 3 dimensiones. Este es el único recubrimiento conexo de SO(3), ya que Spin(3) es simplemente conexo.

Por el [[teorema de la retícula]], hay una [[conexión de Galois]] entre subgrupos de Spin(3) y subgrupos de SO(3) (grupos de puntos rotacionales): la imagen de un subgrupo de Spin(3) es un grupo de puntos rotacionales, y la preimagen de un grupo puntual es un subgrupo de Spin(3). Debe tenerse en cuenta que Spin(3) tiene descripciones alternativas como el grupo unitario especial [[grupo unitario especial|SU(2)]] y como el grupo de los [[Cuaternión|cuaterniones unitarios]]. Topológicamente, este grupo de Lie es la [[3-esfera|esfera tridimensional '''S'''<sup>3</sup>]]).

La preimagen de un grupo de puntos finito se denomina '''grupo poliédrico binario''', representado como ⟨l,n,m⟩, y recibe el mismo nombre que su grupo de puntos, con el prefijo '''binario''', con el doble del orden del relacionado para el [[grupo poliédrico]] (l,m,n). Por ejemplo, la preimagen de la [[simetría icosaédrica]] (2,3,5) es el [[grupo icosaédrico binario]], ⟨2,3,5⟩.

Los grupos poliédricos binarios son:
* <math>A_n</math>: [[grupo cíclico binario]] de un (''n''&nbsp;+&nbsp;1)-gono, de orden 2''n''
* <math>D_n</math>: [[grupo diédrico binario]] de un ''n''-gono, ⟨2,2,''n''⟩, de orden 4''n''
* <math>E_6</math>: [[grupo tetraédrico binario]], ⟨2,3,3⟩, de orden 24
* <math>E_7</math>: [[grupo octaédrico binario]], ⟨2,3,4⟩, de orden 48
* <math>E_8</math>: [[grupo icosaédrico binario]], ⟨2,3,5⟩, de orden 120
Estos se clasifican según la [[clasificación ADE]], y el cociente de '''C'''<sup>2</sup> por la acción de un grupo poliédrico binario es una [[singularidad de Du Val]].<ref>{{cite web|url= http://www.mi.uni-koeln.de/~burban/singul.pdf|title= Du Val Singularities|first= Igor|last= Burban}}</ref>

Para grupos de puntos que invierten la orientación, la situación es más complicada, ya que hay dos [[grupo de pines|grupos de pines]], por lo que hay dos posibles grupos binarios correspondientes a un grupo de puntos dado.

Téngase en cuenta que esto es una cobertura de ''grupos'', no una cobertura de ''espacios'': la esfera es [[conjunto simplemente conexo|conexa]] y, por lo tanto, no tiene [[espacio recubridor]]. Por lo tanto, no existe la noción de un ''poliedro binario'' que cubra un poliedro tridimensional. Los grupos poliédricos binarios son subgrupos discretos de un grupo de Spin, y bajo una representación del grupo de Spin actúan sobre un espacio vectorial, y pueden estabilizar un poliedro según esta representación – bajo la aplicación Spin(3) → SO(3) actúan sobre el mismo poliedro sobre el que actúa el grupo subyacente (no binario), mientras que bajo la [[representación de spin]] u otras representaciones pueden estabilizar otros poliedros.

Esto contrasta con los [[poliedros proyectivos]]: la esfera recubre el [[espacio proyectivo]] (y también el [[espacio lenticular]]) y, por lo tanto, una teselación del espacio proyectivo o de un espacio lenticular produce una noción distinta de poliedro.

==Véase también==
{{lista de columnas|4|
*[[Anexo:Grupos de simetría esférica]]
*[[Anexo:Tablas de caracteres para grupos de puntos 3D químicamente importantes]]
*[[Grupos de puntos en dos dimensiones]]
*[[Grupos de puntos en cuatro dimensiones]]
*[[Simetría]]
*[[Isometría afín]]
*[[Acción (matemática)|Grupo acción]]
*[[Grupo puntual]]
*[[Sistema cristalino]]
*[[Grupo espacial]]
*[[Anexo:Grupos finitos de orden bajo]]
*[[Simetría molecular]]
}}

==Referencias==
{{listaref}}

==Bibliografía==
* {{Citation|author-link= Harold Scott MacDonald Coxeter|last= Coxeter|first= H. S. M.|title= Regular Complex Polytopes|publisher= Cambridge University Press|year= 1974|chapter= 7 The Binary Polyhedral Groups|pages= [https://books.google.com/books?id=9BY9AAAAIAAJ&pg=PA73 73–82] }}.
*{{cite book|author1=Coxeter, H. S. M.|author2=Moser, W. O. J.|title=Generators and Relations for Discrete Groups, 4th edition|location=New York|publisher=Springer-Verlag|year=1980|isbn=0-387-09212-9}} 6.5 Los grupos poliédricos binarios, p.&nbsp;68
*{{Citation|last1=Conway|first1=John Horton|author1-link=John Horton Conway|last2=Huson|first2=Daniel H.|title= The Orbifold Notation for Two-Dimensional Groups|publisher=Springer Netherlands|doi=10.1023/A:1015851621002|year=2002|journal=Structural Chemistry|volume=13|issue=3|pages=247–257|s2cid=33947139 }}

==Enlaces externos==
*[https://web.archive.org/web/20120204104121/http://newton.ex.ac.uk/research/qsystems/people/goss/symmetry/Solids.html Resumen gráfico de los 32 grupos de puntos cristalográficos] – formar las primeras partes (además de omitir ''n''=5) de las 7 series infinitas y 5 de los 7 grupos de puntos 3D separados
*[http://newton.ex.ac.uk/research/qsystems/people/goss/symmetry/CC_All.html Descripción general de las propiedades de los grupos de puntos]
*[https://web.archive.org/web/20080316083237/http://homepage.mac.com/dmccooey/polyhedra/Simplest.html Poliedros canónicos más simples de cada tipo de simetría] (usa Java)
*[https://web.archive.org/web/20121024123235/http://www.stanford.edu/~yishuwei/crystal.pdf Point Groups and Crystal Systems], por Yi-Shu Wei, pp.&nbsp;4 –6
* [http://www.geom.uiuc.edu/docs/reference/CRC-formulas/node45.html The Geometry Center: 10.1 Fórmulas para simetrías en coordenadas cartesianas (tres dimensiones)]

{{Control de autoridades}}
[[Categoría:Simetría euclidiana]]
[[Categoría:Teoría de grupos]]