Las rotaciones alrededor del origen forma un grupo que simbolizaremos aquí por formula_172, se verifica que tales rotaciones son lineales con matriz dada por