El conjunto de todas las transformaciones de gauge infinitesimales forman un álgebra de Lie, que se caracterizada por un escalar diferenciable a valores en un álgebra de Lie, ε.