It turns out that by requiring the Lagrangian of a quantum field theory be invariant under local gauge transformations (ie, of the field) of some (particular finite-dim representation of a) symmetry/Lie group, the form of the Lagrangian, and hence the quantum field theory, is almost uniquely determined. Up to a slew of constants, of course. (It's also assumed the field theory is renormalizable.)
