A gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, do not change under local transformations according to certain smooth families of operations (Lie groups).
An overview of frequently seen groups can be found in Group relations.