Computer-Aided Investigation of Abstract Algebras (Or, The Computer Solved My Thesis Problem...)
Abstract Algebra is the study of axiomatically defined structures arising from concrete objects, with the aim of establishing properties of those objects. Universal Algebra, loosely construed, is the study of axiom systems for their own sake (e.g. the theory of groups). With the help of automated reasoning tools like Prover9/Mace 4 and the Universal Algebra calculator, we may rapidly generate structures which satisfy a system of axioms, or make (and test) conjectures about the axioms. The talk will be particularly accessible to students currently enrolled in Math 200 and beyond, and possible topics for future undergraduate research will be discussed.