A group is a system that contains a set and a binary operation satisfying four axioms, i.e., the set is closed under binary operation, associative, has an identity element, and each element has an inverse. Since the group ...