Obviamente, temos \(T(a)T(-a)=T(-a)T(a)=\mathbf{1}_4\). As propriedades de grupo, da existência da identidade e do elemento inverso são as características de uma estrutura matemática denominada grupo.