ula_113的向量函数，formula_114是三个包立矩阵formula_115、formula_116、formula_117共同组成的矩阵向量。 由于三个包立矩阵彼此之间不能对易，SU(2)是非阿贝尔群，这机制是「非阿贝尔希格斯机制」。指数函数formula_118的参数是一个矩阵：这指数函数等于其中，formula_121是单位矩阵，formula_122是formula_123的数值大小，formula_124是单位向量。为了要满足局域规范不变性，必须将formula_12的