Invariant theory is a branch of abstract algebra that studies actions of groups on algebraic varieties from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not change, or are "invariant", under the transformations from a given linear group.