Después de aprender acerca de la Forma Canónica de Jordan, comencé a pensar acerca de si se tienen dos matrices $A, B \in M_n(\mathbb{R}),$ si o no su producto $AB$ también tendrá una Forma Canónica de Jordan. Trivialmente, si consideramos los polinomios en $ M_n(\mathbb{C})$ entonces nuestra polinomio siempre tienen sus raíces en el campo. Así, a partir de lo que yo entiendo, esto es equivalente a preguntar si o no el polinomio característico de a$AB$ le tiene raíces reales.
Me puse a jugar con el $2 \times 2$ caso y si tenemos que $AB$ tiene un negativo determinante, entonces no podemos tener de que los autovalores de a$AB$ están en $\mathbb{C},$ ya que hay que multiplicar el factor determinante, pero desde el complejo de autovalores siempre vienen en un par conjugado, lo que significa que su producto es siempre positivo. No estoy seguro de cómo me puede romper el caso si el determinante es positivo.
Finalmente, mi propia intuición dice que las matrices que han Jordan en la forma va a ser cerrado bajo la multiplicación. Esto es porque si pensamos acerca de lo que las matrices con estricta, real autovalores hacer, simplemente reflexionar y estirar el espacio. Así que no creo que es posible encontrar dos matrices cuya matriz del producto será una rotación en el plano.
Además, yo no pude encontrar esta pregunta en otros lugares, pero si se tiene una respuesta, yo estaría encantado de leerlo.