De hecho la electrodinámica cuántica era ya una teoría con invariancia de gauge local, donde el grupo de gauge era precisamente el grupo de Lie U(1).