What equation did Galois create that created an abstract definition