La respuesta 1 anterior . Lea la explicación siguiente y pruebe otra vez.
Cap.3/Ejerc.1/Preg.3:
Definición
Un subgrupo S de un grupo (G, *) es un subconjunto S no vacío de G que, respecto a la misma
operación de G es también grupo. Es decir, (S, *) es grupo.
.
Caracterización
Un subgrupo S de un grupo (G, *) es un subconjunto S no vacío de G tal que para cada par
de elementos a y b de S, se cumple: a * b' es elemento de S (b' es el elemento simétrico de b).
.
Así que, en esta ocasión, se tiene: si P1 y P2 son de O(3),
(P1 . P2-1)T =
(P1 . P2T)T =P2 . P1T =
P2 . P1-1 = (P1 . P2-1)-1