Ask Your Question

Revision history [back]

Can I test that a Cayley table represents a group?

Or can I test that the operation satisfies the axioms one at a time?