Existence theorem for gauge algebra

A general gauge action is defined by postulating a minimum of its properties necessary for the existence of loop expansion in the quantum theory. The structure of the general gauge algebra is derived from these postulates. The proof of existence of the structure functions, lacking in previous works, is given. The question of uniqueness is also completely cleared up. Some unsolved problems are discussed in connection with the covariant-quantization conjecture.