Тождественная группа - определение

Тождественная группа - это группа, состоящая из единственного элемента, который является единицей этой группы.

Если речь идёт о симметрической группе, то единицей там является тождественное преобразование.