By using the Fresummation of the hard thermal loops in the tadpole diagrams,the effective potential of order(, g3,g′3)is consistently calculated in the standard model with neutral current at high temperature and the difficulties in the naive calculation are overcome.It is proved that the electroweak transition is of the firstorder...
