Соответствие между самосовмещениями квадрата и перестановками на множестве вершин квадрата при принятой на рис. 25 нумерации вершин квадрата имеет вид

Таким образом, группа симметрий квадрата является собственной подгруппой симметрической группы
Она обозначается символом 