La suma o producto de dos invariantes cualesquiera es un invariante, y el problema de la base finita planteaba si era posible obtener todos los invariantes comenzando por una lista finita de invariantes, llamados "generadores", y después añadir o multiplicar los generadores entre sí.