the discriminant is called "invariant" because it is not changed by linear substitutions x → "a" x + "b" y, "y" → "c" x + "d" y with determinant "a" "d" − "b" "c" = 1 . these substitutions form the special linear group "sl".