Lógica de selección de la etapa de profundización avanzada (Álgebra conmutativa → Álgebra homológica → Álgebras de Lie)