1

LAS SIMETRIAS Y EL TEOREMA ENORME

Pedro Alegra (pedro.alegria@ehu.es)

El matematico, como el pintor o el poeta, es un constructor de disenos. El hecho de

que sus disenos sean mas permanentes que los de los otros se debe a que estan hechos
con ideas.
G. Hardy (1877-1947)
El sentido en que se enrosca una concha de caracol es un rasgo hereditario que
se encuentra en su constitucion genetica, como sucede con ... la manera en que se
enrosca el conducto intestinal en la especie humana... Tambien observamos que la
constitucion qumica mas profunda del cuerpo humano senala que hay un tornillo
dentro, un tornillo que gira del mismo modo en todos nosotros (la molecula del
ADN?).
H. Weyl (1885-1955)

INDICE
1. Introduccion.
2. Nociones teoricas abstractas.
3. Grupos de simetra puntuales.
4. Grupos de simetra de los frisos.
5. Grupos cristalograficos planos.
6. Grupos cristalograficos espaciales.

2
1. INTRODUCCION.

El desarrollo de un resultado matematico hace que muchas veces la formulacion final no tenga
ningun parecido con el origen del problema y que se pierdan los detalles relativos a su naci-
miento y temprana evolucion. La exposicion precisa y metodica de un libro hace pensar que las
matematicas constituyen un ente rgido e inmutable. Sin embargo, la parte mas excitante de las
matematicas la forman el proceso de invencion y descubrimiento. As, muchas veces, mirando
ejemplos y buscando caractersticas comunes a los mismos, se pueden descubrir las razones de
esas analogas y desarrollar las subsiguientes ideas matematicas.
Lo primero que debemos hacer al analizar una estructura que presenta simetras en el mundo
real es decidir a que categora pertenece:
- Figuras finitas: no tienen simetras por traslacion.
- Bandas o cintas: tienen simetras por traslacion en una direccion.
- Murales: tienen simetras por traslacion en dos direcciones diferentes.
Esta clasificacion no es tan simple como parece porque muchos modelos estan hechos con varias
estructuras menores.
La composicion de formas variadas puede estudiarse tanto en un contexto matematico como
artstico. Por ejemplo, dos bandas pueden unirse para formar una banda mas larga. En algunos
casos, la combinacion de estas bandas tiene mas simetras que las de cada una de sus com-
ponentes, pero a veces la simetra es menor. En cualquier ejemplo, como puede ser una pieza
de porcelana china, una discusion de la interaccion artstica de las bandas componentes es tan
importante como una discusion de la interaccion matematica.
En arte la nocion de simetra se asocia con los conceptos de equilibrio, belleza y orden. De
este modo, si las primeras manifestaciones de la simetra aparecen en la naturaleza organica
e inorganica -flores, animales, minerales, etc.-, en el arte se desarrolla, bien como copia de
la naturaleza, bien apoyada en una idea que tiene como soporte el concepto matematico de la
simetra. Las simetrasse presentan tambien a veces enmascaradas en estructuras matematicas
muy complejas que, cuando son estudiadas exhaustivamente, permiten salir a flote con sus corres-
pondientes formulaciones generales que las originan. Por ejemplo, en el estudio de las relaciones
definitorias de un p-grupo de clase maximal, hemos obtenido por metodos computacionales una
tabla para p = 31 que al colorear permite conjeturar las regiones que representan uniformidades
o simetras.
Las simetras tambien aparecen en expresiones matematicas como pueden ser las siguientes
descomposiciones numericas:

18+1 = 9 12 = 1
128+2 = 98 112 = 121
1238+3 = 987 1112 = 12321
12348+4 = 9876 11112 = 1234321
123458+5 = 98765 111112 = 123454321
1234568+6 = 987654 1111112 = 12345654321
12345678+7 = 9876543 11111112 = 1234567654321
123456788+8 = 98765432 111111112 = 123456787654321
1234567898+9 = 987654321 1111111112 = 12345678987654321

3
 19+2 = 11 99+7 = 88
129+3 = 111 989+6 = 888
1239+4 = 1111 9879+5 = 8888
12349+5 = 11111 98769+4 = 88888
123459+6 = 111111 987659+3 = 888888
1234569+7 = 1111111 9876549+2 = 8888888
12345679+8 = 11111111 98765439+1 = 88888888
123456789+9 = 111111111 987654329+0 = 888888888
1234567899+10 = 111111111198765432191 = 8888888888

1234567991 = 111111111
1234567992 = 222222222
1234567993 = 333333333
1234567994 = 444444444
1234567995 = 555555555
1234567996 = 666666666
1234567997 = 777777777
1234567998 = 888888888
1234567999 = 999999999

1122334455667789991 = 111111111111111111
1122334455667789992 = 222222222222222222
1122334455667789993 = 333333333333333333
1122334455667789994 = 444444444444444444
1122334455667789995 = 555555555555555555
1122334455667789996 = 666666666666666666
1122334455667789997 = 777777777777777777
1122334455667789998 = 888888888888888888
1122334455667789999 = 999999999999999999

Ya desde las civilizaciones mas antiguas, los smbolos usados en cualquier representacion artsti-
ca, tanto en la construccion civil, militar o religiosa, han estado dotados de simetra. Por ejemplo,
edificios destinados al culto como son los templos griegos, las iglesias cristianas, etc., tienen si-
metra axial.
La teora de grupos de permutaciones puede usarse para analizar una gran variedad de disenos
que aparecen en el arte y la arquitectura. Una pequena lista de lugares donde se pueden encontrar
disenos interesantes es la siguiente:
Paredes de ladrillos. Diversos disenos corresponden a distintas clasificaciones que dan lugar
a distintos tipos de grupos de simetras.
Alfombras y paredes pintadas. Muchos museos y lugares publicos contienen variadas es-
tructuras que puede interesar estudiar y comparar.
El arte de M.C. Escher. Este artista construyo una gran cantidad de murales fascinantes,
entre los que se incluyen originales divisiones regulares del plano. Pueden compararse con
los trabajos del disenador de la epoca victoriana William Morris.

4
 Arte islamico. Es bien conocido el hecho de la existencia de disenos simetricos en la Al-
hambra de Granada. Recordemos el nombre de arabescos para representar disenos con
estructuras curvilneas muy comunes en el arte del Islam.
Arte renacentista. Fue frecuente el uso de los grupos de simetra puntuales, llamados
grupos de Leonardo pues este artista los aplico en el diseno de capillas, de manera que al
anadir nuevos elementos a la capilla inicial se conservase la simetra de la misma. Leonardo
descubrio que los unicos grupos de isometras en el plano son los grupos cclicos Cn y
diedricos Dn , para todo n natural.
Los grupos de simetra puntuales fueron usados en arquitectura religiosa, en construcciones
militares (como fortalezas de planta estrellada), y en ornamentacion e iluminacion de edificios
(como los rosetones de las fachadas de las catedrales goticas). En la actualidad se usan en la
construccion de urbanizaciones, situando en el punto central de la simetra los servicios comunes,
como pueden ser una plaza, una piscina, una zona recreativa, etc.
En arquitectura, los grupos puntuales predominantes son D1 y D2 ; en las piramides de Egipto
aparece D4 ; hay torres con grupo de simetra de D6 . La simetra con grupo D5 es bastante
inusual, no obstante hay edificios emblematicos, como por ejemplo, el edificio del Pentagono en
Washington que las utiliza; el templo Bahai (Chicago) tiene grupo de simetra D9 . Por contra,
la simetra de tipo 5 aparece con frecuencia en la naturaleza, por ejemplo, en las flores. El grupo
D6 es el que poseen los copos de nieve.
Veamos la aplicacion de las ideas contenidas en los grupos simetricos a la cristalografa.
A los cristalografos les interesan los grupos finitos de isometras que surgen como subgrupos de
los grupos de simetra de las celosas tridimensionales. Se ha probado que se trata precisamente
de los casos especiales en los que las unicas rotaciones que ocurren tienen perodos 2, 3, 4 o 6.
Consideraciones cristalograficas reducen estos grupos rotacionales a

C1 , C2 , C3 , C4 , C6 , D2 , D3 , D4 , D6 , A4 , S4 .

Una de las preocupaciones del Arquitecto, a lo largo de los siglos, ha sido embellecer sus construc-
ciones mediante la ornamentacion de las mismas. En el arte de la ornamentacion han destacado
los egipcios, los chinos, y sobre todo los arabes.
Uno de los primeros estudios matematicos sobre los mosaicos fue dirigido por J. Kepler en 1619,
quien, en su libro Harmonice Mundi, ya observo que los unicos polgonos regulares que cubren
el plano son el triangulo, el cuadrado y el hexagono. Despues tuvieron que pasar mas de 200
anos para que se produjeran avances significativos con respecto a la teora matematica de los
embaldosados.
A modo de resumen, existe un numero infinito de grupos de simetras finitos, del plano, carac-
terizados en dos familias, a saber, de tipo cclico, o de tipo diedrico. Por otro lado, se puede
demostrar que existe un numero finito de grupos de simetras infinitos. De entre estos, si llama-
mos grupos de frisos a aquellos que contienen solamente traslaciones en una direccion, existen
exactamente 7 de ellos; por otro lado, si llamamos grupos cristalograficos planos a aquellos que
contienen traslaciones en dos direcciones, existen exactamente 17 grupos de ellos y ninguno
mas (este es el merito del matematico). A pesar de que ya eran conocidos los 17 grupos desde
tiempos pasados (todos ellos han sido encontrados en la Alhambra de Granada), su verificacion
matematica fue realizada por primera vez por E. Fedorov en 1890. La version tridimensional de
esta teora es muy importante en fsica y en cristalografa, de ah que estos grupos reciban el
nombre de grupos cristalograficos. Es tambien un resultado debido a Fedorov y Schoenflies (en

5
un principio trabajando independientemente y despues aunando esfuerzos) que existen exacta-
mente 230 tipos de grupos cristalograficos. En el caso de dimension cuatro, existen exactamente
4895 de estos grupos, clasificacion terminada en 1974 por H. Brown, R. Bulow, J. Neubuser, H.
Wondratscheck y H. Zassenhaus.
Como ya hemos indicado, el interes matematico de esta teora se extiende tambien a otras disci-
plinas, como la cristalografa, el arte, mecanica cuantica (disposicion de partculas subatomicas),
criptologa (estudio de codigos secretos en comunicacion), biologa, etc.
La simetra ornamental es la mas complicada pero mas interesante clase de simetra geometri-
ca. En tres dimensiones, caracteriza el ordenamiento de atomos en los cristales, por lo que
tambien recibe el nombre de simetra cristalografica.
En el arte y la naturaleza, el esquema ornamental bidimensional mas frecuente es el hexagonal:
azulejos, panales de abejas. Es la disposicion natural (mas economica) que se consigue en el
empaquetamiento de crculos del mismo radio.

Cada crculo es tangente a otros seis, los puntos de interseccion forman hexagonos regulares;
al sustituir los crculos por los hexagonos circunscritos se obtiene una configuracion que puede
cubrir todo el plano.
Esta disposicion es, de entre todas las divisiones del plano en partes iguales, la de menor longitud
de contorno. Por tanto, aparece en otras estructuras, como el pigmento de la retina ocular. En los
panales, que se construyen de forma cilndrica girando las abejas sobre s mismas, la capilaridad
actua sobre la cera semifluida y transforma los crculos en hexagonos inscritos.

2. NOCIONES TEORICAS ABSTRACTAS.

En Matematicas, la estructura basica en donde se producen los movimientos que dan lugar a
simetras corresponde al espacio eucldeo. El espacio eucldeo ordinario se puede considerar como
el conjunto de vectores con origen un punto fijado previamente (el origen de coordenadas). Al
cambiar dicho origen de referencia, se obtiene un nuevo espacio vectorial, isomorfo al anterior
pero no identico. Para que no intervenga en la definicion ninguna eleccion arbitraria del origen,
se construye el llamado espacio afn. Expondremos a continuacion la definicion axiomatica de
estos espacios y las propiedades basicas de los elementos que intervienen en estos espacios. Su-
pondremos conocidas las nociones elementales de espacio vectorial y espacio normado, as como
la de aplicacion lineal entre espacios vectoriales.
Definicion 1. Dados un conjunto A no vaco y un espacio vectorial T sobre un cuerpo de
escalares K, decimos que A es un espacio afn sobre K con grupo de traslaciones T si existe

6
una operacion externa : A T A definida por (P, v) = P + v con las siguientes
propiedades:
i) (P, 0) = P, P A.

ii) P, Q A, existe un unico v T tal que (P, v) = Q (en cuyo caso escribiremos v = P Q.

iii) (P + v, w) = (P, v + w), P A, v, w T (lo que equivale a la propiedad P Q + QR =

P R, P, Q, R A).
Los elementos de A reciben el nombre de puntos, los de T traslaciones (o direcciones) y los de

K escalares. La unica traslacion P Q que enva el punto P en el punto Q es el vector de origen
P y extremo Q.
Si A es un espacio afn con grupo de traslaciones T , una variedad afn de A viene determinada
por un punto P0 A y un subespacio vectorial S de T , y esta definida por

A0 = {Q : Q = P0 + u, u S} = {Q A : P0 Q S}.
Al subespacio vectorial S se le denomina direccion de A0 y se escribe A0 = P0 + S.
Una referencia en un espacio afn, es el conjunto R = {O; B}, formado por un punto O de A,
llamado origen de referencia, y una base B del espacio T .
Si el cuerpo de escalares es K = R, decimos que A es un espacio afn eucldeo. Si T es en
particular un espacio normado, podemos definir sobre A una distancia
d : A A R,
por

d(P, Q) = kP Qk.

Definicion 2. Dados dos espacios afines A1 y A2 sobre K con grupos de traslaciones T1 y T2 ,

respectivamente, una aplicacion g : A1 A2 es una aplicacion afn si existe f : T1 T2 lineal
(llamada aplicacion lineal asociada) tal que

f (P Q) = g(P )g(Q), P, Q A1 .

En el caso particular de que A1 y A2 sean espacios afines eucldeos, una aplicacion g : A1 A2

se dice isometra si
d2 (g(P ), g(Q)) = d1 (P, Q), P, Q A1
(la distancia entre dos puntos coincide con la distancia entre sus imagenes).
La condicion anterior equivale a decir que g es una aplicacion afn cuya aplicacion lineal asociada
f es una transformacion ortogonal (conserva la longitud de los vectores). As, una isometra queda
unvocamente determinada conocidas la imagen de un punto y su aplicacion lineal asociada. Las
isometras son claramente aplicaciones inyectivas.
Dos espacios afines son isometricos si existe una isometra biyectiva entre ellos.
Llamamos movimiento a toda isometra de un espacio afn en s mismo.
El conjunto de movimientos de un espacio afn es un grupo con respecto a la composicion de
aplicaciones.
Como la aplicacion lineal asociada a un movimiento es una transformacion ortogonal, la matriz
asociada a dicha aplicacion con respecto a cualquier base tiene determinante igual a 1. Por
tanto, podemos clasificar los movimientos en un espacio afn en dos tipos:

7
1. Movimientos directos: det f = 1 (no cambian la orientacion de la figura). Tienen las
siguientes propiedades generales:
P.1.- Todo movimiento directo queda unvocamente determinado por dos puntos y sus
imagenes (esto se basa en que ningun movimiento directo puede tener dos puntos
fijos).
P.2.- El conjunto de movimientos directos es un subgrupo del grupo de movimientos
generado por las traslaciones y las rotaciones.

1.1. Traslacion. Dado un vector arbitrario

v , se define la traslacion de vector

v como
0
0

el movimiento v : A A dado por v (P ) = P si P P = v .
Por definicion, todos los mosaicos son invariantes por traslaciones (esto asegura que un
mismo diseno ornamental se repite al trasladarlo en alguna direccion).
Propiedades.
i) Toda traslacion es una isometra directa.
ii) La aplicacion lineal asociada a una traslacion es la identidad.
iii) La composicion de dos traslaciones de vectores v y
w es la traslacion de vector



v + w.
iv) La composicion de traslaciones es conmutativa.
v) El inverso de una traslacion de vector

v es la traslacion de vector

v.
vi) El conjunto de traslaciones es un subgrupo normal del grupo de movimientos.
vii) Si

v 6= 0, la traslacion no tiene puntos fijos.
v

viii) En el plano eucldeo, si

v = (a, b), entonces
 
1 0
v (x, y) = (x + a, y + b) = (a, b) + (x, y) .
0 1

1.2. Rotacion. Fijados un punto O A y un numero , se define la rotacion de centro

O y angulo al movimiento O, : A A dado por O, (P ) = P 0 si d(O, P ) = d(O, P 0 )
yP\ OP 0 = .
Propiedades.
i) Toda rotacion es isometra directa.
ii) La composicion de dos rotaciones de angulos y es una rotacion de angulo + .
iii) La composicion de rotaciones no es conmutativa.
iv) Si 6= 0, el unico punto fijo de la rotacion O, es O.
v) En el plano, una rotacion transforma rectas paralelas en rectas paralelas.
vi) En el plano eucldeo, si O = (x0 , y0 ),
 
cos sen
O, (x, y) = (x0 , y0 ) + (x x0 , y y0 ) .
sen cos

8
 2. Movimientos inversos: det f = 1 (invierten la orientacion de la figura).
2.1. Reflexion. Si A0 = (P0 ; S) es una variedad afn del espacio afn eucldeo, llamamos
reflexion (o simetra ortogonal) respecto de esta variedad a toda aplicacion A0 : A
A, dada por
A0 (P ) = P 0 ,

con P 0 = P +2P Q, donde Q es la proyeccion ortogonal de P sobre A0 (en el plano eucldeo,
S es la mediatriz del segmento P P 0 ).
Propiedades.
i) Si A0 es un hiperplano, A0 es un movimiento inverso. (Las simetras respecto a hi-
perplanos tienen una especial importancia, ya que toda traslacion se puede expresar
como composicion de dos simetras respecto a hiperplanos paralelos.)
ii) Toda reflexion es una involucion (su cuadrado es la identidad).
iii) En el plano eucldeo, si r es la recta que pasa por el punto (x0 , y0 ) y forma un angulo
con el eje X,
 
cos 2 sen 2
r (x, y) = (x0 , y0 ) + (x x0 , y y0 ) .
sen 2 cos 2

2.2. Reflexion deslizada. Llamamos reflexion deslizada (o simetra con deslizamien-

to) a la composicion de una simetra respecto de un hiperplano con una traslacion de
vector no nulo en la direccion del hiperplano, SA0 ,v = v A0 .
Propiedades.
i) Toda reflexion deslizada es un movimiento inverso.
ii) Una reflexion deslizada no tiene puntos fijos.
iii) El cuadrado de una reflexion deslizada es una traslacion.
iv) En el plano eucldeo, si r es la recta que pasa por el punto (x0 , y0 ) y forma un angulo
con el eje X, y v = (a, b),
 
cos 2 sen 2
Sr,v (x, y) = (x0 + a, y0 + b) + (x x0 , y y0 ) .
sen 2 cos 2

Un resultado general sobre los movimientos en espacios afines eucldeos es el

siguiente.
Teorema (de Cartan-Dieudonne). Sea A espacio afn eucldeo de dimension n. Todo movi-
miento g de A es composicion de r reflexiones respecto de hiperplanos, para algun r n + 1,
es decir, g se puede expresar como composicion de a lo sumo n + 1 reflexiones. Ademas, los
hiperplanos de r 1 de estas reflexiones pueden elegirse pasando por un punto fijo O.

MOVIMIENTOS EN EL PLANO EUCLIDEO

Designaremos por O2 al grupo de los movimientos de un espacio afn eucldeo A de dimension

2. Haciendo uso del teorema anterior, se tienen las siguientes caracterizaciones de los diferentes
elementos de O2 .
Proposicion. Sea g O2 un movimiento de A distinto de la identidad.

9
 (a) Las siguientes condiciones son equivalentes:
(a.1) g es una traslacion.
(a.2) g es composicion de dos reflexiones de ejes paralelos.
(a.3) g es un movimiento directo sin puntos fijos.
(b) Las siguientes condiciones son equivalentes:
(b.1) g es una rotacion.
(b.2) g es composicion de dos rotaciones del mismo centro.
(b.3) g es composicion de dos reflexiones de ejes no paralelos.
(b.4) g es un movimiento directo con un unico punto fijo.
(c) Las siguientes condiciones son equivalentes:
(c.1) g es un simetra.
(c.2) Existen dos puntos distintos, fijos por g.
(d) Las siguientes condiciones son equivalentes:
(d.1) g es un simetra con deslizamiento.
(d.2) g es un movimiento inverso sin puntos invariantes.
Como consecuencia de los resultados anteriores, podemos clasificar los movimientos del plano,
teniendo en cuenta sus puntos invariantes, en cinco tipos:

g = IA todo el plano es de puntos fijos.

g = R tiene una recta de puntos fijos.
g = C, tiene un unico punto fijo, el centro C del giro g.
g = u es una traslacion es un movimiento directo sin puntos fijos.
g es una reflexion deslizada es un movimiento inverso sin puntos fijos.

Veamos representaciones graficas de estos movimientos, y el efecto optico sobre figuras concretas
del plano:

10
11
Un subgrupo H de O2 se dice discontinuo o discreto si para cada punto P del plano A, existe
algun entorno con centro en P que no contiene ninguna imagen (P ), H, distinta de P (lo
que significa que no hay operaciones proximas a la identidad salvo la propia identidad). Esta
condicion es equivalente a decir que la orbita H(P ) = {(P ) : H} de cualquier punto P
tiene interseccion finita con cualquier conjunto acotado D de A.
En un grupo discontinuo, el conjunto generado por la rotacion O, es finito, es decir n N tal
que O, n = I. Por tanto, = 2/n, con n entero.
Si H es un subgrupo discontinuo del grupo de traslaciones T , entonces, o bien H se reduce a la
aplicacion identidad, o bien H esta generado por una traslacion de vector no nulo v, o bien H
esta engendrado por dos traslaciones de vectores linealmente independientes. En el lenguaje de
la teora de grupos, esto equivale a decir que H es trivial, o cclico infinito, o abeliano libre de
rango 2:
H {1, C , C C }.

12
A continuacion, estudiamos grupos de simetra H del plano cuya interseccion con el subgrupo
de traslaciones sea un subgrupo discontinuo, es decir sea uno de los tres casos anteriores, a
saber:

HT = {I} (1)
HT = {nv : n Z} (2)
HT = {nv mw : n, m Z}, (3)

donde v y w generan el espacio vectorial T .

El caso (1) no contiene traslaciones. Esto implica que todas las rotaciones tienen el mismo centro.
Son grupos discretos planos con solo rotaciones y reflexiones, llamados grupos de Leonardo
o grupos puntuales.
El caso (2) contiene una traslacion basica que genera todo el grupo. Este corresponde a grupos
discretos planos que contienen rotaciones, reflexiones, reflexiones deslizadas y traslaciones en
una sola direccion y son los llamados grupos de frisos.
En el caso (3) las traslaciones forman un retculo bidimensional. Este caso corresponde a los
grupos cristalograficos planos, o grupos planos de Fedorov.
Estudiaremos a continuacion con mas detalle estos tres tipos de grupos.

3. GRUPOS DE SIMETRIA PUNTUALES

Vamos a dar el soporte matematico en el que se basa la clasificacion de los grupos de simetra del
plano que tienen un punto fijo, tambien llamados de Leonardo debido al uso sistematico de los
mismos realizado por Leonardo da Vinci en sus disenos arquitectonicos de capillas. En segundo
lugar estudiaremos los frisos, grupo de gran uso en la Arquitectura sobre todo ornamental.
Teorema 1. Si H es un subgrupo de O2 que no contiene ninguna traslacion no trivial, es decir
H T = {I}, entonces H fija puntos. Es decir, existe O A tal que g(O) = O para cualquier g
de H.
Teorema 2. Si H es un subgrupo de O2 con un numero finito de elementos, entonces H fija un
punto y ademas, o bien es un grupo engendrado por un giro (por tanto un grupo cclico), o bien
es un grupo engendrado por un giro y una simetra (con estructura de grupo diedrico).
Definicion. Todo grupo finito de movimientos del plano recibe el nombre de grupo puntual
o de Leonardo.
Por ser el grupo finito, no contiene ninguna traslacion propia y el grupo tiene un punto fijo.
Del teorema 2 se deduce que existen infinitos grupos de Leonardo y son cclicos o diedricos: Cn
o Dn , con n N. Veamos las tablas de estos grupos.
Grupo cclico de orden n generado por un elemento g:

Cn = hgi = {1, g, g 2 , . . . , g n1 },

donde la multiplicacion se define por

g i g j = g i+j = g (i+j)0 ,

siendo (i + j)0 el resto modulo n del exponente i + j.

13
Veamos como ejemplo la tabla de multiplicacion de C4 :
C4 1 g g2 g3
1 1 g g 2 g3
g g g2 g3 g4 = 1
g2 g 2 g 3 g = 1 g5 = g
4

g3 g3 g4 = 1 g5 = g g6 = g2
Grupo diedrico de orden 2n generado por dos elementos a y b:

Dn = ha, b : an = 1, b2 = 1, ab = a1 i = {ai , ai b : 0 i n 1}.

[El smbolo ab representa, como es usual, la operacion de conjugacion b1 ab.]

Multiplicacion:
j
ai bj ar bs = ai+(1) r bj+s ,
con el exponente de a reducido modulo n y el exponente de b reducido modulo 2.
Tabla de multiplicacion de D4 :
D4 1 a a2 a3 b ab a2 b a3 b
1 1 a a2 a3 b ab a2 b a3 b
a a a2 a3 a4 = 1 ab a2 b a3 b b
a 2 a 2 a3 4
a =1 a5 = a a2 b a3 b b ab
a3 a3 a4 = 1 a5 = a a2 a3 b b ab a2 b
b b a3 b a2 b ab 1 a3 a2 a
ab ab b a3 b a2 b a 1 a3 a2
a2 b a2 b ab b a3 b a2 a 1 a3
a3 b a3 b a2 b ab b a3 a2 a 1

Veamos que para n 3, los grupos diedricos Dn se corresponden de forma unica con los grupos
de simetra de los polgonos regulares de n lados.
Definicion. Un polgono de n lados, o n-polgono, esta determinado por n puntos distin-
tos
P1 , , P n ,
llamados vertices del polgono, y n segmentos [P1 , P2 ], [P2 , P3 ], , [Pn , P1 ], llamados lados del
polgono, que solo tienen en comun los vertices y de modo que cada tres vertices consecutivos
no estan alineados.
El n-polgono se dice convexo si el segmento que une puntos de dos lados esta contenido en
el interior del polgono o es un lado del mismo. En caso contrario se dice que el polgono es
concavo. Se dice que un n-polgono convexo es regular si tiene todos sus lados iguales.
Teorema 3. (a) El grupo de simetra de un n-polgono regular es el grupo diedrico Dn .
(b) El grupo de simetra de un n-polgono orientado coincide con el grupo cclico Cn .
Los siguientes diagramas describen las representaciones graficas de C4 y D4 en el cuadrado
ABCD.

14
En las siguientes figuras tenemos una representacion de los seis primeros grupos puntuales o de
Leonardo cclicos y diedricos (tambien llamados rosetas), sobre un mismo motivo ornamen-
tal.

15
16
17
4. GRUPOS DE SIMETRIAS DE LOS FRISOS.

En la decoracion y ornamentacion artstica es comun crear disenos que consisten en la repeticion

de un mismo motivo ornamental a lo largo de una lnea recta -pensemos por ejemplo en las grecas
de ceramica, cenefas y bordes de alfombras-, con el objeto de dar al resultado final un aspecto
mas armonico y simetrico. Cada elemento decorativo genera de esta manera lo que llamaremos
un grupo de frisos. Un estudio geometrico, basado en las propiedades del grupo de movimientos
en el plano eucldeo, permite deducir que unicamente son posibles siete formas distintas de
generar los grupos de frisos, como ilustramos a continuacion.
Sea F un subgrupo de O2 cuyo subconjunto de traslaciones

T1 = F T = {nv : n Z},

para algun v T , v 6= 0, es decir, es un grupo cclico infinito. Tales grupos son grupos de simetra
de ciertas figuras planas que se llaman frisos, las cuales admiten traslaciones unicamente a lo
largo de una direccion dada por un vector v.
Teorema 4. Si representamos por a una traslacion de vector v , a una reflexion de eje r,
a una rotacion de 180 y S a una reflexion deslizada, existen siete grupos geometricos de frisos,
con las siguientes caractersticas:
1) F1 = h i ' C .
2) F2 = h, i ' C C2 , donde 2 = 1 y = .
3) F3 = h, i ' D , donde 2 = 1 y = 1 .
4) F4 = h, Si ' C , donde S 2 = y S = .
5) F5 = h, i ' D , donde 2 = 1 y = 1 .
6) F6 = h, , i ' D C2 , donde 2 = 2 = 1 y = , = 1 , = .
7) F7 = h, , Si ' D , donde 2 = 1, S 2 = , = , S = 1 , S = 1 .
Observe que F1 y F4 son isomorfos pero no son geometricamente equivalentes porque F1 conserva
la orientacion y F4 no la conserva.
Los cuatro primeros ejemplos no poseen rotaciones propias y los tres ultimos tienen rotaciones
propias.

18
Las siguientes figuras representan los siete grupos de frisos a partir de un mismo motivo ornamen-
tal, donde utilizamos la notacion adoptada por la Union Internacional de Cristalografa.

p1: traslaciones de vector

v.

pm: traslaciones de vector

v mas reflexion por eje horizontal.

p/m: traslaciones de vector

v mas reflexion por eje vertical.

pg: traslaciones de vector

v mas reflexion deslizada cuyo cuadrado es igual a la traslacion.

p2: traslaciones de vector

v mas rotacion de 180 .

p2m: traslaciones de vector

v mas rotacion de 180 mas reflexion (o bien doble reflexion:
horizontal y vertical).

p2g: traslaciones de vector

v mas rotacion de 180 mas reflexion deslizada.

19
 GRUPOS DE SIMETRIAS DE FRISOS
CARACTERISTICAS NOTACION DESCRIPCION
p1 traslacion
pm traslacion
sin
mas reflexion de eje paralelo
rotaciones
p/m traslacion
propias
mas reflexion de eje perpendicular
pg traslacion mas reflexion deslizada
traslacion mas rotacion
con p2
traslacion mas rotacion mas reflexion
rotaciones p2m = pmm
traslacion mas rotacion
de 180 p2g
= pmg
mas reflexion deslizada
Interpretacion de los smbolos.
p: periodico.
m: reflexion (mirror).
g: reflexion deslizada (glide).
1 o 2: orden de la rotacion.
/: perpendicular.

5. GRUPOS CRISTALOGRAFICOS PLANOS.

Como ya hemos indicado, un grupo de simetra G es un grupo cristalografico o de Fedorov

plano si G es un subgrupo discontinuo de O2 cuya interseccion con el subgrupo de traslaciones
es un subgrupo abeliano libre de rango 2. La composicion de las simetras forma as un diseno
bidimensional que llena el plano.
Podemos elegir dos generadores del grupo de traslaciones, v y w , de tal forma que v es de
norma mnima entre todos los elementos de T2 distintos de la identidad y w es de norma mnima
entre todos los elementos de T2 que no son multiplos de v . El espacio

hv, wi = {m

v + n

w : m, n Z}

recibe el nombre de retculo generado por v y w y {v , w } es un conjunto reducido de

generadores de T2 .
Cuando se elige un punto base O, el grupo T2 determina una celosa o retculo fundamental
L, siendo la orbita de O respecto de T2 ,

L = { (O) : T2 }

(conjunto de puntos que se obtienen aplicando las traslaciones en las dos direcciones al punto
0).

20
En principio, el paralelogramo es arbitrario pero en algunos casos la construccion del grupo exige
formas particulares. En la siguiente tabla, exponemos una clasificacion de los diferentes tipos de
retculo fundamental.

RETICULO LONGITUD ANGULO

Triangulo
kvk = kwk v, w = /3
(celosa hexagonal)
d
Cuadrado kvk = kwk v,
d w = /2
Rombo
kvk = kwk v, w 6= /2, /3
(celosa centrada)
d
Rectangulo kvk =
6 kwk v,
d w = /2
Paralelogramo kvk =6 kwk v,
d w 6= /2

Un grupo puede identificarse por su celda unidad o celosa primitiva, que es cualquier region
conexa, maximal que no contiene puntos homologos (puntos tales que uno de ellos es imagen del
otro por algun elemento del grupo) en su interior. De este modo, todo el grupo puede generarse
mediante traslaciones sobre dicha region.
Una region fundamental es la menor region mediante la cual todo el grupo puede obtenerse
como resultado de alguna transformacion sobre dicha region. Es pues una region que no contiene
puntos homologos en su interior pero no puede extenderse sin perder esta propiedad. Observemos
que, tanto las celdas unidad como las regiones fundamentales, pueden no ser unicas.

GRUPOS CRISTALOGRAFICOS QUE CONSERVAN LA ORIENTACION

La determinacion de todas las posibles configuraciones regulares de objetos es un problema

fundamental en cristalografa, qumica y otras disciplinas. Resumiremos a continuacion los hechos
fundamentales que han permitido realizar dicha clasificacion en el plano.
Debido a su caracter discontinuo, el grupo de rotaciones de un grupo cristalografico plano debe
ser uno de los grupos de Leonardo, Cn o Dn (n N), pero que lleven el retculo sobre s mismo.
Una sencilla argumentacion geometrica hace que los unicos valores admisibles sean n = 1, 2, 3, 4
o 6 (la exclusion del 5 se llama restriccion cristalografica).

21
Las propiedades basicas en las que se basa la clasificacion que exponemos a continuacion son las
siguientes:
Propiedades.
1. Si G, entonces n G, n Z.
2. Si O, G, v G y O0 = O + v , entonces O0 , G.
3. Si O, G, O0 , G y O00 = O0 , (O), entonces O00 , G.
[La presencia de un retculo de traslaciones {vm + wn : m, n Z} y una rotacion O,
asegura la presencia de un retculo de rotaciones O+mv+nw, .]
4. Si v G, O, G, P = v (O) y Q = O, (P ), entonces OQ G.
5. Si v G y O, G, entonces O+v/2, G.
[Si tenemos un retculo de traslaciones y una rotacion de orden 2, tenemos tambien un
retculo de rotaciones de orden 2 de los puntos medios del retculo.]
TEOREMA. Sea G + un grupo cristalografico que conserva la orientacion. Entonces G + esta ge-
nerado por T2 = G + T y una unica rotacion de orden n, con n = 1, 2, 3, 4, o 6. As pues, G +
adopta una de las formas siguientes:
1) G1 = hv , w .
2) G2 = hv , w , i, donde 2 = 1, v = v , w = w .
3) G3 = hv , w , i, donde 3 = 1, v = v w = v+w , w = w .
4) G4 = hv , w , i, donde 4 = 1, v = w , w = v .
5) G5 = hv , w , i, donde 6 = 1, v = w , w = v w = v+w .
En el teorema siguiente se listan los grupos cristalograficos planos G correspondientes a cada
uno de los posibles subgrupos directos G + = Gi , para i = 1, 2, 3, 4, 6.
TEOREMA.
a) Para el subgrupo G1 = hv , w i tenemos exactamente cuatro tipos distintos de grupos crista-
lograficos:
a.1) p1 = hv , w i.
a.2) pm = hv , w , i, donde 2 = 1, v = v , w = w .
a.3) cm = hv , w , i, donde 2 = 1, v = w , w = v .
a.4) pg = hv , w , Si, donde S 2 = v , vS = v , wS = w .
b) Para el subgrupo G2 tenemos exactamente cinco tipos distintos de grupos cristalograficos:
b.1) p2 = hv , w , i, donde 2 = 1, v = v , w = w .
b.2) pmm = hv , w , , i, donde 2 = 2 = 1, ( )2 = 1, v = v , w = w , v =
v , w = w .
b.3) pmg = hv , w , , i, donde 2 = 2 = 1, ( )2 = v , v = v , w = w , v =
v , w = w .
b.4) cmm = hv , w , , i, donde 2 = 2 = 1, ( )2 = 1, v = v , w = w , v =
w , w = v .

22
 b.5) pgg = hv , w , , Si, donde 2 = 1, S 2 = v , (S )2 = w , v = v , w = w , vS =
v , wS = w .
c) Para el subgrupo G3 tenemos exactamente tres tipos distintos de grupos cristalograficos:
c.1) p3 = hv , w , i, donde 3 = 1, v = wv , w = v .
c.2) p3ml = hv , w , , i, donde 3 = 1, 2 = 1, ( )2 = 1, v = wv , w = v , v =
w , w = v .
c.3) p3lm = hv , w , , i, donde 3 = 1, 2 = 1, ( )2 = w , v = wv , w = v , v =
w , w = v .
d) Para el subgrupo G4 tenemos exactamente tres tipos distintos de grupos cristalograficos:
d.1) p4 = hv , w , i, donde 4 = 1, v = w , w = v .
d.2) p4m = hv , w , , i, donde 4 = 1, 2 = 1, ( )2 = 1, v = w , w = v , v =
v , w = w .
d.3) p4g = hv , w , , Si, donde 4 = 1, S 2 = v , (S )2 = 1, v = w , w = v , vS =
v , wS = w .
e) Para el subgrupo G5 tenemos exactamente dos tipos distintos de grupos cristalograficos:
e.1) p6 = hv , w , i, donde 6 = 1, v = w , w = v w = v+w .
e.2) p6m = hv , w , , i, donde 6 = 1, 2 = 1, ( )2 = 1, v = w , w = wv , v =
v , w = vw .
Ejemplos de todos estos grupos de simetra se encuentran en ornamentos antiguos y, como se
observa, su construccion no es en absoluto trivial en su aspecto matematico. Debemos observar
que la base conceptual para la formulacion abstracta del problema es la nocion de grupo de
transformaciones, introducida en el siglo XIX, y la demostracion de que solo puede haber 17
simetras se debe a Polya en 1924.
Existen distintas formas de identificar los 17 grupos de simetras de murales, desde la notacion
decimal, pasando por la aceptada por la IUC (International Union of Crystallography) desde
1952, hasta la notacion orbifold que proviene de las palabras orbit + manifold, basada en ideas
de W. Thurston y adoptada por J. Conway. La siguiente tabla describe cada uno de los grupos
citados.

23
 DESCRIPCION DE LOS GRUPOS DE MURALES
Decimal Orbifold IUC Retculo Descripcion
1 o p1 paralelogramo 2 traslaciones
2 traslaciones
2 2222 p2 paralelogramo
+ rotacion de 180
2 traslaciones
3 ** pm rectangulo
+ reflexion
2 traslaciones
4 xx pg rectangulo
+ reflexion deslizada
2 traslaciones
5 *2222 pmm rectangulo + rotacion de 180
+ reflexion
2 traslaciones
6 22* pmg rectangulo + rotacion de 180
+ reflexion
2 traslaciones
7 22x pgg rectangulo + rotacion de 180
+ reflexion deslizada
2 traslaciones
8 x* cm rombo
+ reflexion
2 traslaciones
9 2*22 cmm rombo + rotacion de 180
+ reflexion
2 traslaciones
10 442 p4 cuadrado
+ rotacion de 90
2 traslaciones
11 *442 p4m cuadrado + rotacion de 90
+ reflexion
2 traslaciones
12 4*2 p4g cuadrado + rotacion de 90
+ reflexion deslizada
2 traslaciones
13 333 p3 triangulo
+ rotacion de 120
2 traslaciones
14 *333 p3ml triangulo + rotacion de 120
+ reflexion
2 traslaciones
15 3*3 p3lm triangulo + rotacion de 120
+ reflexion
2 traslaciones
16 632 p6 hexagono
+ rotacion de 60
2 traslaciones
17 *632 p6m hexagono + rotacion de 60
+ reflexion

24
 OTRA CLASIFICACION
Sin rotaciones propias p1 pm pg cm
Con rotacion de 180
p2 pmm pgg cmm pmg
(sin rotaciones de 90 , 60 )
Con rotacion de 90 p4 p4m p4g
Con rotacion de 120
p3 p31m p3m1
(sin rotaciones de 60 )
Con rotacion de 60 p6 p6m

La notacion cristalografica consiste en cuatro smbolos que identifican las caractersticas de

la celda unidad. La celosa primitiva se elige con los centros de rotacion de mayor orden en los
vertices, salvo en dos casos, donde se elige una celosa centrada, de modo que los ejes de reflexion
sean normales a uno o los dos lados de la celosa. Cuando no hay lugar a confusion, se reduce el
numero de smbolos utilizados.
Interpretacion de los smbolos:

p: celosa primitiva
(1)
c: celosa centrada
(2) 1, 2, 3, 4, 5, 6: mayor orden de rotacion.

m: eje de reflexion (mirror)

g: reflexion deslizada (glide)

(3)

(eje de simetra normal a un eje)
l: sin eje de simetra


m: eje de reflexion (mirror)
(4) g: reflexion deslizada (glide)()
l: sin eje de simetra

() El eje de simetra forma un angulo con el eje ( = 180 si n = 1 o 2, = 60 si n = 3 o 6,

= 45 si n = 4).
En la notacion orbifold, los smbolos representan los generadores del grupo: los enteros indican
la presencia de rotaciones (el entero maximo es el mayor orden de rotacion). El smbolo indica
reflexiones y el smbolo xindica la presencia de reflexiones deslizadas.

25
 w

v
traslaciones de vectores
v y

w.
1 = p1:
(sin rotaciones, reflexiones ni reflexiones deslizadas).

v
traslaciones de vectores
v y
w mas giro de 180

2 = p2:
(sin reflexiones ni reflexiones deslizadas).

26
 w

v
traslaciones de vectores
v y


w
mas reflexion segun la lnea de puntos;

3 = pm:

(cualquier eje de una reflexion deslizada
es tambien eje de una reflexion).

v
traslaciones de vectores v y

w mas reflexion deslizada.
4 = pg:
(sin rotaciones ni reflexiones).

27
 w

v


traslaciones de vectores v y w mas giro de 180

5 = pmm: mas reflexion segun la lnea de puntos (o bien, dos reflexiones);

cualquier eje de una reflexion deslizada es tambien eje de reflexion.

v
traslaciones de vectores
v y
w mas giro de 180



mas reflexion segun la lnea de puntos;

6 = pmg:

existe alguna reflexion deslizada
cuyo eje no es paralelo a ningun eje de reflexion.

28
 w

v


traslaciones de vectores v y w
7 = pgg: mas giro de 180 mas reflexion deslizada
(no contiene reflexiones).

29
 w

traslaciones de vectores

v y

w mas reflexion respecto a la diagonal;
8 = cm:
hay un eje de una reflexion deslizada que no es eje de reflexion.

30
 w

traslaciones de vectores v y w mas giro de 180

9 = cmm: mas reflexion respecto a la diagonal; tiene una reflexion deslizada

cuyo eje es paralelo (pero distinto) a un eje de reflexion.

31
 w

v
traslaciones de vectores
v y
w mas giro de 90

10 = p4:
(sin reflexiones ni reflexiones deslizadas).

32
 w

v


traslaciones de vectores v y w mas giro de 90

11 = p4m: mas reflexion segun la lnea de puntos;

el centro de rotacion de 90 pertenece al eje de alguna reflexion.

33
 w

v


traslaciones de vectores v y w mas giro de 90

12 = p4g: mas reflexion deslizada; hay un centro de rotacion

de 90 no contenido en ningun eje de reflexion.

34
 w

traslaciones de vectores

v y

w mas giro de 120

13 = p3:
(sin reflexiones).

35
 w

v


traslaciones de vectores v y w mas giro de 120 mas reflexion

14 = p3ml: (cualquier centro de rotacion de 120

esta contenido en un eje de reflexion).

v


traslaciones de vectores v y w mas giro de 120 mas reflexion

15 = p3lm: (hay un centro de rotacion de 120

no contenido en ningun eje de reflexion).

36
 w

traslaciones de vectores

v y

w mas giro de 60

16 = p6:
(sin reflexiones).

traslaciones de vectores
v y
w mas giro de 60

17 = p6m:
mas reflexion segun la lnea de puntos.

37
6. GRUPOS CRISTALOGRAFICOS ESPACIALES.

Un sistema de puntos del espacio se llama sistema espacial regular de puntos si satisface
las propiedades siguientes:
1) Todo punto del sistema se puede transportar a cualquier otro punto del sistema mediante
movimientos que transforman el sistema en s mismo.
2) Ninguna esfera de radio finito contiene infinitos puntos del sistema.
3) Existe un numero positivo r tal que toda esfera de radio r contiene al menos uno de los
puntos del sistema.
El problema de estudiar la estructura de los cristales esta ntimamente ligado con el problema
de la clasificacion de los sistemas espaciales regulares, ya que un cristal tiene la peculiaridad
de que sus atomos forman, en cierto sentido, un sistema regular en el espacio; estas cristaliza-
ciones aparecen en general en la estructura de las moleculas y, a su vez, esta relacionada con
la clasificacion de los grupos discretos de movimientos en el espacio, entendiendo que un grupo
de movimientos H del espacio se dice discreto (o no continuo) si para cada punto P existe una
esfera de radio r y centro P tal que todo movimiento de H, o deja fijo el punto P , o lo lleva
fuera de la esfera.
En 1891, el eminente cristalografo y geometra ruso E.S. Fedorov resolvio por metodos de la
teora de grupos uno de los problemas fundamentales de la cristalografa: clasificar los sistemas
regulares de puntos en el espacio. Este fue el primer ejemplo de aplicacion de la teora de grupos
a la solucion de un problema de las ciencias naturales, causando un impacto importante en el
desarrollo posterior de la teora de grupos.
Se puede demostrar que el conjunto de los movimientos del espacio que llevan un sistema espacial
regular de puntos a coincidir consigo mismo es necesariamente un grupo discreto y que todos
los puntos del sistema se pueden obtener a partir de un punto dado del sistema transformando
este por todos los movimientos del grupo. Recprocamente, dado un cierto grupo discreto H, si
tomamos un punto arbitrario P y lo sometemos a todas las transformaciones del grupo obtenemos
un sistema de puntos que cumplen las propiedades 1) y 2).
Anadiendo condiciones muy sencillas, se pueden aislar, de entre los grupos discretos, aquellos
que para puntos P convenientemente elegidos dan, de hecho, sistemas regulares de puntos, es
decir, sistemas de puntos con las tres propiedades 1), 2) y 3). Tales grupos discretos se llaman
cristalograficos o de Fedorov (en el espacio). De todo lo dicho se desprende que el objetivo mas
importante en el estudio de los sistemas espaciales de puntos es la clasificacion de los grupos de
Fedorov. Se ha comprobado que para los objetivos que persiguen las ciencias de la naturaleza
es interesante considerar grupos que constan no solo de movimientos propios, sino tambien de
movimientos propios e impropios, es decir, que incluyen simetras respecto a ejes. El numero de
grupos de Fedorov formados solamente de movimientos de primera especie es 65, y el numero
de grupos de Fedorov que contienen tambien movimientos de segunda especie es 165; en total
tenemos pues 230 grupos de Fedorov en el espacio, numero muy grande en comparacion con los
17 grupos de Fedorov que hay en el plano. En contraposicion al plano, solo la teora de grupos ha
permitido analizar el numero excepcionalmente grande de posibilidades que se dan en el espacio.
Una deduccion y enumeracion detallada de todos los grupos de Fedorov en el espacio requiere
varias docenas de paginas de texto. Nos hemos limitado a dar los resultados cuantitativos y
remitimos al lector a las obras especializadas. Podemos citar la coleccion [HL] que proporcionan
la descripcion completa de todos los grupos cristalograficos planos y espaciales.

38
BIBLIOGRAFIA.
[Bl] Ma F. Blanco. Movimientos y Simetras. Univ. de Valladolid, 1994.
[Co] H.S.M. Coxeter. Fundamentos de Geometra. Limusa, 1984.
[Fe] E.S. Fedorov. Simetra de los sistemas regulares de figuras. Obras completas, Akad. Nauk
URSS, Moscu, 1949.
[GS] B. Grunbaum y G.C. Shephard. Tilings and Patterns. Freeman, 1987.
[HL] N. Henry y K. Lonsdale (eds.). International Tables for X-Ray Crystallography, vol.
1. Kynoch Press, Birmingham, 1952.
[HC] D. Hilbert y S. Cohn-Vossen. Geometry and the Imagination. Chelsea Pub., 1952
(english translation).
[Sc] D. Schattschneider. Visions of Symmetry, Note Books, Periodic Drawings and Related
Works of M.C. Escher. Freeman, 1990.
[We] H. Weyl. Simetra. McGraw Hill, 1990.

REFERENCIAS EN LA WEB
1. David Joyce,
http://aleph0.clarku.edu/djoyce/wallpaper
2. Grupo Virtual Chemistry (Dpto. de Qumica de la Universidad de Oxford),
http://neon.chem.ox.ac.uk/vrchemistry/sym/splash.htm
3. Xah Lee,
http://www.best.com/xah/Wallpaper dir/c0 WallPaper.html
4. Allan Bergmann Jensen,
http://home6.inet.tele.dk/bergmann/16engelsk/idx16.htm
5. Alok Bhushan, Kendrick Kay y Eleanor Williams,
http://library.advanced.org/16661/
6. Steven Dutch,
http://gbms01.uwgb.edu/dutchs/symmetry/symmetry.htm
7. John Grant Mcloughlin,
http://www.ucs.mun.ca/mathed/Geometry/
Transformations/Transformations.html
8. Carol Bier y Melissa June Dershewitz,
http://forum.swarthmore.edu/geometry/rugs/index.html
9. Hans Kuiper,
http://web.inter.nl.net/hcc/Hans.Kuiper/
PROGRAMAS RELACIONADOS
1. KALI. Realizado por Jeff Weeks para The Geometric Center. Dibuja disenos simetricos
basados en alguno de los 17 grupos de murales. Tambien se pueden generar los grupos de frisos
y los grupos de Leonardo.
Se consigue en http://www.geom.umn.edu/software/download/kali.html

39
2. REPTILES. Escrito por Olaf Delgado y Daniel Huson. El programa es capaz de generar
todos los grupos cristalograficos planos. Permite tambien disenar esquemas geometricos mas
complejos e interesantes. Util tambien para cristalografos y qumicos.
Se consigue en ftp://ftp.uni-bielefeld.de/pub/math/tiling/reptiles

3. PLANETILING. Realizado por Xah Lee. Este paquete, escrito para el programa Mathema-
tica, permite representar los 17 tipos de disenos de murales con un motivo ornamental arbitrario.
Contiene documentacion que permite representar la celosa fundamental y la celda unidad de
cada uno de los grupos.
http://www.best.com/xah/SpecialPlaneCurves dir/
MmaPackages dir/mmaPackages.html#PlaneTiling

40