thanks man, just a quick one about the result how is this the case? if you wouldnt mind explaining that further it would be much appreciated!
No problem! By definition clearly then since each element is the multiplication of elements in we have that . But, if then and so and so . Therefore, (this is a result usually proven along with Cayley's theorem, that the map is a permutation)