量formula_59是formula_111，那么，formula_105表示为这方程式右手边前面两个项目是描述电子或正子的狄拉克场的拉格朗日密度，后面两个项目则是以光子为媒介的电磁场的拉格朗日密度。对于formula_95的拉格朗日方程式为马克士威方程组：规范不变性有很多可被检验的后果。例如，局域规范不变性要求光子不具有质量。因此，假若做实验能够精确地证实光子不具有质量，这也会成为电荷守恆的强证据。可是，甚至当物理系统具有完全的规范不变性时，假若电荷从正常的三维空间漏入隐藏的额外维度，则仍旧