More detailed description is here: https://en.m.wikipedia.org/wiki/Rubik%27s_Cube_group

Group is a monoid in which every element has an inverse.