En matemática, formula_1 es el nombre de un grupo de Lie (el más grande) "simple" y "excepcional" y del álgebra de Lie que le está asociada.