Académique Documents
Professionnel Documents
Culture Documents
77
Introducci
on
78
A. R. Moyano y R. M. Rubio.
B+C +D
= (L/2, 3L/6, 0)
3
sit
ua al baricentro de la base BCD, el cual se encuentraa una distancia 3L/3
de sus vertices. Entonces, la altura del tetraedro mide 6L/3, con lo que
A = (L/2,
3L/6, 6L/3).
A+B+C +D
= (L/2, 3L/6, 6L/12).
4
donde = 2, = 3, = L/12.
79
Ejes de simetra
1
(, 1, )
Las rectas < A, B > y < C, D >, dirigidas por los vectores
< A, B >: (6, 2, 4), < C, D >: (6, 6, 0)
son ambas perpendiculares a b, luego en la simetra axial de eje b se intercambian
A con D y B con C, lo que nos indican que b es un eje de simetra para el
tetraedro. Igual ocurre con la segunda pareja, que determinan una recta c con
vector director unitario
w2 =
1
(, 1, )
1
(0, 2, )
80
A. R. Moyano y R. M. Rubio.
Referencia can
onica para el tetraedro
0
1
1
1
1 1 2 , P 1 = P t =
1
P =
0
2
Usando la inversa, pasamos de las viejas coordenadas a las nuevas, resultando,
para los vertices, que
A = (1, 1, 1)
B = (1, 1, 1)
C = (1, 1, 1)
D = (1, 1, 1)
donde hemos escrito = 3 = 2L/4. Las de los puntos medios de las aristas
pasan a ser
(A + B)/2 = (1, 0, 0)
(C + D)/2 = (1, 0, 0)
(A + C)/2 = (0, 1, 0)
(B + D)/2 = (0, 1, 0)
(A + D)/2 = (0, 0, 1)
(B + C)/2 = (0, 0, 1)
1
1) I = (A, B, C, D) = 0
0
0
1
0
0
0
1
A continuaci
on, las 3 simetras axiales (rotaciones de radianes) que denotaremos con las mismas letras que sus ejes:
81
Eje b : y = z = 0
1
2) b = (B, A, D, C) = 0
0
0
1
0
0
0
1
Eje c : z = x = 0
0 0
1 0
0 1
0
1
0
1
3) c = (C, D, A, B) = 0
0
Eje d : x = y = 0
1
4) d = (D, C, B, A) = 0
0
0
0
1
Estas
son isometras de orden 2. Con eje la recta que une un vertice con el
baricentro de la cara opuesta, hay dos rotaciones con amplitudes de 2/3 y 4/3
radianes. As, se obtienen 8 isometras de orden 3 que indicamos a continuacion:
Eje: x = y = z, orientado desde el baricentro hacia el vertice A
0 0 1
5) gA = (A, C, D, B) = 1 0 0 = g
0 1 0
0 1 0
2
6) gA
= (A, D, B, C) = 0 0 1 = g 2
1 0 0
Eje: x = y = z, orientado desde el baricentro hacia el vertice B
0 0 1
7) gB = (D, B, A, C) = 1 0 0 = gd
0 1 0
0 1 0
2
8) gB
= (C, B, D, A) = 0
0 1 = g2 c
1 0 0
Eje: x = y = z, orientado desde el baricentro hacia el vertice C
0
0 1
9) gC = (B, D, C, A) = 1 0 0 = gb
0 1 0
82
A. R. Moyano y R. M. Rubio.
0
2
10) gC
= (D, A, C, B) = 0
1
1
0
0
0
1 = g 2 d
0
0 0 1
11) gD = (C, A, B, D) = 1 0
0 = gc
0 1 0
2
12) gD
0
= (B, C, A, D) = 0
1
1 0
0 1 = g 2 b
0 0
c = g 1 bg.
G K = {I},
83
3) Cuatro de orden 3:
{I, g, g 2 } ' {I, gd, g 2 c} ' {I, gb, g 2 d} ' {I, gc, g 2 b} ' C3
Son conjugados entre s porque,
b1 {I, g, g 2 }b = {I, gd, g 2 c},
c1 {I, g, g 2 }c = {I, gb, g 2 d},
d1 {I, g, g 2 }d = {I, gc, g 2 b}.
4) Uno de orden 4:
{I, b, c, d} ' K
Es caracterstico y normal.
5) Se comprueba que no hay subgrupos de orden 6. De haberlos, no puede
ser cclico pues el grupo carece de elementos de orden 6, luego sera isomorfo
a D3 . En tal caso, contendra un subgrupo normal de orden 3, por ejemplo el
{I, g, g 2 }, y alguno de los elementos b, c, d de orden 2. Esto es imposible porque
b1 gb = gd,
g 1 cg = gb,
son distintos de g 2 .
6) Uno de orden 12:
T +.
g 1 dg = gc,
84
A. R. Moyano y R. M. Rubio.
Las
orbitas de conjugaci
on en este grupo son las cuatro siguientes:
O(I) = {I}
O(b) = {b, c, d}
O(g) = {g, gd, gb, gc}
O(g 2 ) = {g 2 , g 2 c, g 2 d, g 2 b}
Para los grados de las representaciones irreducibles se cumplira que
n21 + n22 + n23 + n24 = 12 n1 = n2 = n3 = 1, n4 = 3
La primera ser
a la trivial 1 . Las dos siguientes, de grado 1, se definen por las
f
ormulas
2 (k) = 1, 2 (g) = ,
3 (k) = 1, 3 (g) = 2 ,
I
b
g
g2
1
3
4
4
1
1
1
1
1
1
2
1
1
1
3
1
1
1
2
4
3
3
1
0
0
Planos de simetra
0 1 0
13) Simetra de espejo x y = 0 s = (A, C, B, D) = 1 0 0
0 0 1
14) Simetra de espejo z x = 0
0
sg = (A, D, C, B) = 0
1
0
1
0
85
1
0
0
1
15) Simetra de espejo y z = 0 sg 2 = (A, B, D, C) = 0
0
0
0
1
0
16) Simetra de espejo x + y = 0 sd = (D, B, C, A) = 1
0
0
17) Simetra de espejo: z + x = 0 sgc = (C, B, A, D) = 0
1
1
18) Simetra de espejo: y + z = 0 sg 2 b = (B, A, C, D) = 0
0
10
0
1
0
1
0
0
0
0
1
0 1
1 0
0 0
0
0
1
0
1
0
Adem
as de las seis simetras especulares, que son isometras impares de orden
2, habr
a otras seis, con orden 4, las cuales seran simetras rotatorias. Las especulares se han obtenido componiendo s con las seis rotaciones I, g, g 2 , d, gc, g 2 b;
las rotatorias se obtendr
an componiendo s con las restantes rotaciones:
19) Simetra rotatoria
0
sb = (B, D, A, C) = 1
0
1 0
0 0
0 1
0 1 0
sc = (C, A, D, B) = 1 0
0
0 0 1
21) Simetra rotatoria dirigida por (0, 1, 0) y angulo de 3/2
0 0 1
sgd = (D, A, B, C) = 0 1 0
1 0
0
86
A. R. Moyano y R. M. Rubio.
0
0 1
sgb = (B, C, D, A) = 0 1 0
1 0 0
23) Simetra rotatoria
dirigida
1 0
sg 2 c = (C, D, B, A) = 0
0
0 1
por
(1, 0, 0) y angulo de 3/2
0
1
0
1 0 0
sg 2 d = (D, C, A, B) = 0 0 1
0 1 0
11
Las 24 isometras
1) I = (A, B, C, D)
2) b = (B, A, D, C), 3) c = (C, D, A, B), 4) d = (D, C, B, A)
5) g = (A, C, D, B), 6) g 2 = (A, D, B, C)
7) gd = (D, B, A, C), 8) g 2 c = (C, B, D, A)
9) gb = (B, D, C, A), 10) g 2 d = (D, A, C, B)
11) gc = (C, A, B, D), 12) g 2 b = (B, C, A, D)
13) s = (A, C, B, D), 14) sg = (A, D, C, B), 15) sg 2 = (A, B, D, C)
16) sd = (D, B, C, A), 17) sgc = (C, B, A, D), 18) sg 2 b = (B, A, C, D)
19) sb = (B, D, A, C), 20) sc = (C, A, D, B)
21) sgd = (D, A, B, C), 22) sgb = (B, C, D, A)
23) sg 2 c = (C, D, B, A), 24) sg 2 d = (D, C, A, B)
que hemos descrito constituyen el grupo del tetraedro, isomorfo al grupo
simetrico S4 y denotado como T . Lo generamos con el conjunto {g, b, c, d, s},
aunque bastara hacerlo con el {g, b, s}.
El grupo K = {I, b, c, d} sigue siendo normal: al aplicar cualquier automorfismo
interno a los elementos b, c y d, debe salir una transformacion de orden 2 y par,
87
12
88
A. R. Moyano y R. M. Rubio.
13
89
Las
orbitas de conjugaci
on en este grupo son las cuatro siguientes:
O(I) = {I}
O(b) = {b, c, d}
O(g) = {g, gd, gb, gc, g 2 , g 2 c, g 2 d, g 2 b}
O(s) = {s, sd, sg 2 , sg, sg 2 b,sgc}
O(sb) = {sb, sc, sg 2 c,sgd,sg 2 d, sgb}
Para los grados de las representaciones irreducibles se cumplira que
n21 + n22 + n23 + n24 + n25 = 24 n1 = n2 = 1, n3 = 2, n4 = n5 = 3
La primera representaci
on es la trivial
1 (sx g y k) = 1.
La segunda es la funci
on signo
2 (sx g y k) = 1 si x = 0, 2 (sx g y k) = 1 si x = 1.
La funci
on
3 (sx g y k) = sx g y
es un morfismo de T sobre D3 , con lo cual 3 se materializa como el grupo
del tri
angulo. Como 4 podemos tomar la identidad del propio grupo T . Finalmente, 5 se define como
5 (sx g y k) = sx g y k si x = 0, 5 (sx g y k) = sx g y k si x = 1,
trat
andose en realidad del grupo de las rotaciones del cubo. La tabla de caracteres resultante es la
I
b
g
s
sb
1
3
8
6
6
1
1
1
1
1
1
1
2
1
1
1
1
1
1
3
2
2
2
1
0
0
4
3
3
1
0
1
1
4
3
3
1
0
1
1
90
14
A. R. Moyano y R. M. Rubio.
Interpretaci
on geom
etrica de algunos subgrupos
Interpretaci
on geometrica del subgrupo {I, b, c, d} ' K:
Los cuatro puntos
(A + B)/2 = (1, 0, 0)
(B + D)/2 = (0, 1, 0)
(D + C)/2 = (1, 0, 0)
(C + A)/2 = (0, 1, 0)
situados en el plano z = 0, forman un cuadrilatero cuyos lados los marcan los
vectores
(B + D)/2 (A + B)/2 = 1, 1, 0
(D + C)/2 (B + D)/2 = (1, 1, 0)
(C + A)/2 (D + C)/2 = (1, 1, 0)
(A + B)/2 (C + A)/2 = (1, 1, 0)
todos de igual longitud, por lo que forman un rombo (de hecho es un cuadrado
porque cada lado es perpendicular a su contiguo). Restringiendonos al mismo b y
c son las simetras respecto a las diagonales, mientras que d es la simetra central.
El subgrupo {I, s, d, sd} act
ua sobre este cuadrado, considerado ahora como
rect
angulo, de manera que s y sd son las simetras respecto de las mediatrices
y d sigue siendo la simetra central.
(A + B)/2 = (1, 0, 0)
(B + C)/2 = (0, 0, 1)
(C + D)/2 = (1, 0, 0)
(D + A)/2 = (0, 0, 1)
Considerado como rombo, su grupo vuelve a ser el {I, b, c, d}, actuando ahora
como simetra central la transformacion c. Considerado como rectangulo su
grupo es el {I, sg, c,sgc}.
(A + C)/2 = (0, 1, 0)
(C + B)/2 = (0, 0, 1)
(B + D)/2 = (0, 1, 0)
(D + A)/2 = (0, 0, 1)
91
15
I
b
c
d
g
gb
gc
gd
g2
g2 b
g2 c
g2 d
I
I
b
c
d
g
gb
gc
gd
g2
g2 b
g2 c
g2 d
b
c
d
g
gb
gc gd g 2 g 2 b g 2 c g 2 d
b
c
d
g
gb
gc gd g 2 g 2 b g 2 c g 2 d
I
d
c
gc gd
g
gb g 2 d g 2 c g 2 b g 2
d
I
b
gd gc
gb
g
g2 b g2 g2 d g2 c
c
b
I
gb
g
gd gc g 2 c g 2 d g 2 g 2 b
2
2
gb
gc gd g
g b g2 c g2 d I
b
c
d
2
g
gd gc g c g 2 d g 2 g 2 b
d
c
b
I
gd
g
gb g 2 d g 2 c g 2 b g 2
b
I
d
c
gc
gb
g
g2 b g2 g2 d g2 c
c
d
I
b
g2 b g2 c g2 d I
b
c
d
g
gb
gc gd
g2 g2 d g2 c
c
d
I
b
gd gc
gb
g
g2 d g2 g2 b
d
c
b
I
gb
g
gd gc
g2 c g2 b g2
b
I
d
c
gc gd
g
gb
92
A. R. Moyano y R. M. Rubio.
T (Superior derecha)
I
b
c
d
g
gb
gc
gd
g2
g2 b
g2 c
g2 d
s
s
sc
sb
sd
sg 2
sg 2 c
sg 2 b
sg 2 d
sg
sgc
sgb
sgd
sb
sb
sd
s
sc
sg 2 b
sg 2 d
sg 2
sg 2 c
sgb
sgd
sg
sgc
sc
sc
s
sd
sb
sg 2 c
sg 2
sg 2 d
sg 2 b
sgc
sg
sgd
sgb
sd
sd
sb
sc
s
sg 2 d
sg 2 b
sg 2 c
sg 2
sgd
sgb
sgc
sg
sg
sg
sgd
sgc
sgb
s
sd
sc
sb
sg 2
sg 2 d
sg 2 c
sg 2 b
sgb
sgb
sgc
sgd
sg
sb
sc
sd
s
sg 2 b
sg 2 c
sg 2 d
sg 2
sgc
sgc
sgb
sg
sgd
sc
sb
s
sd
sg 2 c
sg 2 b
sg 2
sg 2 d
sgd
sgd
sg
sgb
sgc
sd
s
sb
sc
sg 2 d
sg 2
sg 2 b
sg 2 c
sg 2
sg 2
sg 2 b
sg 2 d
sg 2 c
sg
sgb
sgd
sgc
s
sb
sd
sc
sg 2 b
sg 2 b
sg 2
sg 2 c
sg 2 d
sgb
sg
sgc
sgd
sb
s
sc
sd
sg 2 c
sg 2 c
sg 2 d
sg 2 b
sg 2
sgc
sgd
sgb
sg
sc
sd
sb
s
sg 2 d
sg 2 d
sg 2 c
sg 2
sg 2 b
sgd
sgc
sg
sgb
sd
sc
s
sb
T (Inferior izquierda)
s
sb
sc
sd
sg
sgb
sgc
sgd
sg 2
sg 2 b
sg 2 c
sg 2 d
I
s
sb
sc
sd
sg
sgb
sgc
sgd
sg 2
sg 2 b
sg 2 c
sg 2 d
b
sb
s
sd
sc
sgb
sg
sgd
sgc
sg 2 b
sg 2
sg 2 d
sg 2 c
c
sc
sd
s
sb
sgc
sgd
sg
sgb
sg 2 c
sg 2 d
sg 2
sg 2 b
d
sd
sc
sb
s
sgd
sgc
sgb
sg
sg 2 d
sg 2 c
sg 2 b
sg 2
g
sg
sgc
sgd
sgb
sg 2
sg 2 c
sg 2 d
sg 2 b
s
sc
sd
sb
gb
sgb
sgd
sgc
sg
sg 2 b
sg 2 d
sg 2 c
sg 2
sb
sd
sc
s
gc
sgc
sg
sgb
sgd
sg 2 c
sg 2
sg 2 b
sg 2 d
sc
s
sb
sd
gd
sgd
sgb
sg
sgc
sg 2 d
sg 2 b
sg 2
sg 2 c
sd
sb
s
sc
g2
sg 2
sg 2 d
sg 2 b
sg 2 c
s
sd
sb
sc
sg
sgd
sgb
sgc
g2 b
sg 2 b
sg 2 c
sg 2
sg 2 d
sb
sc
s
sd
sgb
sgc
sg
sgd
g2 c
sg 2 c
sg 2 b
sg 2 d
sg 2
sc
sb
sd
s
sgc
sgb
sgd
sg
g2 d
sg 2 d
sg 2
sg 2 c
sg 2 b
sd
s
sc
sb
sgd
sg
sgc
sgb
93
T (Inferior derecha)
s
sb
sc
sd
sg
sgb
sgc
sgd
sg 2
sg 2 b
sg 2 c
sg 2 d
s
sb
sc
sd sg
sg sgc
I
b
c
d
g
gb
gc
c
d
I
b
gd gc
gb
b
I
d
c
gc gd
g
d
c
b
I
gb
g
gd
g2 g2 b g2 c g2 d I
b
c
g2 c g2 d g2 g2 b
d
c
b
g2 b g2 g2 d g2 c
c
d
I
g2 d g2 c g2 b g2
b
I
d
g
gb
gc gd g 2 g 2 b g 2 c
gc gd
g
gb g 2 d g 2 c g 2 b
gb
g
gd gc g 2 c g 2 d g 2
gd gc
gb
g
g2 b g2 g2 d
sgd sg 2 sg 2 b
gd g 2
g2 b
2
g
g b g2
gb g 2 d g 2 c
gc g 2 c g 2 d
d
g
gb
I
gb
g
b
gd
gc
c
gc
gd
g2 d I
b
g2
b
I
g2 b
d
c
g2 c
c
d
sg 2 c sg 2 d
g2 c g2 d
g2 d g2 c
g2 b
g2
2
g
g2 b
gc
gd
gd
gc
gb
g
g
gb
c
d
d
c
b
I
I
b
References
[1] M. A. Armstrong: Groups and Symmetry, Springer-Verlag, 1988
[2] Fraleigh, John B. Algebra abstracta. Adison- Wesley Iberoamericana 1987.
A. R. Moyano.
Departamento de Matem
aticas.
Universidad de C
ordoba
R. M. Rubio.
Departamento de Matem
aticas.
Universidad de C
ordoba.
e-mail: ma1rimoa@uco.es, ma1rurur@uco.es