more tests for algebraic structures (monoids and groups)