Using Mathematica to Explore Abstract Algebra