Grafos de Cayley

Ejercicios sobre las definiciones básicas

Ejercicio 1 Para los siguientes grupos y subconjuntos dibuje Cay (G; Si ).

(a) G = Z2 , S1 = {1}.

(b) G = Z9 , S1 = {1, 2, 7, 8}, S2 = {3, 6}.

(c) G = Z3 × Z3 , S1 = {(1, 0), (2, 0)}.

(d) G = Z4 , S1 = {1, 3}.

(e) G = Z2 × Z2 , S1 = {(1, 0), (0, 1)}.

(f) G = Q4 , S1 = {xy, yx}, S2 = {xy, yx, x2 }.

(g) G = D5 = hr, s | r5 = s2 = e, srs = r−1 i (el grupo diédrico o diedral de 10 elemen-

tos), S1 = {s, rs}, S2 = {r2 s, r3 s}, S3 = {r, r4 , s}, S4 = {r, r4 }.

(a) (b) Cay (Z9 ; S1 )

1
 (c)

(f) Cay (Q4 ; S1 ) (f) Cay (Q4 ; S2 ) (g) Cay (D5 ; S1 )

Ejercicio 2 Sea G un grupo y S ⊂ G un subconjunto cerrado bajo inversa y libre de

identidad. Demuestre que las componentes conexas de G son los cosets a izquierda de hSi.
(Sugerencia: recuerde que x e y están en el mismo coset a izquierda de hSi si y sólo si
x hSi = y hSi. Suponga que x e y están en el mismo coset, y encuentre un camino que
los unen multiplicando por elementos de S. Para el recı́proco suponga que hay un camino
entre x e y, y demuestre que entonces x hSi = y hSi.)
Demostración. Supongamos que x e y están en el mismo coset a izquierda de hSi. En-
tonces, xhSi = yhSi. De la afirmación anterior y el hecho de que x ∈ xhSi tenemos que
existe s ∈ hSi tal que x = ys. Por consiguiente, x = ys1 s2 · · · sn con si ∈ S, para todo
i = 1, . . . , n. Consideremos v0 = y, v1 = v0 s1 , v2 = v1 s2 ... vn = vn−1 sn . Entonces,

{v0 , v1 }, {v1 , v2 }, . . . , {vn−1 , vn }

es un camino de longitud n que conecta los elementos x e y. Supongamos ahora que hay
un camino entre x e y, es decir, tenemos la siguiente sucesión de aristas:

2
 {x = v0 , v1 }, {v1 , v2 }, . . . , {vn−1 , vn = y}, vi 6= vj si i 6= j
Sea z ∈ xhSi. Entonces, existe s ∈ S tal que x = zs−1 . Como x está conectado con
v1 , entonces v1 = xs1 con s1 ∈ S. Por el mismo motivo, v2 = v1 s2 , ... , vn = vn−1 sn con
si ∈ S para todo 2 ≤ i ≤ n. De las afirmaciones anteriores resulta que x = ys1 s2 . . . , sn
y por lo tanto z = ys1 s2 . . . , sn s. En consecuencia, z ∈ yhSi. En forma similar se puede
probar que yhSi ⊆ xhSi.
−−→
Ejercicio 3 Para los siguientes grupos y subconjuntos dibuje Cay (G; Si ).

(a) G = Z9 , S1 = {1, 2}, S2 = {1, 3, 6}.

(b) G = Z3 × Z3 , S1 = {(1, 0), (0, 1)}.

(c) G = Z4 , S1 = {1}, S2 = {3}.

(d) G = Z2 × Z2 , S1 = {(1, 0), (0, 1)}.

(e) G = Q4 , S1 = {x}, S2 = {y}, S3 = {x, y}.

(f) G = D5 = hr, s | r5 = s2 = e, srs = r−1 i, S1 = {r}, S2 = {s}, S3 = {r, s}, S4 =

{rs, s}.

−−→ −−→
(a) Cay (Z9 ; S1 ) (a) Cay (Z9 ; S2 )

3
 −−→ −−→
(e) Cay (Q4 ; S1 ) (f) Cay (D5 ; S3 )