Canonical formalism of gauge theories with reducible constraints

A procedure for the canonical quantization of gauge theories with reducible constraints (that is, linearly dependent) is proposed. The procedure consists of extending the initial phase space and filling out the initial system of constraints to an aggregate of linearly indepndent constraints. The equivalence is shown between the proposed quantization scheme and canonical quantization when only the linearly independent constraints are chosen from the initial system of constraints.Translated from Izvestiya Vysshikh.Uchebnykh Zavedenii, Fizika, No. 7, pp. 64–68, July, 1985.