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 dise

nos. El hecho de
que sus dise
nos 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 se
nala 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.

1.

INTRODUCCION.

El desarrollo de un resultado matematico hace que muchas veces la formulacion final no tenga
ning
un parecido con el origen del problema y que se pierdan los detalles relativos a su nacimiento 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 componentes, 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 correspondientes 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

12

128+2

98

112

121

1238+3

987

1112

12321

12348+4

9876

11112

1234321

123454321

12345654321

123458+5

98765

111112

1234568+6

987654

1111112

12345678+7

9876543

11111112

1234567654321

123456788+8

98765432

111111112

123456787654321

1234567898+9

987654321

1111111112

12345678987654321

19+2

11

99+7

88
888

129+3

111

989+6

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 artstica, 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 simetra axial.
La teora de grupos de permutaciones puede usarse para analizar una gran variedad de dise
nos
que aparecen en el arte y la arquitectura. Una peque
na lista de lugares donde se pueden encontrar
dise
nos interesantes es la siguiente:
Paredes de ladrillos. Diversos dise
nos corresponden a distintas clasificaciones que dan lugar
a distintos tipos de grupos de simetras.
Alfombras y paredes pintadas. Muchos museos y lugares p
ublicos contienen variadas estructuras 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 dise
nador de la epoca victoriana William Morris.

Arte isl
amico. Es bien conocido el hecho de la existencia de dise
nos simetricos en la Alhambra de Granada. Recordemos el nombre de arabescos para representar dise
nos 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 dise
no de capillas, de manera que al
a
nadir nuevos elementos a la capilla inicial se conservase la simetra de la misma. Leonardo
descubrio que los u
nicos 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 u
nicas 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 construcciones 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 u
nicos polgonos regulares que cubren
el plano son el triangulo, el cuadrado y el hexagono. Despues tuvieron que pasar mas de 200
a
nos para que se produjeran avances significativos con respecto a la teora matematica de los
embaldosados.
A modo de resumen, existe un n
umero infinito de grupos de simetras finitos, del plano, caracterizados en dos familias, a saber, de tipo cclico, o de tipo diedrico. Por otro lado, se puede
demostrar que existe un n
umero finito de grupos de simetras infinitos. De entre estos, si llamamos 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

un principio trabajando independientemente y despues aunando esfuerzos) que existen exactamente 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. B
ulow, J. Neub
user, H.
Wondratscheck y H. Zassenhaus.
Como ya hemos indicado, el interes matematico de esta teora se extiende tambien a otras disciplinas, 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 geometrica. En tres dimensiones, caracteriza el ordenamiento de atomos en los cristales, por lo que
tambien recibe el nombre de simetra cristalogr
afica.
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
act
ua 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. Supondremos conocidas las nociones elementales de espacio vectorial y espacio normado, as como
la de aplicacion lineal entre espacios vectoriales.
Definici
on 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

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 u
nico 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 u
nica 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 direcci
on 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.

Definici
on 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 aplicaci
on 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 isom
etricos 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
im
agenes (esto se basa en que ning
un 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. Traslaci
on. 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 dise
no 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

v (x, y) = (x + a, y + b) = (a, b) + (x, y)


1 0
.
0 1

1.2. Rotaci
on. Fijados un punto O A y un n
umero , se define la rotaci
on 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 u
nico 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 ),

O, (x, y) = (x0 , y0 ) + (x x0 , y y0 )


cos sen
.
sen cos

2. Movimientos inversos: det f = 1 (invierten la orientacion de la figura).

2.1. Reflexi
on. 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 hiperplanos 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. Reflexi
on deslizada. Llamamos reflexion deslizada (o simetra con deslizamiento) 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-Dieudonn
e). Sea A espacio afn eucldeo de dimensi
on n. Todo movimiento g de A es composici
on de r reflexiones respecto de hiperplanos, para alg
un r n + 1,
es decir, g se puede expresar como composici
on de a lo sumo n + 1 reflexiones. Adem
as, 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 .
Proposici
on. Sea g O2 un movimiento de A distinto de la identidad.
9

(a) Las siguientes condiciones son equivalentes:

(a.1) g es una traslaci
on.
(a.2) g es composici
on 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 rotaci
on.
(b.2) g es composici
on de dos rotaciones del mismo centro.
(b.3) g es composici
on de dos reflexiones de ejes no paralelos.
(b.4) g es un movimiento directo con un u
nico 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 u
nico 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
alg
un 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 dise
nos 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 traslaci
on 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 n
umero finito de elementos, entonces H fija un
punto y adem
as, 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).
Definici
on. 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

C4
1
g
g2
g3

multiplicacion de C4 :
1
g
g2
g3
2
1
g
g
g3
g
g2
g3
g4 = 1
2
3
4
g
g
g = 1 g5 = g
g3 g4 = 1 g5 = g g6 = g2

Grupo di
edrico 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:

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
1
1
a
a
a
a2
2
2
a
a
a3
a3
a3 a4 = 1
b
b
a3 b
ab
ab
b
a2 b a2 b
ab
a3 b a3 b
a2 b

a2
a2
a3
4
a =1
a5 = a
a2 b
a3 b
b
ab

a3
a3
a4 = 1
a5 = a
a2
ab
a2 b
a3 b
b

b
b
ab
a2 b
a3 b
1
a
a2
a3

ab
ab
a2 b
a3 b
b
a3
1
a
a2

a2 b
a2 b
a3 b
b
ab
a2
a3
1
a

a3 b
a3 b
b
ab
a2 b
a
a2
a3
1

Veamos que para n 3, los grupos diedricos Dn se corresponden de forma u

nica con los grupos
de simetra de los polgonos regulares de n lados.
Definici
on. Un polgono de n lados, o n-polgono, esta determinado por n puntos distintos
P1 , , P n ,
llamados vertices del polgono, y n segmentos [P1 , P2 ], [P2 , P3 ], , [Pn , P1 ], llamados lados del
polgono, que solo tienen en com
un 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
c
oncavo. 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 ornamental.

15

16

17

4.

GRUPOS DE SIMETRIAS DE LOS FRISOS.

En la decoracion y ornamentacion artstica es com

un crear dise
nos 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 u
nicamente 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 alg
un 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 u
nicamente a lo
largo de una direccion dada por un vector v.

Teorema 4. Si representamos por a una traslaci

on de vector
v , a una reflexi
on de eje r,
a una rotaci
on de 180 y S a una reflexi
on 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 u
ltimos tienen rotaciones
propias.

18

Las siguientes figuras representan los siete grupos de frisos a partir de un mismo motivo ornamental, 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 SIMETR
IAS 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
Interpretaci
on 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 cristalogr

afico 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 dise
no
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 m
ultiplos 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
Triangulo
(celosa hexagonal)
Cuadrado
Rombo
(celosa centrada)
Rectangulo
Paralelogramo

LONGITUD

ANGULO

kvk = kwk

v,
d
w = /3

kvk = kwk

v,
d
w = /2

kvk = kwk

v,
d
w 6= /2, /3

kvk =
6 kwk
kvk =
6 kwk

v,
d
w = /2
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 alg
un elemento del grupo) en su interior. De este modo, todo el grupo puede generarse
mediante traslaciones sobre dicha region.
Una regi
on 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 u
nicas.

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 u
nicos 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 cristalogr
afico que conserva la orientaci
on. Entonces G + est
a ge+
nerado por T2 = G T y una u
nica rotaci
on 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 cristalogr
aficos:
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 cristalogr
aficos:
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 cristalogr
aficos:
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 cristalogr
aficos:
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 cristalogr
aficos:
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

 DE LOS GRUPOS DE MURALES

DESCRIPCION
Decimal Orbifold IUC
Retculo
Descripci
on
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
+ rotacion de 180
5
*2222
pmm
rectangulo
+ reflexion
2 traslaciones
+ rotacion de 180
6
22*
pmg
rectangulo
+ reflexion
2 traslaciones
+ rotacion de 180
7
22x
pgg
rectangulo
+ reflexion deslizada
2 traslaciones
8
x*
cm
rombo
+ reflexion
2 traslaciones
+ rotacion de 180
9
2*22
cmm
rombo
+ reflexion
2 traslaciones
10
442
p4
cuadrado
+ rotacion de 90
2 traslaciones
+ rotacion de 90
11
*442
p4m
cuadrado
+ reflexion
2 traslaciones
+ rotacion de 90
12
4*2
p4g
cuadrado
+ reflexion deslizada
2 traslaciones
13
333
p3
triangulo
+ rotacion de 120
2 traslaciones
+ rotacion de 120
14
*333
p3ml
triangulo
+ reflexion
2 traslaciones
+ rotacion de 120
15
3*3
p3lm
triangulo
+ reflexion
2 traslaciones
16
632
p6
hexagono
+ rotacion de 60
2 traslaciones
+ rotacion de 60
17
*632
p6m
hexagono
+ reflexion

24


OTRA CLASIFICACION
Sin rotaciones propias p1 pm pg cm
Con rotaci
on de 180
p2 pmm pgg cmm pmg
(sin rotaciones de 90 , 60 )
Con rotaci
on de 90
p4 p4m p4g

Con rotaci
on de 120
p3 p31m p3m1
(sin rotaciones de 60 )
Con rotaci
on 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
n
umero 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

v

1 = p1:

traslaciones de vectores
v y
w.
(sin rotaciones, reflexiones ni reflexiones deslizadas).

w
v

2 = p2:

traslaciones de vectores
v y
w mas giro de 180
(sin reflexiones ni reflexiones deslizadas).

26

traslaciones de vectores
v y
w

m
as reflexion seg
un la lnea de puntos;
3 = pm:
(cualquier eje de una reflexion deslizada

es tambien eje de una reflexion).

v

4 = pg:

traslaciones de vectores
v y
w mas reflexion deslizada.
(sin rotaciones ni reflexiones).
27

traslaciones de vectores v y w mas giro de 180

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

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

w
v

traslaciones de vectores
v y
w mas giro de 180

mas reflexion seg

un la lnea de puntos;
6 = pmg:
existe
alguna
reflexi
on deslizada

cuyo eje no es paralelo a ning

un eje de reflexion.

28

traslaciones de vectores v y w
as giro de 180 mas reflexion deslizada
7 = pgg: m

(no contiene reflexiones).

29


8 = cm:

traslaciones de vectores
v y
w mas reflexion respecto a la diagonal;
hay un eje de una reflexion deslizada que no es eje de reflexion.

30

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

v

10 = p4:

traslaciones de vectores
v y
w mas giro de 90
(sin reflexiones ni reflexiones deslizadas).

32

traslaciones de vectores v y w mas giro de 90

un la lnea de puntos;
11 = p4m: mas reflexion seg

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

33

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 ning
un eje de reflexion.

34

w
v

13 = p3:

traslaciones de vectores
v y
w mas giro de 120
(sin reflexiones).

35

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).

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

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

no contenido en ning
un eje de reflexion).

36

w
v

16 = p6:

traslaciones de vectores
v y
w mas giro de 60
(sin reflexiones).

w
v


traslaciones de vectores
v y
w mas giro de 60
17 = p6m:
mas reflexion seg
un 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 n
umero 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 cristalizaciones 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).
A
nadiendo 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 n
umero de
grupos de Fedorov formados solamente de movimientos de primera especie es 65, y el n
umero
de grupos de Fedorov que contienen tambien movimientos de segunda especie es 165; en total
tenemos pues 230 grupos de Fedorov en el espacio, n
umero 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 n
umero 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

BIBLIOGRAF
IA.
[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, Mosc
u, 1949.
[GS] B. Gr
unbaum 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 dise
nos 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 dise
nar esquemas geometricos mas
tambien para cristalografos y qumicos.
complejos e interesantes. Util
Se consigue en ftp://ftp.uni-bielefeld.de/pub/math/tiling/reptiles
3. PLANETILING. Realizado por Xah Lee. Este paquete, escrito para el programa Mathematica, permite representar los 17 tipos de dise
nos 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