Puede preguntarse por todos los polinomios en "A", "B", and "C" que no cambien por la acción de "SL"; a estos se les llama invariantes de las formas cuadráticas, y resultan ser los polinomios del discriminante.