Derivation of the bosonic part of the electroweak chiral Lagrangian from a general underlying technicolor theory

Bosonic part of SU(2)(L) circle times U(1)(Y) effective chiral Lagrangian for electroweak symmetry breaking is derived from an underlying technicolor theory with no approximation. The underlying theory is assumed to be the most general gauge theory without fundamental scalars. A condensate is required to exist in the theory which breaks SU(2)(L) circle times U(1)(Y) dynamically to U(1) and the anomaly of the theory caused by gauge interaction must be cancelled. The formulation offers general definitions in terms of underlying theory for the low energy constants in effective chiral Lagrangian.