one can ask for all polynomials in a, b, and c that are unchanged by the action of "sl"; these are called the invariants of binary quadratic forms and turn out to be the polynomials in the discriminant.