Describir: Álgebras cocientes, extensiones de álgebras y conjetura finitista