Пусть у нас есть множество перестановок из Sn, при которых образы всех элементов данного множества S:{1,2,....n} принадлежат этому множеству . Нужно доказать,что это группа(операция-произведение перестановок). Как найти обратный элемент и доказать,что этот обратный элемент тоже будет такой же перестановкой?
я записала общий вид перестановки такой, обратный будет-просто поменять местами строки. А как аккуратно доказать,что он входит в это множество?

я записала общий вид перестановки такой, обратный будет-просто поменять местами строки. А как аккуратно доказать,что он входит в это множество?

Ну обратный элемент должен же удовлетворять тоже условию? То есть сохранять образы...
ну ассоциативность выполняется,так как для всех перестановок она есть. Разве не так? - А доказательство "ассоциативность есть потому, что её не может не быть" не годится...