I learned today,while while doing my homework, that Mathematica can understand group theory. Combing through the documentation though just gave the examples of permutation groups. I would like to know how to define an arbitrary group, some set and a binary operation on that set. Ideally, this would allow the use of the other built-in functions such as those for finding the order of a group or element, etc.