Stabilita' in omologia

IL teorema di stabilita' dell'omologia afferma che data una sequenza di gruppi G_n e inclusioni G_n-->G_{n+1}, per n suffcientemente grande rispetto a i, l'i-esimo gruppo di omologia H_i(G_n) e' indipendente da n. Daremo una dimostrazione geometrica di questo teorema per i gruppi Aut(F_n), dove F_n indica il gruppi libero su n generatori.