Does anyone know if Aut(F), the set of automorphisms of a field F, form a field under point-wise addition and multiplication of functions? If not, does it form a ring?
Why stop at binary operations, or associative ones? You might want to look into universal algebra. Or maybe model theory.Why did mathematicians not develop more abstract theory for two, three, or n associative binary operations on a set?