Answer 1. For every finite group , every element has its own inverse, so yes, that equality is true. I think this should also hold for infinite groups.

Answer 2. The in signifies the number of elements that we are permuting, so has elements, so all these notations are incorrect. In fact, .