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