Por ejemplo, el discriminante ofrece una base finita (con un elemento) para los invariantes de las formas binarias cuadráticas.