Matemáticamente, podemos decir que la electrodinámica cuántica tiene la estructura de una teoría de gauge abeliana, siendo el grupo de gauge asociado en grupo unitario formula_3.