Para formular una teoría de campo gauge es necesario que la dinámica de los campos fermiónicos de la teoría venga descrita por un lagrangiano que tenga alguna simetría interna "local" dada por un grupo de Lie, llamado grupo de transformaciones de gauge.