one of the main goals of invariant theory was to solve the ""finite basis problem"". the sum or product of any two invariants is invariant, and the finite basis problem asked whether it was possible to get all the invariants by starting with a finite list of invariants, called "generators", and then, adding or multiplying the generators together. for example, the discriminant gives a finite basis (with one element) for the invariants of binary quadratic forms.