Anda di halaman 1dari 3

Automorfismi di An

Davide Lofano
12 novembre 2014

Lemma 1. n 5 H < An di indice n, allora H `e isomorfo allo stabilizzatore


di un punto (cio`e ad An1 ).

Dimostrazione. Faccio agire An sulle classi laterali di H con lazione di molti-


plicazione a sinistra, quindi ho una mappa da An in Sn la cui immagine `e in
An perch`e `e un sottogruppo di Sn di indice 2. Stab(H) = H perch`e se molti-
plico H per un elemento che non appartiene ad H ottengo una classe laterale
diversa, ma al tempo stesso Stab(H) w An1 perch`e nellimmagine della mappa
costruita H `e assimilabile ad un punto e da qui ottengo la tesi.

Lemma 2. Se n = 5 o n 7 ed H `e un sottogruppo di An di indice n, allora


H `e lo stabilizzatore di un punto.
Dimostrazione. Sia lisomorfismo trovato nel lemma 1 che mi manda An1 in
H. Considero due casi:
n = 7 Considero lazione di H su n elementi che associa ad ogni elemento di H
esso stesso visto come elemento di Sn . Tutte le orbite non banali devono
avere cardinalit`a n 1 infatti se avessi unorbita di cardinalit`a m con
m < n 1 avrei un ovvio isomorfismo tra H ed Sm (faccio agire H solo
sugli elementi dellorbita e vedo dove vanno) quindi tra An1 ed Sm il cui
Ker per questioni di cardinalit`a non pu`o essere banale e se lorbita `e non
banale non pu` o neanche essere tutto, ma A6 `e semplice e ci`o genera un
assurdo. Allo stesso tempo non posso neanche avere una solo orbita di
a 7 perch`e altrimenti avrei che 7 | kHk ma 7 - 6!/2. Quindi ho
cardinalit`
due orbite, una di cardinalit`a n-1 e laltra 1 quindi H stabilizza un punto.

n 6= 7 Sia c un 3-ciclo di An1 voglio dire che (c) `e un 3-ciclo di H.

n = 5 Gli elementi di ordine 3 sono solo i tre cicli quindi `e vero.


n = 8 (c) pu`o essere un 3-ciclo o un 3+3-ciclo, ma gli elementi che com-
mutano con c in A7 sono 36. Ma in A8 gli elementi che commuta-
no con un 3+3-ciclo sono solo 18 quindi necessariamente (c) `e un
3-ciclo.
n 9 Poich`e c fissa n4 punti in An1 ho che Z(c) =< c > K con K w
An4 . Sia T = (K), essendo T isomorfo a An4 quindi semplice
poich`e n 4 5 avr`o analogamente al caso n=7 che ci sar`a una sola
orbita non banale di cardinalit`a n t n 4 (non posso averne pi`u
di una per questioni di cardinalit`a e non posso averne di pi`
u piccole

1
altrimenti avrei un omomorfismo con Sm con Ker non banale). Sia
ora O lunica orbita non banale di T , guardo come si comporta (c)
sugli elementi di O. Per prima cosa noto che se x appartiene allo
stabilizzatore di T allora viene mandato da (c) in un altro elemento
dello stabilizzatore, infatti in caso contrario avrei che esiste t T
tale che t (c)(x) 6= x mentre (c) t(x) = x, assurdo perch`e (c)
commuta con tutti gli elementi di T . Quindi (c) manda elementi di
O in O. Voglio ora dire che se muove alcuni elementi di O li muove
tutti, infatti in caso contrario posso procedere come prima prendendo
t T che mandi x in y con (c)(x) = x e (c)(y) 6= y e avrei che
(c) e t non commutano. Allora se (c) muovesse un elemento di O
dovrebbe essere composto da nt 3 3-cicli (perch`e ha ordine 3). Ma
adesso guardo lazione di T sui 3-cicli di Sn definita dal coniugio.
Poich`e (c) commuta con ogni elemento di T ho che i 3-cicli di (c)
vanno in 3-cicli di (c) inoltre non vengono tutti stabilizzati da T per
come ho costruito (c), quindi per la questione delle orbite di An4
nt
3 n 4 (nel caso in cui ci sia pi` u di unorbita la disuguaglianza
sarebbe ancora pi` u stretta e quindi varrebbe comunque) da cui n 6.
Ne deduco che (c) fissa puntualmente O quindi muove al pi` u 4
elementi ed ha ordine 3, quindi `e un 3-ciclo.

Noto adesso che i 3-cicli del tipo (1 2 x) generano tutto An ma presi


due qualunque, essi generano un sottogruppo isomorfo ad A4 , se essi sono
x = (1 2 c) e y = (1 2 d) e (x) = (a b g) noto che (basta una semplice
verifica) necessariamente devo avere (y) = (a b h), quindi le immagini di
(1 2 x) con x che va da 3 a n 1 muovono solo n 1 elementi quindi H
stabilizza un punto.

Teorema. Aut(An ) w Sn per n = 5 o n 7


Dimostrazione. Sia lomomorfismo che va da Sn in Aut(An ) agendo tramite
coniugio. Si verifica facilmente che tale omomorfismo `e iniettivo, voglio ora
dimostrare che `e anche suriettivo. Preso Aut(An ) cerco allora Sn tale
che g An ho che g 1 = (g). Per il lemma 2 ho che i = 1...n (Stab(i)) =
Stab(ki ) inoltre la mappa che manda i in ki `e chiaramente bigettiva altrimenti
non sarebbe un automorfismo, cio`e `e un elemento di Sn , lo chiamo e far`o
vedere che `e tale che g An g = 1 (g) cio`e che la mappa : An An
tale che (g) = 1 (g) `e lidentit`a su An e ci`o `e chiaramente equivalente alla
tesi.
Per costruzione fissa gli stabilizzatori cio`e se i Stab(g) allora i
Stab( (g)) quindi preso un 3-ciclo qualsiasi esso deve andare in s`e stesso o nel
suo quadrato in quanto deve anche rispettare lordine. Dimostro ora che nessun
elemento va nel suo quadrato, per assurdo esiste un elemento x = (a b c) tale che
(x) = (a c b). Poich`e ho almeno 4 elementi posso scrivere (b c d) = (a d b)(a b c).
Ho quindi due casi a seconda di come si comporta su (a d b).

(a d b) = (a d b): (b c d) = (a d b) (a c b) = ((a d b)(a c b)) = ((a c)(b d))


impossibile perch`e `e un omomorfismo quindi preserva lordine degli
elementi.

2
(a d b) = (a b d): (b c d) = (a b d) (a c b) = ((a b d)(a c b)) = (a c d)
impossibile perch`e non sono uno il quadrato dellaltro.

Ma allora fissa tutti i 3-cicli quindi fissa tutto An ed `e quindi lidentit`a.

Anda mungkin juga menyukai