Daniel A.

Romano: Teorija skupova – Glava 7

Glava 7

NEKE GRUPE AUTOMORFIZAMA

Sadržaj:

7.1. Binarne strukture

7.2. Grupa automorfizama grafova

7.1. Binarne strukture

Binarna unilateralna struktura B je skup X sa jednom

binarnom relacijom R, i označavamo je sa (X,R). Izomorfizam
binarne unilateralne strukture (X,R) u neku drugu binarnu
unilateralnu strukturu (Y,S) je bijekcija f : X  Y takva da
vrijedi
(a,bX)((a,b)R  (f(a),f(b))S).
Dvije binarne unilateralne strukture izmedju kojih postoji
izomorfizam nazivamo izomorfnim. Isomorfizam unilateralne
strukture na samu sebe nazivamo automorfizam. Skup svih
automorfizama jedne binarne unilateralne strukture G
nazivamo grupa automorfizama strukture G i označavamo je
sa Aut(G). Dual binarne unilateralne strukture (X,R) je
binarna unilateralna struktura (X, XX \ R).

Vježbe 7.I:
(1) Pokazati da je skup Aut(G) svih automorfizama binarne
unilateralne strukture G zatvoren u odnosu na kompoziciju i
inverziju.
(2) Pokazati da su grupa automorfizama jedne binarne
unilateralne strukture i njenog duala jednake.
(3) Neka je (X,R) i (Y,S) dvije binarne unilateralne strukture.
Neka je  izomorfizam za (X,R) na (Y,S). Pokazati da je
Aut(Y,S) = Aut(X,R)-1 .

119
 Daniel A. Romano: Teorija skupova – Glava 7

7.2. Grupa automorfizama grafova

Graf G je skup X zajedno sa jednom simetričnom i

irefleksivnom (konzistentnom) binarnom relacijom R na X, i
označavamo ga sa (X,R). Za elemente a,b skupa X kažemo da
su u konekciji ako i samo ako je (a,b)R. Uobičajeno se piše a
– b umjesto (a,b)R. Za elemente a,b za koje je (a,b)T,
takodje, kažemo da su povezani. Za graf (X,R) kažemo da je
kompletan graf ako i samo ako su svaka dva razlicita elementa
povezana.

Vježba 7.II.

(1) Pokazati da je grupa automorfizama kompletnog grafa na

skupu X upravo Sym(X).

(2) Opišimo strukturu grafa na skupu X = {1,2,3}. Za svaka dva

različita elementa x i y znamo da ako je je x – y tada je i y –
x. Radi jednostavnosti pisanja pisaćemo samo jednu od ove
dvije veze.
G0 : nema relacije uopste.
G3 : 1 – 2 (i, naravno, 2 – 1)
G2 : 1 – 3
G1 : 2 – 3
G13 : 1 – 2, 2 – 3
G12 : 1 – 3, 2 – 3
G23 : 1 – 2, 2 – 3
G123 : 1 – 2, 2 – 3, 1 – 3 .

(3) Pokazati da su G1 , G2 , i G3 izomorfni. Pokazati da su G13 ,

G12 , i G23 izomorfni. Pokazati da su G0 i G123 , G1 i G23 duali jedan
drugom. (Napomena: Sljedeći grafovi su neizomorfni: G 0 , G1 , G23 i
G123 .)

(4) Neka je X skup i neka je G skup podskupova skupa X sa

dva elementa. Na G definišimo relaciju R na sljedeći način:
(,)R ako i samo ako je || = 1. Provjeriti da je G graf
sa ovom relacijom.
(a) Odrediti Aut(G) kada je |X| = 1.

120
 Daniel A. Romano: Teorija skupova – Glava 7

(b) Naci dual od G kada je |X| = 5

(c) Pokazati da za neke ,  G postoji neki
automorfizam Aut(G) takav da je () = .
(d) Odrediti Aut(G) ako je |X| = 5.

(5) Pokazati da je Aut(G0) = Aut(G123) = Sym(3) i Aut(G1) =

Aut(G23) = {1,(2,3)}.

(6) Pokazati da grupa automorfizama grafa G na X = {1,2,3,4}

je grupa automorfizama jednog od sljedećih grafova:
G0 : nema relacije uopšte;
G12 : samo 1-2 (i 2-1, naravno);
G123 : samo 1-2 i 2-3;
G12-34 : samo 1-2 i 3-4;
G1234 : samo 1-2, 2-3 i 3-4;
G* : samo 1-2, 1-3 i 1-4 .
Pokazati da je:
Aut(G0) = Sym(4);
Aut(G12) = Aut(G12-34) = {1, (1,2), (3,4), (1,2)(3,4)};
Aut(G123) = {1,(1,3)};
Aut(G12-34) = {1, (12), (34), (12)(34), (13)(24), (23)(14),
(1324), (1223)};
Aut(G1234) = {1, (14)(23)};
Aut(G*) = {1, (12), (13), (23), (123), (132)}.

Napraviti tablicu množenja za Aut(G12-34).

(7) Neka je G graf takav za za bilo koje , , , , ako je    i

  , tada postoji neko Aut(G) takav da je () =  i
() = . Šta se može kazati o grafu G?

(8) Naći graf G sa šest tačaka takav da je Aut(G) = {Id}.

(9) Naći konačan graf G takav da je |Aut(G)| = 3.

(10) Neka je n  3 i neka je G ciklični graf na skupu {1,2,…,n},

tj. jedine relacije su 1-2-3-…-(n-1)-n-1. Pokazati da je  =
(1,2,…,n)Aut(G). Pokazati da je  = (2,n)(3,n-1)…
Aut(G). Na primjer, za n = 6 je  = (2,6)(3,5). Ako je n =
7, tada je  = (2,7)(3,6)(4,5). Pokazati da je
121
 Daniel A. Romano: Teorija skupova – Glava 7

Aut(G) = {ij : I = 0,1,…,m-1 i j = 0,1}

i da je |Aut(G)| = 2n.

122