Resumo
O trabalho de mestrado consistirá na apresentação da prova da Conjectura de Mordell-Lang, tanto em característica 0, quanto em característica positiva, juntamente com a exposição dos fundamentos algébricos e de Teoria dos Modelos necessários para a demonstração desse importante resultado de Ehud Hrushovski. (AU)