Este trabalho aborda as teorias de gauge nos formalismos de primeira ordem, em particular a teoria de Yang-Mills. É mostrado que os formalismos de primeira e segunda ordem da teoria de Yang-Mills são equivalentes ao nível clássico. Ambos os formalismos são quantizados e as regras de Feynman correspondentes são obtidas. Para verificar a equivalência ao nível quântico são calculados os diagramas de Feynman de 1-loop à temperatura zero e à temperatura finita, onde é usado o formalismo do tempo imaginário para estudar o comportamento à altas temperaturas. Neste regime é verificado a equivalência das auto-energias dos bósons de gauge, assim como o fato dos demais diagramas possuírem uma dependência subdominante na temperatura equivalente ao o mesmo tipo de divergência logarítmica dos diagramas à temperatura zero.

This work deals with gauge theories in the first-order formalism, in particular, the Yang-Mills theory. It is shown that the first and second-order formalisms of the Yang-Mills theory are equivalent at the classic level. Both formalisms are quantized and the corresponding Feynman rules are obtained. To verify equivalence at the quantum level, one-loop Feynman diagrams are computed at both zero and finite temperature, where imaginary time formalism is used to study the high-temperature behaviour. In this regime, we verify the equivalence of the gauge bosons self-energies, as well as the fact that the other diagrams have a subdominant temperature dependence, which has the same type of logarithmic temperature dependence as the divergent part at zero temperature.