[R_ {\ theta}\ a R_ {-\ theta}]\ text {.}\) El grupo euclidiano de transformaciones de congruencia del plano es (isomórfico a) el grupoR2⋊O(2), donde(R2,+) es...[R_ {\ theta}\ a R_ {-\ theta}]\ text {.}\) El grupo euclidiano de transformaciones de congruencia del plano es (isomórfico a) el grupoR2⋊O(2), donde(R2,+) está el grupo aditivo de vectores de2×1 columna con entradas reales, yO(2) es el grupo de matrices ortogonales2×2 reales.
