¿Qué significa para un campo (digamos, ) tener una carga (digamos, ) bajo la acción de un grupo (digamos, )?
Esto significa que
el operador de carga es un generador de álgebra de Lie para algún grupo de Lie .
el campo toma valores/se transforma en una representación del grupo Mentira. (Tenga en cuenta que cualquier representación del grupo Lie es también la representación del álgebra de Lie del álgebra de Lie correspondiente.)
el operador de carga en la representación es proporcional a la identidad. El factor de proporcionalidad/valor propio es la carga real del campo.
Para ver un ejemplo de esto, diga el (fuerte) hipercarga , mira esta respuesta .