successione esatta
successione esatta in topologia, complesso di → catene i cui gruppi di → omologia sono tutti nulli. Un tale complesso si dice anche sequenza esatta o complesso aciclico. Una successione esatta in cui solo 3 gruppi di catene consecutivi non sono nulli si dice successione esatta corta (o sequenza esatta corta) e si visualizza nel seguente modo:
In tal caso ƒ è iniettiva, g è suriettiva e il nucleo di g coincide con l’immagine di ƒ.