En una próxima sección, probaremos que es un grupo matricial, aunque tal hecho no es aparente de la definición.