George M. Bergman Mathematics mathematics, associative rings, universal algebra, category theory, counterexamples