Симметрическая группа алгебра

Определение. Пусть $M$---непустое множество. Группа всех биективных отображений, действующих из $M$ в $M$, называется симметрической группой множества $M$.