Non-Abelianizable First Class Constraints

We study the necessary and sufficient conditions on Abelianizable first class constraints. The necessary condition is derived from topological considerations on the structure of the gauge group. The sufficient condition is obtained by applying the implicit function theorem in calculus and studying the local structure of gauge orbits. Since the sufficient condition is necessary for the existence of proper gauge fixing conditions, we conclude that in the case of a finite set of non-Abelianizable first class constraints, the Faddeev-Popov determinant is vanishing for any choice of subsidiary constraints. This result is explicitly examined for the SO(3) gauge invariant model.