Spontaneously Broken Gauge Symmetries. III. Equivalence

We discuss the equivalence of the S matrix in the R- and U-gauge formulations of spontaneously broken gauge theories. We give definitions of the U-gauge Green's functions in terms of the R-gauge ones, for both Abelian and non-Abelian cases. Based on the equivalence theorem, we give a renormalization prescription of the U-gauge formulation.