text:
# BRST Invariance and Renormalisability of the SU(2)×U(1) Electroweak Theory with Massive W Z Bosons

## Abstract

Since the SU(n) gauge theory with massive gauge bosons has been proven to be renormalisable we reinvestigate the renormalisability of the SUL(2) $`\times `$ UY(1) electroweak theory with massive W Z bosons. We expound that with the constraint conditions caused by the W Z mass term and the additional condition chosen by us we can performed the quantization and construct the ghost action in a way similar to that used for the massive SU(n) theory. We also show that when the $`\delta `$ functions appearing in the path integral of the Green functions and representing the constraint conditions are rewritten as Fourier integrals with Lagrange multipliers $`\lambda _a`$ and $`\lambda _y`$, the BRST invariance is kept in the total effective action consisting of the Lagrange multipliers, ghost fields and the original fields. Furthermore, by comparing with the massless theory and with the massive SU(n) theory we find the general form of the divergent part of the generating functional for the regular vertex functions and prove the renormalisability of the theory. It is also clarified that the renormalisability of the theory with the W Z mass term is ensured by that of the massless theory and the massive SU(n) theory.

PACS numbers: 03.65.Db, 03.80.+r, 11.20.Dj

I. Introduction

Although the negative answer to the problem of renormalisability of a SU(n) theory with massive gauge bosons is widely known, such theories continue to be studied (see for example Refs. \[1-8\]). However, since the negative answer had not been voted down, it was naturally difficult to investigate the possibility of directly adding a mass term to the SUL(2) $`\times `$ UY(1) theory. Recently, the renormalisability of the massive SU(n) gauge theory has been proven . Therefore we will reinvestigate the SUL(2) $`\times `$ UY(1) theory of S.L.Glashow  with the mass term of the W Z fields. The study of the theory including the mass term of the matter fields as well w1ll be reported in Ref. .

In order to make appropriate the mass ratio, the W Z mass term must contain a product of the SUL(2) and UY(1) fields and thus cause constraint conditions containing products of such fields. Next, such a mass term is invariant under an infinitesimal gauge transformation with $`\delta \theta _1`$ and $`\delta \theta _2`$ equal to zero and $`\delta \theta _3`$ equal to $`\delta \theta _y`$, where $`\theta _a`$ and $`\theta _1`$ are the parameters of the gauge group. Therefore an additional constraint condition should be properly chosen. We will expound that with the constraint conditions caused by the W Z mass term and the additional condition chosen by us we can performed the quantization and construct the ghost action in a way similar to that used for the massive SU(n) theory . We will also show that when the $`\delta `$ functions appearing in the path integral of the Green functions and representing the constraint conditions are rewritten as Fourier integrals with Lagrange multipliers $`\lambda _a`$ and $`\lambda _y`$, the BRST invariance is kept in the total effective action consisting of the Lagrange multipliers, ghost fields and the original fields.

As the constraint conditions contain the products of the SUL(2) and UY(1) fields, the divergent part of the generating functional $`\mathrm{\Gamma }`$ for the regular vertex functions is dependent on the classical fields of the Lagrange multipliers $`\lambda _a`$ and $`\lambda _y`$ when the generating functional for the Green functions contains the sources of these Lagrange multipliers. The problem of whether such a generalized form of the theory is renormalisable becomes complicated. However, we are not interested in using the Green functions involving $`\lambda _a`$ or $`\lambda _y`$. Thus we can avoid introducing the sources of these Lagrange multipliers to the generating functional for the Green functions. An equivalent and convenient procedure is to derive the Slavnov–Taylor identities and the additional identities for $`\mathrm{\Gamma }`$ with the help of the generalized form of the theory and then let vanish the functional derivatives of $`\mathrm{\Gamma }`$ with respect to the classical fields of these Lagrange multipliers. In this way the divergent part of $`\mathrm{\Gamma }`$ will be shown to satisfy the same equations appearing in the massless theory. Furthermore, by comparing with the massless theory and with the massive SU(n) theory we will be able to find the general form of the divergent part of $`\mathrm{\Gamma }`$ and prove the renormalisability of the theory. Meanwhile it will be clarified that the renormalisability of the theory with the W Z mass term is ensured by that of the massless theory and the massive SU(n) theory.

In section $`2`$ we will find the constraint conditions caused by the W Z mass term. The additional constraint condition will also be chosen. The method of quantization will be explained in section $`3`$. Setion $`4`$ is devoted to prove the renormalisability of the theory. Concluding remarks will be given in the final section.

II. Original and Additional Constraint Conditions

For the sake of comvenience we assume in the present work that the matter fields consist only of the electron and electron-neutrino fields and are often denoted by $`\psi (x)`$ and $`\overline{\psi }(x)`$. The former stands for the purely left-handed neutrino field $`\nu _L`$, the left- and right-handed parts of the electron field namely $`e_L`$, $`e_R`$, and the latter stands for $`\overline{\nu }_L`$, $`\overline{e}_L`$ and $`\overline{e}_R`$. Next let $`W_{a\mu }(x)`$, $`W_{y\mu }(x)`$ be the SUL(2) and UY(1) gauge fields and $`g`$, $`g_1`$ be the coupling constants. Thus the W Z mass term in the Lagrangian is

$`_{WM}={\displaystyle \frac{1}{2}}M^2W_{a\mu }W_a^\mu +{\displaystyle \frac{1}{2}}M^2\left({\displaystyle \frac{g_1}{g}}\right)^2W_{y\mu }W_y^\mu M^2\left({\displaystyle \frac{g_1}{g}}\right)W_{3\mu }W_y^\mu ,`$ (2.1)
or

$$_{WM}=\frac{1}{2}M^2W_{1\mu }(x)W_1^\mu (x)+\frac{1}{2}M^2W_{2\mu }(x)W_2^\mu (x)+\frac{1}{2}M_z^2Z_\mu (x)Z^\mu (x),$$

where $`M_z^2`$ stands for $`g^2(g^2+g_1^2)M^2`$, and $`Z_\mu (x)`$, $`A_\mu (x)`$ are the field functions of Z boson and photon, namely

$`Z_\mu ={\displaystyle \frac{1}{\sqrt{(g^2+g_1^2)}}}(gW_{3\mu }g_1W_{y\mu }),`$ (2.2)
$`A_\mu ={\displaystyle \frac{1}{\sqrt{(g^2+g_1^2)}}}\epsilon (g_1W_{3\mu }+gW_{y\mu }),`$ (2.3)
where $`\epsilon `$ is $`1`$ or $`1`$.

The original Lagrangian of the SUL(2) $`\times `$ UY(1) electroweak theory with the mass term $`_{WM}`$ is

$`=_\psi +_{\psi W}+_{WM}+_{WL}+_{WY},`$ (2.4)
where $`_\psi `$ describe the pure matter fields, $`_{\psi W}`$ is the coupling term between the matter and gauge fields and

$`_{WL}={\displaystyle \frac{1}{4}}F_{a\mu \nu }F_a^{\mu \nu },`$ (2.5)
$`_{WY}={\displaystyle \frac{1}{4}}B_{\mu \nu }B^{\mu \nu },`$ (2.6)
with

$`F_{a\mu \nu }=_\mu W_{a\nu }_\nu W_{a\mu }gC_{abc}W_{b\mu }W_{c\nu },`$ (2.7)
$`B_{\mu \nu }=_\mu W_{y\nu }_\nu W_{y\mu }.`$ (2.8)
$`C_{abc}`$ stands for the structure constants of SUL(2) with $`C_{123}`$ equal to $`1`$.

Denote by $`\theta _a(x),\theta _y(x)`$ the parameters of the gauge group. Thus, under an infinitesimal gauge transformation, the fields $`W_a^\mu `$, $`W_y^\mu `$, $`\psi `$ and $`\overline{\psi }`$ transform as

$`\delta W_a^\mu (x)={\displaystyle \frac{1}{g}}^\mu \delta \theta _a(x)C_{abc}W_c^\mu (x)\delta \theta _b(x),`$
$`\delta W_y^\mu (x)={\displaystyle \frac{1}{g_1}}^\mu \delta \theta _y(x),`$
$`\delta \nu _L(x)={\displaystyle \frac{i}{2}}\delta \theta _1(x)e_L(x)+{\displaystyle \frac{1}{2}}\delta \theta _2(x)e_L(x)+{\displaystyle \frac{i}{2}}\delta \theta _3(x)\nu _L(x){\displaystyle \frac{i}{2}}\delta \theta _y(x)\nu _L(x),`$
$`\delta e_L(x)={\displaystyle \frac{i}{2}}\delta \theta _1(x)\nu _L(x){\displaystyle \frac{1}{2}}\delta \theta _2(x)\nu _L(x){\displaystyle \frac{i}{2}}\delta \theta _3(x)e_L(x){\displaystyle \frac{i}{2}}\delta \theta _y(x)e_L(x),`$
$`\delta e_R(x)=i\delta \theta _y(x)e_R(x),`$
$`\delta \overline{\nu }_L(x)={\displaystyle \frac{i}{2}}\delta \theta _1(x)\overline{e}_L(x)+{\displaystyle \frac{1}{2}}\delta \theta _2(x)\overline{e}_L(x){\displaystyle \frac{i}{2}}\delta \theta _3(x)\overline{\nu }_L(x)+{\displaystyle \frac{i}{2}}\delta \theta _y(x)\overline{\nu }_L(x),`$
$`\delta \overline{e}_L(x)={\displaystyle \frac{i}{2}}\delta \theta _1(x)\overline{\nu }_L(x){\displaystyle \frac{1}{2}}\delta \theta _2(x)\overline{\nu }_L(x)+{\displaystyle \frac{i}{2}}\delta \theta _3(x)\overline{e}_L(x)+{\displaystyle \frac{i}{2}}\delta \theta _y(x)\overline{e}_L(x),`$
$`\delta \overline{e}_R(x)=i\delta \theta _y(x)\overline{e}_R(x).`$
Therefore the action transforms as

$`\delta {\displaystyle d^4x(x)}=\delta {\displaystyle d^4x_{WM}(x)}`$
$`={\displaystyle }d^4x\{({\displaystyle \frac{M^2}{g}}_\mu W_1^\mu (x)+{\displaystyle \frac{M^2}{g}}g_1W_{2\mu }(x)W_y^\mu (x))\delta \theta _1`$
$`+\left({\displaystyle \frac{M^2}{g}}_\mu W_2^\mu (x){\displaystyle \frac{M^2}{g}}g_1W_{1\mu }(x)W_y^\mu (x)\right)\delta \theta _2`$
$`+({\displaystyle \frac{M^2}{g}}_\mu W_3^\mu (x){\displaystyle \frac{M^2}{g^2}}g_1_\mu W_y^\mu (x))(\delta \theta _3\delta \theta _y)\}.`$ (2.9)
Since the classical equations of motion make the action invariant under an arbitrary infinitesimal transformation of the field functions, they certainly make the W Z mass term invariant under an arbitrary infinitesimal gauge transformation. This means that when $`M`$ is not equal to zero, the classical equations of motion leads to the following constraint conditions

$`{\displaystyle \frac{M^2}{g}}_\mu W_1^\mu (x)+{\displaystyle \frac{M^2}{g}}g_1W_{2\mu }(x)W_y^\mu (x)=0,`$ (2.10)
$`{\displaystyle \frac{M^2}{g}}_\mu W_2^\mu (x){\displaystyle \frac{M^2}{g}}g_1W_{1\mu }(x)W_y^\mu (x)=0,`$ (2.11)
$`{\displaystyle \frac{M^2}{g}}_\mu W_3^\mu (x){\displaystyle \frac{M^2}{g^2}}g_1_\mu W_y^\mu (x)=0.`$ (2.12)
These are the original constraint conditions. As it can be seen from (2.9) that the W Z mass term is invariant under an infinitesimal gauge transformation with $`\delta \theta _1`$ and $`\delta \theta _2`$ equal to zero and $`\delta \theta _3`$ equal to $`\delta \theta _y`$. For this reason, $`_\mu W_3^\mu `$ and $`_\mu W_y^\mu `$ appear in one constraint. We now choose an additional condition and replace (2.12) with

$`{\displaystyle \frac{M^2}{g}}_\mu W_3^\mu (x)+{\displaystyle \frac{M^2}{g}}g_1W_{3\mu }(x)W_y^\mu (x)=0,`$ (2.13)
$`_\mu W_y^\mu (x)+gW_{3\mu }(x)W_y^\mu (x)=0.`$ (2.14)
III. Quantization and BRST Invariance

Write (2.10), (2.11) and (2.13),(2.14) as

$`\mathrm{\Phi }_a(x)=0,\mathrm{\Phi }_y(x)=0,`$ (3.1)
with

$`\mathrm{\Phi }_1(x)=_\mu W_1^\mu (x)+g_1W_{2\mu }(x)W_y^\mu (x),`$ (3.2)
$`\mathrm{\Phi }_2(x)=_\mu W_2^\mu (x)g_1W_{1\mu }(x)W_y^\mu (x),`$ (3.3)
$`\mathrm{\Phi }_3(x)=_\mu W_3^\mu (x)+g_1W_{3\mu }(x)W_y^\mu (x),`$ (3.4)
$`\mathrm{\Phi }_y(x)=_\mu W_y^\mu (x)+gW_{3\mu }(x)W_y^\mu (x).`$ (3.5)
Taking the constraint conditions (3.1) into account one should write the path integral of the Green functions inolving only the original fields as

$`{\displaystyle \frac{1}{N_0}}{\displaystyle 𝒟[𝒲,\overline{\psi },\psi ]\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]\underset{a^{},x^{}}{}\delta \left(\mathrm{\Phi }_a^{}(x^{})\right)\delta \left(\mathrm{\Phi }_y(x^{})\right)W_{a\mu }(x)W_{b\nu }(y)\mathrm{}\mathrm{exp}\{\mathrm{i}I\}},`$ (3.6)
where

$`I={\displaystyle d^4x(x)},`$
$`N_0={\displaystyle 𝒟[𝒲,\overline{\psi },\psi ]\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]\underset{a^{},x^{}}{}\delta \left(\mathrm{\Phi }_a^{}(x^{})\right)\delta \left(\mathrm{\Phi }_y(x^{})\right)\mathrm{exp}\{\mathrm{i}I\}}.`$
The weight factor $`\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]`$ is to be determined. Since only the field functions which satisfy the constraint conditions can play roles in the integral (3.6), the value of the Lagrangian can be changed for the field functions which do not satisfy these conditions. In view of the fact that the conditions (3.1) make the action invariant with respect to the infinitesimal gauge trasformation, we now imagine to replace the mass term $`_{WM}`$ in (3.6) with a gauge invariant mass term which is equal to $`_{WM}`$ when the conditions (3.1) are satisfied. Thus, analogous to the case in the Fadeev–Popov method \[1,11-16\], $`\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]`$ should be gauge invariant and make the following equation valid for an arbitrary gauge invariant quantity $`𝒪(𝒲,\overline{\psi },\psi )`$

$`{\displaystyle 𝒟[𝒲,\overline{\psi },\psi ]\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]\underset{a^{},x^{}}{}\delta \left(\mathrm{\Phi }_a^{}(x^{})\right)\delta \left(\mathrm{\Phi }_y(x^{})\right)𝒪(𝒲,\overline{\psi },\psi )\mathrm{exp}\{\mathrm{i}\stackrel{~}{I}\}}`$
$`{\displaystyle 𝒟[𝒲,\overline{\psi },\psi ]𝒪(𝒲,\overline{\psi },\psi )\mathrm{exp}\{\mathrm{i}\stackrel{~}{I}\}}.`$
where $`\stackrel{~}{I}`$ is a gauge invariant action constructed by replacing $`_{WM}`$ with the imagined mass term. This means that the weight factor $`\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]`$ can be determined according to the Fadeev–Popov equation of the following form

$`\mathrm{\Delta }[𝒲,\overline{\psi },\psi ]{\displaystyle \underset{z}{}d\mathrm{\Omega }(z)\underset{\sigma ,x}{}\delta \left(\mathrm{\Phi }_\sigma ^\mathrm{\Omega }(x)\right)}=1.`$ (3.7)
where $`\sigma `$ stands for $`1,2,3,y`$, $`\mathrm{\Phi }_\sigma ^\mathrm{\Omega }(x)`$ is the result of acting on $`\mathrm{\Phi }_\sigma (x)`$ with a gauge transformation having the parameters of the element $`\mathrm{\Omega }(x)`$ of the gauge group, $`d\mathrm{\Omega }(z)`$ is the volume element of the group integral. It follows that with the F–P ghost fields $`C_a(x)`$, $`C_y(x)`$, $`\overline{C}_a(x)`$, $`\overline{C}_y(x)`$ as new variables, one can express the ghost Lagrangian as

$`^{(C)}(x)=\overline{C}_a(x)\mathrm{\Delta }\mathrm{\Phi }_a(x)+\overline{C}_y(x)\mathrm{\Delta }\mathrm{\Phi }_y(x),`$ (3.8)
where $`\mathrm{\Delta }\mathrm{\Phi }_a(x)`$, $`\mathrm{\Delta }\mathrm{\Phi }_y(x)`$ are defined by the BRST transformtion of $`\mathrm{\Phi }_a(x)`$ and $`\mathrm{\Phi }_y(x)`$ so that

$`\delta _B\mathrm{\Phi }_a(x)=\delta \zeta \mathrm{\Delta }\mathrm{\Phi }_a(x),\delta _B\mathrm{\Phi }_y(x)=\delta \zeta \mathrm{\Delta }\mathrm{\Phi }_y(x),`$ (3.9)
where $`\delta \zeta `$ is an infinitesimal fermionic parameter independent of $`x`$. The BRST transformation of the gauge fields or matter fields is nothing but the infinitesimal gauge transformation with $`\delta \theta _a`$ and $`\delta \theta _y`$ equal to $`g\delta \zeta C_a`$ and $`g_1\delta \zeta C_y`$ respectively. Namely

$`\delta _BW_a^\mu (x)=\delta \zeta \mathrm{\Delta }W_a^\mu (x)=\delta \zeta D_{ab}^\mu C_b(x),`$ (3.10)
$`\delta _BW_y^\mu (x)=\delta \zeta \mathrm{\Delta }W_y^\mu (x)=\delta \zeta ^\mu C_y(x),`$ (3.11)
$`\delta _B\psi (x)=\delta \zeta \mathrm{\Delta }\psi (x),\delta _B\overline{\psi }(x)=\delta \zeta \mathrm{\Delta }\overline{\psi }(x),`$ (3.12)
where

$`D_{ab}^\mu (x)=\delta _{ab}^\mu +gf_{abc}A_c^\mu (x),`$
$`\mathrm{\Delta }\nu _L(x)={\displaystyle \frac{i}{2}}gC_1(x)e_L(x){\displaystyle \frac{1}{2}}gC_2(x)e_L(x){\displaystyle \frac{i}{2}}gC_3(x)\nu _L(x)+{\displaystyle \frac{i}{2}}g_1C_y(x)\nu _L(x),`$
$`\mathrm{\Delta }e_L(x)={\displaystyle \frac{i}{2}}gC_1(x)\nu _L(x)+{\displaystyle \frac{1}{2}}gC_2(x)\nu _L(x)+{\displaystyle \frac{i}{2}}gC_3(x)e_L(x)+{\displaystyle \frac{i}{2}}g_1C_y(x)e_L(x),`$
$`\mathrm{\Delta }e_R(x)=ig_1C_y(x)e_R(x),`$
$`\mathrm{\Delta }\overline{\nu }_L(x)={\displaystyle \frac{i}{2}}gC_1(x)\overline{e}_L(x){\displaystyle \frac{1}{2}}gC_2(x)\overline{e}_L(x)+{\displaystyle \frac{i}{2}}gC_3(x)\overline{\nu }_L(x){\displaystyle \frac{i}{2}}g_1C_y(x)\overline{\nu }_L(x),`$
$`\mathrm{\Delta }\overline{e}_L(x)={\displaystyle \frac{i}{2}}gC_1(x)\overline{\nu }_L(x)+{\displaystyle \frac{1}{2}}gC_2(x)\overline{\nu }_L(x){\displaystyle \frac{i}{2}}gC_3(x)\overline{e}_L(x){\displaystyle \frac{i}{2}}g_1C_y(x)\overline{e}_L(x),`$
$`\mathrm{\Delta }\overline{e}_R(x)=ig_1C_y(x)\overline{e}_R(x).`$
$`C_a(x)`$ and $`C_y(x)`$ are also transformed as usual

$`\delta _BC_a(x)=\delta \zeta \mathrm{\Delta }C_a(x)=\delta \zeta {\displaystyle \frac{g}{2}}C_{abc}C_b(x)C_c(x),`$
$`\delta _BC_y(x)=0.`$
Now we can write $`\mathrm{\Delta }\mathrm{\Phi }_a(x)`$, $`\mathrm{\Delta }\mathrm{\Phi }_y(x)`$ as

$`\mathrm{\Delta }\mathrm{\Phi }_1=_\mu \mathrm{\Delta }W_1^\mu (x)+g_1\mathrm{\Delta }W_2^\mu (x)W_{y\mu }(x)+g_1W_{2\mu }(x)\mathrm{\Delta }W_y^\mu (x),`$ (3.13)
$`\mathrm{\Delta }\mathrm{\Phi }_2=_\mu \mathrm{\Delta }W_2^\mu (x)g_1\mathrm{\Delta }W_1^\mu (x)W_{y\mu }(x)g_1W_{1\mu }(x)\mathrm{\Delta }W_y^\mu (x),`$ (3.14)
$`\mathrm{\Delta }\mathrm{\Phi }_3=_\mu \mathrm{\Delta }W_3^\mu (x)+g_1\mathrm{\Delta }W_3^\mu (x)W_{y\mu }(x)+g_1W_{3\mu }(x)\mathrm{\Delta }W_y^\mu (x),`$ (3.15)
$`\mathrm{\Delta }\mathrm{\Phi }_y=_\mu \mathrm{\Delta }W_y^\mu (x)+g\mathrm{\Delta }W_3^\mu (x)W_{y\mu }(x)+gW_{3\mu }(x)\mathrm{\Delta }W_y^\mu (x),`$ (3.16)
Since $`\mathrm{\Delta }W_a^\mu `$, $`\mathrm{\Delta }W_y^\mu `$, $`\mathrm{\Delta }\psi (x)`$, $`\mathrm{\Delta }\overline{\psi }(x)`$ and $`\mathrm{\Delta }C_a(x)`$ are BRST invariant, it is easy to see that $`\mathrm{\Delta }\mathrm{\Phi }_a(x)`$ and $`\mathrm{\Delta }\mathrm{\Phi }_y(x)`$ are also BRST invariant.

One can further generalized the theory by regarding as new variables the Lagrange multipliers $`\lambda _a(x)`$ and $`\lambda _y(x)`$ associated with the constraint conditions. Thus the total effective Lagrangian and action consist of these Lagrange multipliers, ghosts and the original variables, namely

$`_{\mathrm{eff}}(x)=(x)+^{(C)}(x)+\lambda _a(x)\mathrm{\Phi }_a(x)+\lambda _y(x)\mathrm{\Phi }_y(x),`$ (3.17)
$`I_{\mathrm{eff}}={\displaystyle d^4x_{\mathrm{eff}}(x)}.`$ (3.18)
Correspondingly, the path integral of the generating functional for the Green functions is

$`𝒵[\overline{\eta },\eta ,\overline{\chi },\chi ,J,j]={\displaystyle \frac{1}{N_\lambda }}{\displaystyle 𝒟[\overline{\psi },\psi ,𝒲,\overline{C},C,\lambda ]\mathrm{exp}\left\{\mathrm{i}\left(I_{\mathrm{eff}}+I_s\right)\right\}},`$ (3.19)
where $`N_\lambda `$ is a constant, $`I_s`$ is the source term in the action. They are defined by

$`N_\lambda ={\displaystyle 𝒟[\overline{\psi },\psi ,𝒲,\overline{C},C,\lambda ]\mathrm{exp}\left\{\mathrm{i}I_{\mathrm{eff}}\right\}},`$
$`I_s={\displaystyle }d^4x\{\overline{\eta }(x)\psi (x)+\overline{\psi }(x)\eta (x)+\overline{\chi }_a(x)C_a(x)+\overline{C}_a(x)\chi _a(x)+\overline{\chi }_y(x)C_y(x)`$
$`+\overline{C}_y(x)\chi _y(x)+J_a^\mu (x)W_{a\mu }(x)+J_y^\mu (x)W_{y\mu }(x)+j_a(x)\lambda _a(x)+J_y(x)\lambda _y(x)\},`$ (3.20)
where $`\overline{\eta }(x),\eta (x)\mathrm{}`$ stand for the sources. In particular, $`j_a(x)`$, $`j_y(x)`$ are the sources of $`\lambda _a(x)`$, $`\lambda _y(x)`$, respectively.

We now check the BRST invariance of the effective action $`I_{eff}`$ defined by (3.17) and (3.18). With $`\overline{C}_a(x)`$, $`\overline{C}_y(x)`$ transforming as

$$\delta _B\overline{C}_a(x)=\delta \zeta \lambda _a(x),\delta _B\overline{C}_y(x)=\delta \zeta \lambda _y(x),$$

and noticing the invariance of $`\mathrm{\Delta }\mathrm{\Phi }_a,\mathrm{\Delta }\mathrm{\Phi }_y`$, one has

$$\delta _Bd^4x^{(C)}(x)=d^4x\left\{\lambda _a(x)\delta _B\mathrm{\Phi }_a(x)\lambda _y(x)\delta _B\mathrm{\Phi }_y(x)\right\}.$$

Therefore

$$\delta _BI_{eff}=\delta _BI_{WM}+d^4x\left\{\left(\delta _B\lambda _a(x)\right)\mathrm{\Phi }_a(x)+\left(\delta _B\lambda _y(x)\right)\mathrm{\Phi }_y(x)\right\}.$$

From this and the expression of $`\delta _BI_{WM}`$, it can be shown that the effective action is invariant, when the transformation of $`\lambda _a(x)`$ and $`\lambda _y(x)`$ are defined as

$`\delta _B\lambda _1(x)=\delta \zeta M^2C_1(x),`$
$`\delta _B\lambda _2(x)=\delta \zeta M^2C_2(x),`$
$`\delta _B\lambda _3(x)=\delta \zeta M^2C_3(x)\delta \zeta {\displaystyle \frac{g_1}{g}}M^2C_y(x),`$
$`\delta _B\lambda _y(x)=\delta \zeta {\displaystyle \frac{g_1^2}{g^2}}M^2C_y(x)\delta \zeta {\displaystyle \frac{g_1}{g}}M^2C_3(x).`$
IV. Renormalisability

Let $`W_{a\mu }(x),W_{y\mu }(x)`$, $`C_a(x),C_y(x),\mathrm{}`$ stand for the renormalized field founctions, $`g,g_1`$ and $`M`$ be renormalized parameters. By introducing the source terms of the composite field functions $`\mathrm{\Delta }W_a^\mu `$, $`\mathrm{\Delta }W_y^\mu `$, $`\mathrm{\Delta }C_a(x)`$, $`\mathrm{\Delta }\psi (x)`$, $`\mathrm{\Delta }\overline{\psi }(x)`$ and the sources $`K_\mu ^a(x)`$, $`K_\mu ^y(x)`$, $`L_a(x)`$, $`n_\alpha (x)`$, $`l_\alpha (x)`$, $`p_\alpha (x)`$, $`n_\alpha ^{}(x)`$, $`l_\alpha ^{}(x)`$ and $`p_\alpha ^{}(x)`$, the effective Lagrangian without counterterm becomes

$`_{eff}^{[0]}(x)`$ $`=`$ $`\lambda _a(x)\mathrm{\Phi }_a(x)+\lambda _y(x)\mathrm{\Phi }_y(x)+_{WL}(x)+_{WY}(x)`$ (4.1)
$`+_{WM}(x)+^{(C)}(x)+_\psi (x)+_{\psi W}(x)`$
$`+K_\mu ^a(x)\mathrm{\Delta }W_a^\mu (x)+K_\mu ^y(x)\mathrm{\Delta }W_y^\mu (x)+L_a(x)\mathrm{\Delta }C_a(x)`$
$`+n_\alpha (x)\mathrm{\Delta }\nu _{L\alpha }(x)+l_\alpha (x)\mathrm{\Delta }e_{L\alpha }(x)+p_\alpha (x)\mathrm{\Delta }e_{R\alpha }(x)`$
$`+n_\alpha ^{}(x)\mathrm{\Delta }\overline{\nu }_{L\alpha }(x)+l_\alpha ^{}(x)\mathrm{\Delta }\overline{e}_{L\alpha }(x)+p_\alpha ^{}(x)\mathrm{\Delta }\overline{e}_{R\alpha }(x).`$
The complete effective Lagrangian is the sum of $`_{eff}^{[0]}`$ and the counterterm $`_{count}`$

$`_{\mathrm{eff}}=_{\mathrm{eff}}^{[0]}+_{count}.`$ (4.2)
With (4.1), the generating functional for Green functions is defined as

$`𝒵^{[0]}[\overline{\eta },\eta ,\overline{\chi },\chi ,J,j,K,L,n,l,p,n^{},l^{},p^{}]={\displaystyle \frac{1}{N}}{\displaystyle 𝒟[\overline{\psi },\psi ,𝒲,\overline{C},C,\lambda ]\mathrm{exp}\left\{\mathrm{i}\left(I_{eff}^{[0]}+I_s\right)\right\}},`$ (4.3)
$`I_{eff}^{[0]}`$ is the effective action $`d^4x_{eff}^{[0]}(x)`$, $`N`$ is a constant to make $`𝒵^{[0]}`$ equal to $`1`$ in the absence of

$`I_s={\displaystyle }d^4x\{\overline{\eta }(x)\psi (x)+\overline{\psi }(x)\eta (x)+\overline{\chi }_a(x)C_a(x)+\overline{C}_a(x)\chi _a(x)+\overline{\chi }_y(x)C_y(x)`$
$`+\overline{C}_y(x)\chi _y(x)+J_a^\mu (x)W_{a\mu }(x)+J_y^\mu (x)W_{y\mu }(x)+j_a(x)\lambda _a(x)+j_y(x)\lambda _y(x)\},`$
where $`\overline{\eta }\psi `$ and $`\overline{\psi }\eta `$ stand for

$`\overline{\eta }\psi =\overline{\eta }_\alpha ^{(\nu )}\nu _{L\alpha }+\overline{\eta }_\alpha ^{(l)}e_{L\alpha }+\overline{\eta }_\alpha ^{(r)}e_{R\alpha },`$
$`\overline{\psi }\eta =\overline{\nu }_{L\alpha }\eta _\alpha ^{(\nu )}+\overline{e}_{L\alpha }\eta _\alpha ^{(l)}+\overline{e}_{R\alpha }\eta _\alpha ^{(r)}.`$
Denoting by $`𝒲^{[0]}`$ and $`\mathrm{\Gamma }^{[0]}`$ the generating functionals for connected Green functions and regular vertex functions respectively, one has

$`𝒵^{[0]}=\mathrm{exp}\left\{\mathrm{i}𝒲^{[0]}[\overline{\eta },\eta ,\overline{\chi },\chi ,J,j,K,L,n,l,p,n^{},l^{},p^{}]\right\},`$ (4.4)
$`\mathrm{\Gamma }^{[0]}[\stackrel{~}{\psi },\stackrel{~}{\overline{\psi }},\stackrel{~}{W},\stackrel{~}{\overline{C}},\stackrel{~}{C},\stackrel{~}{\lambda },K,L,n,l,p,n^{},l^{},p^{}]`$
$`=𝒲^{[0]}{\displaystyle }d^4x[J_a^\mu \stackrel{~}{W}_{a\mu }+J_y^\mu \stackrel{~}{W}_{y\mu }+j_a\stackrel{~}{\lambda }_a+j_y\stackrel{~}{\lambda }_y+\overline{\chi }_a\stackrel{~}{C}_a+\stackrel{~}{\overline{C}}_a\chi _a+\overline{\chi }_y\stackrel{~}{C}_y`$
$`+\stackrel{~}{\overline{C}}_y\chi _y+\overline{\eta }^{(\nu )}\stackrel{~}{\nu }_L+\overline{\eta }^{(l)}\stackrel{~}{e}_L+\overline{\eta }^{(r)}\stackrel{~}{e}_R+\stackrel{~}{\overline{\nu }}_L\eta ^{(\nu )}+\stackrel{~}{\overline{e}}_L\eta ^{(l)}+\stackrel{~}{\overline{e}}_R\eta ^{(r)}],`$ (4.5)
where $`\stackrel{~}{W}_{a\mu }`$, $`\stackrel{~}{\nu }_L`$, $`\mathrm{}`$ are the so-called classical fields defined by

$`\stackrel{~}{W}_{a\mu }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta J_a^\mu (x)}},\stackrel{~}{\lambda }_a(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta j_a(x)}},\stackrel{~}{C}_a(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \overline{\chi }_a(x)}},`$
$`\stackrel{~}{\overline{C}}_a(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \chi _a(x)}},\stackrel{~}{W}_{y\mu }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta J_y^\mu (x)}},\stackrel{~}{\lambda }_y={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta j_y(x)}},`$
$`\stackrel{~}{C}_y(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \overline{\chi }_y(x)}},\stackrel{~}{\overline{C}}_y(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \chi _y(x)}},\stackrel{~}{\nu }_{L\alpha }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \overline{\eta }_\alpha ^{(\nu )}(x)}},`$
$`\stackrel{~}{e}_{L\alpha }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \overline{\eta }_\alpha ^{(l)}(x)}},\stackrel{~}{e}_{R\alpha }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \overline{\eta }_\alpha ^{(r)}(x)}},\stackrel{~}{\overline{\nu }}_{L\alpha }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \eta _\alpha ^{(\nu )}(x)}},`$
$`\stackrel{~}{\overline{e}}_{L\alpha }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \eta _\alpha ^{(l)}(x)}},\stackrel{~}{\overline{e}}_{R\alpha }(x)={\displaystyle \frac{\delta 𝒲^{[0]}}{\delta \eta _\alpha ^{(r)}(x)}}.`$
Therefore

$`J_a^\mu (x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{W}_{a\mu }(x)}},j_a(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\lambda }_a(x)}},\overline{\chi }_a(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{C}_a(x)}},`$
$`\chi _a(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_a(x)}},J_y^\mu (x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{W}_{y\mu }(x)}},j_y(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\lambda }_y(x)}},`$
$`\overline{\chi }_y(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{C}_y(x)}},\chi _y(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_y(x)}},\eta _\alpha ^{(\nu )}(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{\nu }}_{L\alpha }(x)}},`$
$`\eta _\alpha ^{(l)}(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{e}}_{L\alpha }(x)}},\eta _\alpha ^{(r)}(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{e}}_{R\alpha }(x)}},\overline{\eta }_\alpha ^{(\nu )}(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\nu }_{L\alpha }(x)}},`$
$`\overline{\eta }_\alpha ^{(l)}(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{e}_{L\alpha }(x)}},\overline{\eta }_\alpha ^{(r)}(x)={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{e}_{R\alpha }(x)}}.`$
Besides, for $`K_\mu ^a,L_a`$ $`\mathrm{}`$, the spectators in the Legendre transtrormation, one has

$`{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta K_\mu ^a(x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^a(x)}},{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta K_\mu ^y(x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}},{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta L_a(x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta L_a(x)}},`$
$`{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta n_\alpha (x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta n_\alpha (x)}},{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta l_\alpha (x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta l_\alpha (x)}},{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta p_\alpha (x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta p_\alpha (x)}},`$
$`{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta n_\alpha ^{}(x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta n_\alpha ^{}(x)}},{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta l_\alpha ^{}(x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta l_\alpha ^{}(x)}},{\displaystyle \frac{\delta 𝒲^{[0]}}{\delta p_\alpha ^{}(x)}}={\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta p_\alpha ^{}(x)}}.`$
In order to find the Slavnov–Taylor identity satisfied by the generating functional for the regular vertex functions, we change the variables in the path integral of $`𝒵^{[0]}`$ as follows

$`W_a^\mu (x)W_a^\mu (x)+\delta \zeta \mathrm{\Delta }W_a^\mu (x),W_y^\mu (x)W_y^\mu (x)+\delta \zeta \mathrm{\Delta }W_y^\mu (x),`$
$`C_a(x)C_a(x)+\delta \zeta \mathrm{\Delta }C_a(x),C_y(x)C_y(x),`$
$`\overline{C}_a(x)\overline{C}_a(x)\delta \zeta \lambda _a(x),\overline{C}_y(x)\overline{C}_y(x)\delta \zeta \lambda _y(x),`$
$`\psi (x)\psi (x)+\delta \zeta \mathrm{\Delta }\psi (x),\overline{\psi }(x)\overline{\psi }(x)+\delta \zeta \mathrm{\Delta }\overline{\psi }(x),`$
$`\lambda _a(x)\lambda _a(x),\lambda _y(x)\lambda _y(x).`$
The volume element of the path integral does not change and the changes in $`I_s`$ and $`_{WM}`$ lead to

$`{\displaystyle }d^4x\{{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^a(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{W}_a^\mu (x)}}+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{W}_y^\mu (x)}}+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta L_a(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{C}_a(x)}}`$
$`+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\nu }_{L\alpha }(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta n_\alpha (x)}}+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{e}_{L\alpha }(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta l_\alpha (x)}}+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{e}_{R\alpha }(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta p_\alpha (x)}}`$
$`+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{\nu }}_{L\alpha }(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta n_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{e}}_{L\alpha }(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta l_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{e}}_{R\alpha }(x)}}{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta p_\alpha ^{}(x)}}`$
$`\stackrel{~}{\lambda }_a(x){\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_a(x)}}\stackrel{~}{\lambda }_y(x)+{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_y(x)}}\mathrm{\Delta }_{WM}(x)^{[0]}\}=0,`$ (4.6)
where

$$\mathrm{\Delta }_{WM}(x)^{[0]}=\frac{1}{N𝒵^{[0]}}𝒟[\overline{\psi },\psi ,𝒲,\overline{C},C]\mathrm{\Delta }_{WM}(x)\mathrm{exp}\left\{\mathrm{i}\left(I_{\mathrm{eff}}^{[0]}+I_s\right)\right\}.$$

With the definition of $`\mathrm{\Delta }_{WM}(x)`$

$$\delta _B_{WM}(x)=\delta \zeta \mathrm{\Delta }_{WM}(x),$$

one can write

$`\mathrm{\Delta }_{WM}(x)^{[0]}`$ $`=`$ $`M^2\stackrel{~}{W}_{a\mu }(x){\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^a(x)}}+M^2\left({\displaystyle \frac{g_1}{g}}\right)^2\stackrel{~}{W}_{y\mu }(x){\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}`$
$`M^2{\displaystyle \frac{g_1}{g}}\stackrel{~}{W}_{y\mu }(x){\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^3(x)}}M^2{\displaystyle \frac{g_1}{g}}\stackrel{~}{W}_{3\mu }(x){\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}.`$
Next, from the invariance of the path integral of $`𝒵^{[0]}`$ with respect to the translation of the integration variables $`\overline{C}_a(x)`$, $`\overline{C}_y(x)`$, $`\lambda _a(x)`$ and $`\lambda _y(x)`$, one can get a set of auxiliary identities

$`{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_1(x)}}_\mu {\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^1(x)}}g_1\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^2(x)}}g_1\stackrel{~}{W}_{2\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.7)
$`{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_2(x)}}_\mu {\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^2(x)}}+g_1\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^1(x)}}+g_1\stackrel{~}{W}_{1\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.8)
$`{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_3(x)}}_\mu {\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^3(x)}}g_1\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^3(x)}}g_1\stackrel{~}{W}_{3\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.9)
$`{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\overline{C}}_y(x)}}_\mu {\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}g\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^3(x)}}g\stackrel{~}{W}_{3\mu }{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.10)
and

$`{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\lambda }_a(x)}}=\mathrm{\Phi }_a(x)^{[0]},{\displaystyle \frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\lambda }_y(x)}}=\mathrm{\Phi }_y(x)^{[0]}.`$ (4.11)
where

$`\mathrm{\Phi }_a(x)^{[0]}={\displaystyle \frac{1}{N𝒵^{[0]}}}{\displaystyle 𝒟[\overline{\psi },\psi ,𝒲,\overline{C},C,\lambda ]\mathrm{\Phi }_a(x)\mathrm{exp}\left\{\mathrm{i}\left(I_{\mathrm{eff}}^{[0]}+I_s\right)\right\}},`$ (4.12)
$`\mathrm{\Phi }_y(x)^{[0]}={\displaystyle \frac{1}{N𝒵^{[0]}}}{\displaystyle 𝒟[\overline{\psi },\psi ,𝒲,\overline{C},C,\lambda ]\mathrm{\Phi }_y(x)\mathrm{exp}\left\{\mathrm{i}\left(I_{\mathrm{eff}}^{[0]}+I_s\right)\right\}}.`$ (4.13)
Let $`\stackrel{~}{\mathrm{\Phi }}_a(x)`$, $`\stackrel{~}{\mathrm{\Phi }}_y(x)`$, $`\stackrel{~}{}_{WM}`$ be the results obtained from $`\mathrm{\Phi }_a(x)`$, $`\mathrm{\Phi }_y(x)`$, $`_{WM}`$ by replacing the field functions with the classical field functions and define

$`\overline{\mathrm{\Gamma }}^{[0]}=\mathrm{\Gamma }^{[0]}{\displaystyle d^4x\left\{\stackrel{~}{\lambda }_a(x)\stackrel{~}{\mathrm{\Phi }}_a(x)+\stackrel{~}{\lambda }_y(x)\stackrel{~}{\mathrm{\Phi }}_y(x)+\stackrel{~}{}_{WM}\right\}},`$ (4.14)
Thus, from (4.6)–(4.11), one gets

$`{\displaystyle }d^4x\{{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^a(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{W}_a^\mu (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^y(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{W}_y^\mu (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta L_a(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{C}_a(x)}}`$
$`+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\nu }_{L\alpha }(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta n_\alpha (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{e}_{L\alpha }(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta l_\alpha (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{e}_{R\alpha }(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta p_\alpha (x)}}`$
$`+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{\nu }}_{L\alpha }(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta n_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{e}}_{L\alpha }(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta l_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{e}}_{R\alpha }(x)}}{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta p_\alpha ^{}(x)}}\}=0.`$ (4.15)
and

$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\lambda }_a(x)}}=\mathrm{\Phi }_a(x)^{[0]}\stackrel{~}{\mathrm{\Phi }}_a(x),{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\lambda }_y(x)}}=\mathrm{\Phi }_y(x)^{[0]}\stackrel{~}{\mathrm{\Phi }}_y(x),`$ (4.16)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{C}}_1(x)}}_\mu {\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^1(x)}}g_1\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^2(x)}}g_1\stackrel{~}{W}_{2\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.17)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{C}}_2(x)}}_\mu {\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^2(x)}}+g_1\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^1(x)}}+g_1\stackrel{~}{W}_{1\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.18)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{C}}_3(x)}}_\mu {\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^3(x)}}g_1\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^3(x)}}g_1\stackrel{~}{W}_{3\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^y(x)}}=0,`$ (4.19)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\overline{C}}_y(x)}}_\mu {\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^y(x)}}g\stackrel{~}{W}_{y\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^3(x)}}g\stackrel{~}{W}_{3\mu }{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta K_\mu ^y(x)}}=0.`$ (4.20)
As $`\mathrm{\Phi }_a(x),\mathrm{\Phi }_y(x)`$ contain the products of the SUL(2) and UY(1) fields, (4.16) is complicated unless the generating functional for the Green functions does not contain the sources of the Lagrange multipliers $`\lambda _a`$ and $`\lambda _y`$. Actuarely we are not interested in using the Green functions involving $`\lambda _a`$ or $`\lambda _y`$. Our intention to use the generalized form of the theory containing the sources of these Lagrange multipliers is to study the Renormalisability of the theory for which such sources are absent from the generating functional for the Green functions and therefore $`\mathrm{\Phi }_a(x)^{[0]}`$ and $`\mathrm{\Phi }_y(x)^{[0]}`$ are equal to zero. We now, according to $`(4.11)`$, let vanish $`\frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\lambda }_a(x)}`$ and $`\frac{\delta \mathrm{\Gamma }^{[0]}}{\delta \stackrel{~}{\lambda }_a(x)}`$ to make $`\mathrm{\Phi }_a(x)^{[0]}`$ and $`\mathrm{\Phi }_y(x)^{[0]}`$ equal to zero. This means

$`\stackrel{~}{\mathrm{\Phi }}_a(x)=0,\stackrel{~}{\mathrm{\Phi }}_y(x)=0.`$ (4.21)
and

$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\lambda }_a(x)}}=0,{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \stackrel{~}{\lambda }_y(x)}}=0,`$ (4.22)
In the following we will denote by $`\overline{\mathrm{\Gamma }}^{[0]}[\psi ,\overline{\psi },W,\overline{C},C,\lambda ,K,L,n,l,p,n^{},l^{},p^{}]`$ the functional that is obtained from $`\overline{\mathrm{\Gamma }}^{[0]}[\stackrel{~}{\psi },\stackrel{~}{\overline{\psi }},\stackrel{~}{W},\stackrel{~}{\overline{C}},\stackrel{~}{C},\stackrel{~}{\lambda },K,\mathrm{}]`$ by replacing the classical field functions with the usual field functions. Assume that the dimensional regularization method is used and the Slavnov–Taylor identity and the auxiliary identities are guaranteed. Denote the tree part and one loop part of $`\overline{\mathrm{\Gamma }}^{[0]}`$ by $`\overline{\mathrm{\Gamma }}_0^{[0]}`$ and $`\overline{\mathrm{\Gamma }}_1^{[0]}`$ respectively. $`\overline{\mathrm{\Gamma }}_0^{[0]}`$ is thus the modified action $`\overline{I}_{eff}^{[0]}`$ obtained from $`I_{eff}^{[0]}`$ by excluding the mass term and $`(\lambda _a,\lambda _y)`$ terms. From $`(4.15)`$ and $`(4.17)(4.22)`$ one has

$`\mathrm{\Phi }_a(x)=0,\mathrm{\Phi }_y(x)=0,`$ (4.23)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \lambda _a(x)}}=0,{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[0]}}{\delta \lambda _y(x)}}=0,`$ (4.24)
$`\mathrm{\Lambda }_{op}\overline{\mathrm{\Gamma }}_0^{[0]}=0,`$
and

$`\overline{\mathrm{\Gamma }}_0^{[0]}\overline{\mathrm{\Gamma }}_1^{[0]}+\overline{\mathrm{\Gamma }}_1^{[0]}\overline{\mathrm{\Gamma }}_0^{[0]}=\mathrm{\Lambda }_{op}\overline{\mathrm{\Gamma }}_1^{[0]}=0,`$ (4.25)
$`\mathrm{\Sigma }_a(x)\overline{\mathrm{\Gamma }}^{[0]}=0,\mathrm{\Sigma }_y(x)\overline{\mathrm{\Gamma }}^{[0]}=0.`$ (4.26)
where $`\mathrm{\Lambda }_{op}`$,$`\mathrm{\Sigma }_a(x)`$ and $`\mathrm{\Sigma }_y(x)`$ are defined by

$`\mathrm{\Lambda }_{op}={\displaystyle }d^4x\{{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta K_\mu ^a(x)}}{\displaystyle \frac{\delta }{\delta W_a^\mu (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta W_a^\mu (x)}}{\displaystyle \frac{\delta }{\delta K_\mu ^a(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta K_\mu ^y(x)}}{\displaystyle \frac{\delta }{\delta W_y^\mu (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta W_y^\mu (x)}}{\displaystyle \frac{\delta }{\delta K_\mu ^y(x)}}`$
$`+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta L_a(x)}}{\displaystyle \frac{\delta }{\delta C_a(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta C_a(x)}}{\displaystyle \frac{\delta }{\delta L_a(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \nu _{L\alpha }(x)}}{\displaystyle \frac{\delta }{\delta n_\alpha (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta n_\alpha (x)}}{\displaystyle \frac{\delta }{\delta \nu _{L\alpha }(x)}}`$
$`+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta e_{L\alpha }(x)}}{\displaystyle \frac{\delta }{\delta l_\alpha (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta l_\alpha (x)}}{\displaystyle \frac{\delta }{\delta e_{L\alpha }(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta e_{R\alpha }(x)}}{\displaystyle \frac{\delta }{\delta p_\alpha (x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta p_\alpha (x)}}{\displaystyle \frac{\delta }{\delta e_{R\alpha }(x)}}`$
$`+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{\nu }_{L\alpha }(x)}}{\displaystyle \frac{\delta }{\delta n_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta n_\alpha ^{}(x)}}{\displaystyle \frac{\delta }{\delta \overline{\nu }_{L\alpha }(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{e}_{L\alpha }(x)}}{\displaystyle \frac{\delta }{\delta l_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta l_\alpha ^{}(x)}}{\displaystyle \frac{\delta }{\delta \overline{e}_{L\alpha }(x)}}`$
$`+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{e}_{R\alpha }(x)}}{\displaystyle \frac{\delta }{\delta p_\alpha ^{}(x)}}+{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta p_\alpha ^{}(x)}}{\displaystyle \frac{\delta }{\delta \overline{e}_{R\alpha }(x)}}\},`$ (4.27)
$`\mathrm{\Sigma }_1(x)={\displaystyle \frac{\delta }{\delta \overline{C}_1(x)}}_\mu {\displaystyle \frac{\delta }{\delta K_\mu ^1(x)}}g_1W_{y\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^2(x)}}g_1W_{2\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^y(x)}},`$ (4.28)
$`\mathrm{\Sigma }_2(x)={\displaystyle \frac{\delta }{\delta \overline{C}_2(x)}}_\mu {\displaystyle \frac{\delta }{\delta K_\mu ^2(x)}}+g_1W_{y\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^1(x)}}+g_1W_{1\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^y(x)}},`$ (4.29)
$`\mathrm{\Sigma }_3(x)={\displaystyle \frac{\delta }{\delta \overline{C}_3(x)}}_\mu {\displaystyle \frac{\delta }{\delta K_\mu ^3(x)}}g_1W_{y\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^3(x)}}g_1W_{3\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^y(x)}},`$ (4.30)
$`\mathrm{\Sigma }_y(x)={\displaystyle \frac{\delta }{\delta \overline{C}_y(x)}}_\mu {\displaystyle \frac{\delta }{\delta K_\mu ^y(x)}}gW_{y\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^3(x)}}gW_{3\mu }{\displaystyle \frac{\delta }{\delta K_\mu ^y(x)}}.`$ (4.31)
The meaning of the notation $`AB`$ is the same as in the common use, namely

$`AB={\displaystyle }d^4x\{{\displaystyle \frac{\delta A}{\delta K_\mu ^a(x)}}{\displaystyle \frac{\delta B}{\delta W_a^\mu (x)}}+{\displaystyle \frac{\delta A}{\delta K_\mu ^y(x)}}{\displaystyle \frac{\delta B}{\delta W_y^\mu (x)}}+{\displaystyle \frac{\delta A}{\delta L_a(x)}}{\displaystyle \frac{\delta B}{\delta C_a(x)}}`$
$`+{\displaystyle \frac{\delta A}{\delta \nu _{L\alpha }(x)}}{\displaystyle \frac{\delta B}{\delta n_\alpha (x)}}+{\displaystyle \frac{\delta A}{\delta e_{L\alpha }(x)}}{\displaystyle \frac{\delta B}{\delta l_\alpha (x)}}+{\displaystyle \frac{\delta A}{\delta e_{R\alpha }(x)}}{\displaystyle \frac{\delta B}{\delta p_\alpha (x)}}`$
$`+{\displaystyle \frac{\delta A}{\delta \overline{\nu }_{L\alpha }(x)}}{\displaystyle \frac{\delta B}{\delta n_\alpha ^{}(x)}}+{\displaystyle \frac{\delta A}{\delta \overline{e}_{L\alpha }(x)}}{\displaystyle \frac{\delta B}{\delta l_\alpha ^{}(x)}}+{\displaystyle \frac{\delta A}{\delta \overline{e}_{R\alpha }(x)}}{\displaystyle \frac{\delta B}{\delta p_\alpha ^{}(x)}}\}.`$ (4.32)
$`(4.24)(4.26)`$ are of course satisfied by the finite part and the pole part of $`\overline{\mathrm{\Gamma }}_1^{[0]}`$. Thus the equations of the pole part $`\overline{\mathrm{\Gamma }}_{1,div}^{[0]}`$ are

$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_{1,div}^{[0]}}{\delta \lambda _a(x)}}=0,{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_{1,div}^{[0]}}{\delta \lambda _y(x)}}=0,`$ (4.33)
$`\mathrm{\Lambda }_{op}\overline{\mathrm{\Gamma }}_{1,div}^{[0]}=0,`$ (4.34)
$`\mathrm{\Sigma }_a(x)\overline{\mathrm{\Gamma }}_{1,div}^{[0]}=0,\mathrm{\Sigma }_y(x)\overline{\mathrm{\Gamma }}_{1,div}^{[0]}=0.`$ (4.35)
Obviously, the same equations should be found for a SUL(2)$`\times `$UY(1) theory without the mass term if the same constraint conditions are chosen.

If $`M=0`$, then it is known from the renormalisability of the theory that $`\overline{\mathrm{\Gamma }}_{1,div}^{[0]}`$ is a combination of the following terms

$`T_{GL}=g{\displaystyle \frac{\overline{\mathrm{\Gamma }}_0^{[0]}}{g}},T_{GY}=g_1{\displaystyle \frac{\overline{\mathrm{\Gamma }}_0^{[0]}}{g_1}},`$
$`T_{WL}={\displaystyle d^4x\left\{W_a^\mu (x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta W_a^\mu (x)}+L_a(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta L_a(x)}\right\}},`$
$`T_{WY}={\displaystyle d^4xW_y^\mu (x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta W_y^\mu (x)}},`$
$`T_{CK}={\displaystyle d^4x\left\{\overline{C}_a(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{C}_a(x)}+C_a(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta C_a(x)}+K_\mu ^a(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta K_\mu ^a(x)}\right\}},`$
$`T_{CKY}={\displaystyle d^4x\left\{\overline{C}_y(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{C}_(x)}+C_y(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta C_y(x)}+K_\mu ^y(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta K_\mu ^y(x)}\right\}},`$
$`T_{\nu L}={\displaystyle d^4x\left\{\nu _{L\alpha }(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \nu _{L\alpha }(x)}+\overline{\nu }_{L\alpha }(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{\nu }_{L\alpha }(x)}\right\}},`$
$`T_{eL}={\displaystyle d^4x\left\{e_{L\alpha }(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta e_{L\alpha }(x)}+\overline{e}_{L\alpha }(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{e}_{L\alpha }(x)}\right\}},`$
$`T_{eR}={\displaystyle d^4x\left\{e_{R\alpha }(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta e_{R\alpha }(x)}+\overline{e}_{R\alpha }(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta \overline{e}_{R\alpha }(x)}\right\}},`$
$`T_{nn^{}}={\displaystyle d^4x\left\{n_\alpha (x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta n_\alpha (x)}+n_\alpha ^{}(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta n_\alpha ^{}(x)}\right\}},`$
$`T_{ll^{}}={\displaystyle d^4x\left\{l_\alpha (x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta l_\alpha (x)}+l_\alpha ^{}(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta l_\alpha ^{}(x)}\right\}},`$
$`T_{pp^{}}={\displaystyle d^4x\left\{p_\alpha (x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta p_\alpha (x)}+p_\alpha ^{}(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta p_\alpha ^{}(x)}\right\}}.`$
With these terms one can form five solutions of equations $`(4.33)(4.35)`$, which can be chosen as

$`T_{(1)}=T_{WL}T_{GL}T_{CK},`$ (4.36)
$`T_{(2)}=T_{WY}T_{GY}T_{CKY},`$ (4.37)
$`T_{(3)}=T_{CK}+T_{CKY}+T_{nn^{}}+T_{ll^{}}+T_{pp^{}},`$ (4.38)
$`T_{(4)}=T_{\nu L}+T_{eL}T_{nn^{}}T_{ll^{}},`$ (4.39)
$`T_{(5)}=T_{eR}T_{pp^{}}.`$ (4.40)
Note that $`T_{(3)}`$ is $`2\left(\overline{\mathrm{\Gamma }}_0^{[0]}I_{WL}I_{WY}I_\psi I_{\psi W}\right)`$. $`T_{(1)}`$ is a combination of $`I_{WL}`$, $`T_{(3)}`$ and $`d^4xC_y(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta C_y(x)}`$. $`T_{(2)}`$ is a combination of $`I_{WY}`$ and $`d^4xC_y(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta C_y(x)}`$. The sum of $`T_{(4)}`$ and $`T_{(5)}`$ is $`2\left(I_\psi +I_{\psi W}\right)`$. $`d^4xC_y(x)\frac{\delta \overline{\mathrm{\Gamma }}_0^{[0]}}{\delta C_y(x)}`$ and $`T_{(5)}`$ can be easily checked to satisfy $`(4.34)(4.35)`$. In addition to $`(4.36)`$$`(4.40)`$, a new term appearing in $`\overline{\mathrm{\Gamma }}_{1,\mathrm{div}}^{[0]}`$ when $`M0`$ should includ $`M^2`$ as a factor and also satisfies $`(4.34)(4.35)`$. Only $`I_{WM}`$ can be a candidate. Is such a term can really appear ? Imagine a limiting case that the matter fields and the U$`{}_{Y}{}^{}(1)`$ fields are absent. Thus the constraint conditions become Lorentz conditions and the above five solutions become two, namely, $`\left(T_{WL}T_{GL}\right)`$ and $`T_{CK}`$. This combination of $`T_{WL}`$ and $`T_{GL}`$ are due to the restriction of the constraint condition containing $`^\mu W_{y\mu }`$ and therefore should be decomposed into two independent terms when the U$`{}_{Y}{}^{}(1)`$ fields are absent. In fact, it is known that a SU(n) theory with massive gauge Bosons is renormalisability  and that when the matter fields are absent $`\overline{\mathrm{\Gamma }}_{n+1,div}^{[n]}`$ of such a theory is a combination of three independent terms $`T_{WL}`$, $`T_{GL}`$ and $`T_{CK}`$. It follows that for the present theory $`\overline{\mathrm{\Gamma }}_{1,div}^{[0]}`$ does not cantain the mass term $`I_{MW}`$ neither and can be expressed as

$`\overline{\mathrm{\Gamma }}_{1,div}^{[0]}=\alpha _1^{(1)}T_{(1)}+\alpha _2^{(1)}T_{(2)}+\alpha _3^{(1)}T_{(3)}+\alpha _4^{(1)}T_{(4)}+\alpha _5^{(1)}T_{(5)},`$ (4.41)
where, $`\alpha _1^{(1)},\mathrm{},\alpha _5^{(1)}`$ are constants of order $`(\mathrm{})^1`$ and are divergent when the space-time dimension tends to $`4`$.

In order to cancel the one loop divergence the counterterm of order $`\mathrm{}^1`$ in the action should be chosen as

$`\delta I_{count}^{[1]}=\overline{\mathrm{\Gamma }}_{1,div}^{[0]},`$ (4.42)
Since

$`\overline{I}_{eff}^{[0]}=\overline{\mathrm{\Gamma }}_0^{[0]},`$ (4.43)
it is known from $`(4.41)`$ that the sum of $`\overline{I}_{eff}^{[0]}`$ and $`\delta I_{count}^{[1]}`$, to order of $`\mathrm{}^1`$, can be written as

$`\overline{I}_{eff}^{[1]}`$ $`[\psi ,\overline{\psi },W,C,\overline{C},K,L,n,l,p,n^{},l^{},p^{},g,g_1]`$ (4.44)
$`=\overline{I}_{\mathrm{eff}}^{[0]}[\psi ^{[0]},\overline{\psi }^{[0]},W^{[0]},C^{[0]},\overline{C}^{[0]},K^{[0]},L^{[0]},n^{[0]},n^{{}_{}{}^{}[0]},\mathrm{},g^{[0]},g_1^{[0]}],`$
where the bare fields and the bare parameters (to order $`(\mathrm{})^1`$) are defined as

$`W_{a\mu }^{[0]}=(Z_3^{[1]})^{1/2}W_{a\mu }=\left(1\alpha _1^{(1)}\right)W_{a\mu },L_a^{[0]}=(Z_3^{[1]})^{1/2}L_a,`$ (4.45)
$`W_{y\mu }^{[0]}=(Z_3^{{}_{}{}^{}[1]})^{1/2}W_{y\mu }=\left(1\alpha _2^{(1)}\right)W_{y\mu },`$ (4.46)
$`C_a^{[0]}=(\stackrel{~}{Z}_3^{[1]})^{1/2}C_a=\left(1\alpha _3^{(1)}+\alpha _1^{(1)}\right)C_a,`$ (4.47)
$`\overline{C}_a^{[0]}=(\stackrel{~}{Z}_3^{[1]})^{1/2}\overline{C}_a,K_\mu ^{a[0]}=(\stackrel{~}{Z}_3^{[1]})^{1/2}K_\mu ^a,`$ (4.48)
$`C_y^{[0]}=(\stackrel{~}{Z}_3^{{}_{}{}^{}[1]})^{1/2}C_y=\left(1\alpha _3^{(1)}+\alpha _2^{(1)}\right)C_y,`$ (4.49)
$`\overline{C}_y^{[0]}=(\stackrel{~}{Z}_3^{{}_{}{}^{}[1]})^{1/2}\overline{C}_y,K_\mu ^{y[0]}=(\stackrel{~}{Z}_3^{[1]})^{1/2}K_\mu ^y,`$ (4.50)
$`\nu _L^{[0]}=(Z_{\nu L}^{[1]})^{1/2}\nu _L=\left(1\alpha _4^{(1)}\right)\nu _L,\overline{\nu }_L^{[0]}=(Z_{\nu L}^{[1]})^{1/2}\overline{\nu }_L,`$ (4.51)
$`e_L^{[0]}=(Z_{eL}^{[1]})^{1/2}e_L=(Z_{\nu L}^{[1]})^{1/2}e_L,\overline{e}_L^{[0]}=(Z_{eL}^{[1]})^{1/2}\overline{e}_L,`$ (4.52)
$`e_R^{[0]}=(Z_{eR}^{[1]})^{1/2}e_R=\left(1\alpha _5^{(1)}\right)e_R,\overline{e}_R^{[0]}=(Z_{eR}^{[1]})^{1/2}\overline{e}_R,`$ (4.53)
$`n^{[0]}=(Z_{(n)}^{[1]})^{1/2}n=\left(1\alpha _3^{(1)}+\alpha _4^{(1)}\right)n,n^{{}_{}{}^{}[0]}=(Z_{(n)}^{[1]})^{1/2}n^{},`$ (4.54)
$`l^{[0]}=(Z_{(l)}^{[1]})^{1/2}l=(Z_{(n)}^{[1]})^{1/2}l,l^{{}_{}{}^{}[0]}=(Z_{(l)}^{[1]})^{1/2}l^{},`$ (4.55)
$`p^{[0]}=(Z_{(p)}^{[1]})^{1/2}p=\left(1\alpha _3^{(1)}+\alpha _5^{(1)}\right)p,p^{{}_{}{}^{}[0]}=(Z_{(p)}^{[1]})^{1/2}p^{},`$ (4.56)
$`g^{[0]}=Z_g^{[1]}g=(Z_3^{[1]})^{1/2}g,g_1^{[0]}=Z_g^{{}_{}{}^{}[1]}g_1=(Z_3^{{}_{}{}^{}[1]})^{1/2}g_1.`$ (4.57)
Next, defined

$`\mathrm{\Phi }_1^{[0]}=^\mu W_{1\mu }^{[0]}+g_1^{[0]}W_{2\mu }^{[0]}W_y^{\mu [0]},`$
$`\mathrm{\Phi }_2^{[0]}=^\mu W_{2\mu }^{[0]}g_1^{[0]}W_{1\mu }^{[0]}W_y^{\mu [0]},`$
$`\mathrm{\Phi }_3^{[0]}=^\mu W_{3\mu }^{[0]}+g_1^{[0]}W_{3\mu }^{[0]}W_y^{\mu [0]},`$
$`\mathrm{\Phi }_y^{[0]}=^\mu W_{y\mu }^{[0]}+g^{[0]}W_{3\mu }^{[0]}W_y^{\mu [0]}.`$
From $`(4.45),(4.46)`$ and $`(4.57)`$ one has

$$g^{[0]}W_a^{\mu [0]}=gW_a^\mu ,g_1^{[0]}W_y^{\mu [0]}=g_1W_y^\mu ,$$

and

$`\mathrm{\Phi }_a^{[0]}=(Z_3^{[1]})^{1/2}\mathrm{\Phi }_a,\mathrm{\Phi }_y^{[0]}=(Z_3^{{}_{}{}^{}[1]})^{1/2}\mathrm{\Phi }_y.`$ (4.58)
Thus by adding $`I_{WM}`$ and the $`\lambda `$ terms into $`\overline{I}_{eff}^{[1]}`$ and forming

$`I_{eff}^{[1]}=\overline{I}_{eff}^{[1]}+I_{WM}+{\displaystyle d^4x\left\{\lambda _a(x)\mathrm{\Phi }_a(x)+\lambda _y(x)\mathrm{\Phi }_y(x)\right\}},`$ (4.59)
one gets

$`I_{eff}^{[1]}[\psi ,\overline{\psi },W,C,\overline{C},\lambda ,K,L,n,l,p,n^{},l^{},p^{},g,g_1,M]`$
$`=I_{eff}^{[0]}[\psi ^{[0]},\overline{\psi }^{[0]},W^{[0]},C^{[0]},\overline{C}^{[0]},\lambda ^{[0]},K^{[0]},L^{[0]},n^{[0]},n^{{}_{}{}^{}[0]},\mathrm{},g^{[0]},g_1^{[0]},M^{[0]}],`$ (4.60)
where

$`M^{[0]}=(Z_3^{[1]})^{1/2}M,\lambda _a^{[0]}=(Z_3^{[1]})^{1/2}\lambda _a,\lambda _a^{[0]}=(Z_3^{{}_{}{}^{}[1]})^{1/2}\lambda _y.`$ (4.61)
Obviously, if the action $`I_{eff}^{[1]}`$ is used to replace $`I_{eff}^{[0]}`$ in $`(4.3)`$ and define $`𝒵^{[1]}`$, $`\mathrm{\Gamma }^{[1]}`$ as well as

$`\overline{\mathrm{\Gamma }}^{[1]}=\mathrm{\Gamma }^{[1]}I_{WM}{\displaystyle d^4x\left\{\lambda _a(x)\mathrm{\Phi }_a(x)+\lambda _y(x)\mathrm{\Phi }_y(x)+_{WM}\right\}},`$ (4.62)
then one has

$`\overline{\mathrm{\Gamma }}^{[1]}[\psi ,\overline{\psi },W,C,\overline{C},\lambda ,K,L,n,l,p,n^{},l^{},p^{},g,g_1,M]`$
$`=\overline{\mathrm{\Gamma }}^{[0]}[\psi ^{[0]},\overline{\psi }^{[0]},W^{[0]},C^{[0]},\overline{C}^{[0]},\lambda ^{[0]},K^{[0]},L^{[0]},n^{[0]},n^{{}_{}{}^{}[0]},\mathrm{},g^{[0]},g_1^{[0]},M^{[0]}].`$ (4.63)
From this it is easy to check that, to order $`\mathrm{}^1`$, $`\overline{\mathrm{\Gamma }}^{[1]}`$ is finite. Moreover, by changing into bare fields and bare parameters the fields and parameters in $`(4.15)`$ $`(4.22)`$ and then transforming them back into the renormalized fields and renormalized parameters according to $`(4.45)`$$`(4.59)`$, one can see that, under condition $`(4.23)`$, $`\overline{\mathrm{\Gamma }}^{[1]}`$ also satisfies

$`\mathrm{\Lambda }_{op}\overline{\mathrm{\Gamma }}^{[1]}=0,`$ (4.64)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[1]}}{\delta \lambda _a(x)}}=0,{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}^{[1]}}{\delta \lambda _y(x)}}=0,`$ (4.65)
$`\mathrm{\Sigma }_a(x)\overline{\mathrm{\Gamma }}^{[1]}=0,\mathrm{\Sigma }_y(x)\overline{\mathrm{\Gamma }}^{[1]}=0.`$ (4.66)
It is now clear that the renormalisability of the theory can be verified by the inductive method. The following is an outline of the proof. Assume that up to $`n`$ loop the theory has been proved to be renormalisable by introducing the counterterm

$$I_{\mathrm{count}}^{[n]}=\underset{l=1}{\overset{n}{}}\delta I_{\mathrm{count}}^{[l]},$$

where $`\delta I_{count}^{[l]}`$ is the counterterm of order $`\mathrm{}^l`$ and has the form of (4.41),(4.42). Therefore the modified generating functional $`\overline{\mathrm{\Gamma }}^{[n]}`$ for the regular vertex, defined by the action

$$I_{\mathrm{eff}}^{[n]}=I_{\mathrm{eff}}^{[0]}+I_{\mathrm{count}}^{[n]}$$

satisfied equations $`(4.64)(4.66)`$ (under $`(4.23)`$) and, to order $`\mathrm{}^n`$, is finite. This also means that the fields or parameters in each of the following brackets have the same renormalization factor:

$$(W_{a\mu }^{[0]},L_a),(C_a,\overline{C}_a,K_\mu ^a),(C_y,\overline{C}_y,K_\mu ^y),(\nu _L,\overline{\nu }_L,e_L,\overline{e}_L),(e_R,\overline{e}_R),(n,n^{},l,l^{}),(p,p^{}),(\lambda ,M,g),$$

and that

$`Z_g^{{}_{}{}^{}[n]}(Z_3^{{}_{}{}^{}[n]})^{1/2}=1,Z_g^{[n]}(Z_3^{[n]})^{1/2}=1,`$
$`Z_3^{[n]}\stackrel{~}{Z}_3^{[n]}=\stackrel{~}{Z}_3^{{}_{}{}^{}[n]}\stackrel{~}{Z}_3^{{}_{}{}^{}[n]}=Z_{\nu L}^{[n]}Z_{(n)}^{[n]}=Z_{eR}^{[n]}Z_{(p)}^{[n]}.`$
We have to proved that by using a counterterm of order $`\mathrm{}^{n+1}`$ which also has the form of (4.41),(4.42), $`\overline{\mathrm{\Gamma }}^{[n+1]}`$ can be make satisfy $`(4.64)(4.66)`$ and finite to order $`\mathrm{}^{n+1}`$, where $`\overline{\mathrm{\Gamma }}^{[n+1]}`$ is the modified generating functional for the regular vertex, determined by the action

$$I_{\mathrm{eff}}^{[n+1]}=I_{\mathrm{eff}}^{[n]}+\delta I_{\mathrm{count}}^{[n+1]}.$$

Denote by $`\overline{\mathrm{\Gamma }}_k^{[n]}`$ the part of order $`\mathrm{}^k`$ in $`\overline{\mathrm{\Gamma }}^{[n]}`$. For $`kn`$, $`\overline{\mathrm{\Gamma }}_k^{[n]}`$ is equal to $`\overline{\mathrm{\Gamma }}_k^{[k]}`$, because it can not contain the contribution of a counterterm of order $`\mathrm{}^{k+1}`$ or higher. Thus on expanding $`\overline{\mathrm{\Gamma }}^{[n]}`$ to order $`\mathrm{}^{n+1}`$ one has

$$\overline{\mathrm{\Gamma }}^{[n]}=\underset{k=0}{\overset{n}{}}\overline{\mathrm{\Gamma }}_k^{[k]}+\overline{\mathrm{\Gamma }}_{n+1}^{[n]}+\mathrm{}.$$

Using this and extracting the terms of order $`\mathrm{}^{(n+1)}`$ from the equations satisfied by $`\overline{\mathrm{\Gamma }}^{[n]}`$, namely $`(4.64)(4.66)`$, one finds

$`\mathrm{\Lambda }_{op}\overline{\mathrm{\Gamma }}_{n+1}^{[n]}=0,`$ (4.67)
$`{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_{n+1}^{[n]}}{\delta \lambda _a(x)}}=0,{\displaystyle \frac{\delta \overline{\mathrm{\Gamma }}_{n+1}^{[n]}}{\delta \lambda _y(x)}}=0,`$ (4.68)
$`\mathrm{\Sigma }_a(x)\overline{\mathrm{\Gamma }}_{n+1}^{[n]}=0,\mathrm{\Sigma }_y(x)\overline{\mathrm{\Gamma }}_{n+1}^{[n]}=0,`$ (4.69)
Let $`\overline{\mathrm{\Gamma }}_{n+1,div}^{[n]}`$ stand for the pole part of $`\overline{\mathrm{\Gamma }}_{n+1}^{[n]}`$. By repeating the steps going from $`(4.33)`$ to $`(4.41)`$, one can arrive at

$`\overline{\mathrm{\Gamma }}_{n+1,div}^{[n]}=\alpha _1^{(n+1)}T_{(1)}+\alpha _2^{(n+1)}T_{(2)}+\alpha _3^{(n+1)}T_{(3)}+\alpha _4^{(n+1)}T_{(4)}+\alpha _5^{(n+1)}T_{(5)},`$ (4.70)
where $`\alpha _1^{(n+1)},\mathrm{},\alpha _5^{(n+1)}`$ are constants of order $`(\mathrm{})^{n+1}`$. Therefore, in order to cancel the $`n+1`$ loop divergence the counterterm of order $`\mathrm{}^{n+1}`$ should be chosen as

$`\delta I_{count}^{[n+1]}=\overline{\mathrm{\Gamma }}_{n+1,div}^{[n]}[\psi ,\overline{\psi },W,C,\overline{C}].`$ (4.71)
Adding this counterterm, the mass term and the $`\lambda `$ terms to $`\overline{I}_{\mathrm{eff}}^{[n]}`$, one can express the effective action of order $`\mathrm{}^{n+1}`$ as

$`I_{\mathrm{eff}}^{[n+1]}[\psi ,\overline{\psi },W,C,\overline{C},\lambda ,K,L,n,l,p,n^{},l^{},p^{},g,g_1,M]`$
$`=I_{\mathrm{eff}}^{[0]}[\psi ^{[0]},\overline{\psi }^{[0]},W^{[0]},C^{[0]},\overline{C}^{[0]},\lambda ^{[0]},K^{[0]},L^{[0]},n^{[0]},n^{{}_{}{}^{}[0]},\mathrm{},g^{[0]},g_1^{[0]},M^{[0]}],`$ (4.72)
where the bare fields and the bare parameters (to order $`(\mathrm{})^{n+1}`$) are defined as

$`W_{a\mu }^{[0]}=(Z_3^{[n+1]})^{1/2}W_{a\mu }=\left((Z_3^{[n]})^{1/2}\alpha _1^{(n+1)}\right)W_{a\mu },L_a^{[0]}=(Z_3^{[n+1]})^{1/2}L_a,`$ (4.73)
$`W_{y\mu }^{[0]}=(Z_3^{{}_{}{}^{}[n+1]})^{1/2}W_{y\mu }=\left((Z_3^{{}_{}{}^{}[n]})^{1/2}\alpha _2^{(n+1)}\right)W_{y\mu },`$ (4.74)
$`C_a^{[0]}=(\stackrel{~}{Z}_3^{[n+1]})^{1/2}C_a=\left((\stackrel{~}{Z}_3^{[n]})^{1/2}+(\alpha _3^{(n+1)}+\alpha _1^{(n+1)})\right)C_a,`$ (4.75)
$`\overline{C}_a^{[0]}=(\stackrel{~}{Z}_3^{[n+1]})^{1/2}\overline{C}_a,K_\mu ^{a[0]}=(\stackrel{~}{Z}_3^{[n+1]})^{1/2}K_\mu ^a,`$ (4.76)
$`C_y^{[0]}=(\stackrel{~}{Z}_3^{{}_{}{}^{}[n+1]})^{1/2}C_y=\left((\stackrel{~}{Z}_3^{{}_{}{}^{}[n]})^{1/2}+(\alpha _3^{(n+1)}+\alpha _2^{(n+1)})\right)C_y,`$ (4.77)
$`\overline{C}_y^{[0]}=(\stackrel{~}{Z}_3^{{}_{}{}^{}[n+1]})^{1/2}\overline{C}_y,K_\mu ^{y[0]}=(\stackrel{~}{Z}_3^{[n+1]})^{1/2}K_\mu ^y,`$ (4.78)
$`\nu _L^{[0]}=(Z_{\nu L}^{[n+1]})^{1/2}\nu _L=\left((Z_{\nu L}^{[n]})^{1/2}\alpha _4^{(n+1)}\right)\nu _L,\overline{\nu }_L^{[0]}=(Z_{\nu L}^{[n+1]})^{1/2}\overline{\nu }_L,`$ (4.79)
$`e_L^{[0]}=(Z_{eL}^{[n+1]})^{1/2}e_L=(Z_{\nu L}^{[n+1]})^{1/2}e_L,\overline{e}_L^{[0]}=(Z_{eL}^{[n+1]})^{1/2}\overline{e}_L,`$ (4.80)
$`e_R^{[0]}=(Z_{eR}^{[n+1]})^{1/2}e_R=\left((Z_{eR}^{[n]})^{1/2}\alpha _5^{(n+1)}\right)e_R,\overline{e}_R^{[0]}=(Z_{eR}^{[n+1]})^{1/2}\overline{e}_R,`$ (4.81)
$`n^{[0]}=(Z_{(n)}^{[n+1]})^{1/2}n=\left((Z_{(n)}^{[n]})^{1/2}+(\alpha _3^{(n+1)}+\alpha _4^{(n+1)})\right)n,n^{{}_{}{}^{}[0]}=(Z_{(n)}^{[n+1]})^{1/2}n^{},`$ (4.82)
$`l^{[0]}=(Z_{(l)}^{[n+1]})^{1/2}l=(Z_{(n)}^{[n+1]})^{1/2}l,l^{{}_{}{}^{}[0]}=(Z_{(l)}^{[n+1]})^{1/2}l^{},`$ (4.83)
$`p^{[0]}=(Z_{(p)}^{[n+1]})^{1/2}p=\left((Z_{(p)}^{[n]})^{1/2}\alpha _3^{(n+1)}+\alpha _5^{(n+1)}\right)p,p^{{}_{}{}^{}[0]}=(Z_{(p)}^{[n+1]})^{1/2}p^{},`$ (4.84)
$`g^{[0]}=Z_g^{[n+1]}g=(Z_3^{[n+1]})^{1/2}g,g_1^{[0]}=Z_g^{{}_{}{}^{}[n+1]}g_1=(Z_3^{{}_{}{}^{}[n+1]})^{1/2}g_1,`$ (4.85)
$`g^{[0]}=Z_g^{[n+1]}g=(Z_3^{[n+1]})^{1/2}g,g_1^{[0]}=Z_g^{{}_{}{}^{}[n+1]}g_1=(Z_3^{{}_{}{}^{}[n+1]})^{1/2}g_1,`$ (4.86)
$`M^{[0]}=Z_M^{[n+1]}M=(Z_3^{[n+1]})^{1/2}M,`$ (4.87)
and $`\lambda _a^{[0]},\lambda _y^{[0]}`$ are

$`\lambda _a^{[0]}=(Z_3^{[n+1]})^{1/2}\lambda _a,\lambda _y^{[0]}=(Z_3^{{}_{}{}^{}[n+1]})^{1/2}\lambda _y.`$ (4.88)
Therefore, in terms of such bare fields and bare parameters, $`\overline{\mathrm{\Gamma }}^{[n+1]}`$ can be expressed as

$`\overline{\mathrm{\Gamma }}^{[n+1]}`$ $`[W,C,\overline{C},\psi ,\overline{\psi },K,L,n,l,p,n^{},l^{},p^{},g,g_1,M]`$ (4.89)
$`=\overline{\mathrm{\Gamma }}^{[0]}[W^{[0]},C^{[0]},\overline{C}^{[0]},\psi ^{[0]},\overline{\psi }^{[0]},K^{[0]},L^{[0]},n^{[0]},n^{{}_{}{}^{}[0]},\mathrm{},g^{[0]},g_1^{[0]},M^{[0]}].`$
From this one can conclude that $`\overline{\mathrm{\Gamma }}^{[n+1]}`$, under $`(4.23)`$, satisfies $`(4.64)`$$`(4.66)`$ and is finite to order $`\mathrm{}^{n+1}`$. Since the theory can be renormalized to one loop the renormalisability has been proven.

V. Concluding Remarks

By taking into account the original constraint conditions and the additional condition we have carried out the quantization of the SUL(2) $`\times `$ UY(1) electroweak theory with the W Z mass term and construct the ghost action in a way similar to that used for the massive SU(n) theory . We have also shown that when the $`\delta `$ functions appearing in the path integral of the Green functions and representing the constraint conditions are rewritten as Fourier integrals with Lagrange multipliers $`\lambda _a`$ and $`\lambda _y`$, the total effective action consisting of the Lagrange multipliers, ghost fields and the original fields is BRST invariant. Furthermore, by comparing with the massless theory and with the massive SU(n) theory we have found the general form of the divergent part of the generating functional for the regular vertex functions and proven the renormalisability of the theory. It has also been clarified that the renormalisability of the theory with the W Z mass term is ensured by the renormalisability of the massless theory and the massive SU(n) theory.

If the harmlessness of the W Z mass term had been proven at the begining of 1960s, the SUL(2) $`\times `$ UY(1) electroweak theory without the Higgs mechanism would have been deeply studied and tested. Today, the standard model of the electroweak theory has achieved great successes and the whereabouts of the Higgs Bosons is still unknown. It is therefore reasonable to ask if such successes really depends on the Higgs mechanism and to pay attention to the theory without the Higgs mechanism.

ACKNOWLEDGMENTS

We are grateful to Professor Yang Li-ming for helpful discussions. This work was supported by National Natural Science Foundation of China and supported in part by Doctoral Programm Foundation of the Institution of Higher Education of China.

Refernces

 Ze-Sen Yang, Zhining Zhou, Yushu Zhong and Xianhui Li, hep-th/9912046 7 Dec 1999.

 Ze-Sen Yang, Xianhui Li, Zhining Zhou and Yushu Zhong, hep-th/9912034 5 Dec 1999.

 M.Carena and C.Wagner, Phys. Rev. D37, 560(1988).

 R.Delbourgo and G.Thompson, Phys. Rev. Lett. 57, 2610(1986).

 M.Carena and C.Wagner, Phys. Rev. D37, 560(1988).

 R.Delbourgo and G.Thompson, Phys. Rev. LeTT. 57, 2610(1986).

 A.Burnel, Phys. Rev. D33, 2981(1986);D33, 2985(1986);.

 T.Fukuda, M.Monoa, M.Takeda and K.Yokoyama,

Prog. Theor. Phys. 66,1827(1981);67,1206(1982);70,284(1983).

 S.L.Glashow, Nucl. Phys. 22, 579(1961).

 Ze-Sen Yang, Xianhui Li, Zhining Zhou and Yushu Zhong, Manusript, Mar (2000).

 L.D. Faddeev and V.N. Popov, Phys. Lett. B25, 29(1967).

 B.S. De Witt, Phys. Rev. 162,1195,1239(1967).

 L.D. Faddev and A.A.Slavnov, Gauge Field: Introduction to Quatum Theory,

The Benjamin Cummings Publishing Company, 1980.

 G.H.Lee and J.H.Yee, Phys. Rev. D46, 865(1992).

 C.Itzykson and F-B.Zuber, Quantum Field Theory, McGraw-Hill, New York, 1980.

 Yang Ze-sen, Advanced Quantum Machanics, Peking University Press, 2-ed. Beijing, 1995.