Considere las matrices cuadradas sobre un campo $K$. No creo que los supuestos adicionales de aproximadamente $K$ como algebraicamente cerrado o característica $0$ pertinentes, pero siéntase libre de hacer ellos para mayor comodidad. Para cualquier matriz $A$ la $K[A]$ de polinomios en $Un$ es conmutativa subalgebra de $M_n(K)$; la pregunta es si para cualquier par de matrices que conmutan $X,$ Y, al menos, uno de esos conmutativa subalgebra se puede encontrar que contiene tanto $X$ y $Y$.
Me estaba haciendo esto en relación con el recurrente solicita completamente caracterizar los desplazamientos pares de matrices, como este. Mientras que proporciona una útil caracterización parece imposible, un resultado positivo de anwer a la pregunta sería, al menos, algunos de respuesta.
Tenga en cuenta que en muchas más probabilidades de situaciones uno puede tomar $A$ a ser una de las matrices de $X,$ Y, por ejemplo, cuando una de las matrices tiene distintos valores propios, o, más generalmente, si su mínima polinomio tiene grado $n$ (así coincide con el polinomio característico). Sin embargo esto no es siempre posible, como puede verse fácilmente, por ejemplo, la diagonal de las matrices $X=\operatorname{diag}(0,0,1)$ y $Y=\operatorname{diag}(0,1,1)$. En caso de que ambos polinomios en $A=\operatorname{diag}(x,y,z)$ para cualquier distintos valores de $x,y,z$ ($K[A]$ compone de todas las diagonales de las matrices); aunque en el ejemplo en esta respuesta las matrices no son tanto diagonalisable, un $A$ se puede encontrar allí.
Pensé por algún tiempo que cualquier máxima conmutativa subalgebra de $M_n(K)$ es de la forma $K[A]$ (que implicaría una respuesta positiva) para algunos $$ con un mínimo de polinomio de grado$~$ n, y que una respuesta positiva a mi pregunta, de hecho fue instrumental en probar este. Sin embargo, yo estaba equivocado en ambas cosas: no existen (por $n\geq 4$) conmutativa subalgebras de dimensión${}>n$ (mientras que $\dim_KK[A]\leq n$ para todo $A\in M_n(K)$) como se muestra en este MathOverflow respuesta, y me vi obligado a corregir un anwer me dio aquí en la luz de esta; sin embargo parece ser (al menos en los casos que he mirado) que muchos (todos?) pares de matrices de $X,$ Y en una subalgebra todavía admitir una matriz $A$ (que en general es no en la subalgebra) tales que $X,Y\in K[A]$. Esto indica que una respuesta positiva a mi pregunta no estaría en contradicción con la existencia de grandes conmutativa subalgebras: se acaba de decir que para obtener una máxima dimensiones subalgebra con $X,$ Y uno debe, en general, evitar tirar en un $A$ con $X,Y\in K[A]$. Yo creo que estos grandes subalgebras demostrar fácilmente que mi pregunta, pero para tres desplazamientos de matrices tiene una respuesta negativa.
Por último quiero señalar que esta otra respuesta a la citada MO pregunta menciona un resultado por Gerstenhaber que la dimensión de la subalgebra generado dos matrices que conmutan en $M_n(K)$ no puede exceder los$~$ n. Lamentablemente, esto no resuelve mi pregunta (si $X,Y$ generaría una subalgebra de dimensión${}>$ n, se hubiera demostrado una respuesta negativa); sólo podría ser que el mencionado resultado es la verdadera causa de la existencia de $Un$ (no tengo acceso a una prueba ahora mismo, pero dada la formulación parece improbable que fue hecho de esta manera).
OK, he tratado de construir el suspenso. La honestidad exige que digo que yo sé la respuesta a mi pregunta, ya que un colega de la mina siempre convincente. Yo sin embargo no dar esta respuesta de inmediato, pero después de una vez ha habido algo de tiempo para recolectar las respuestas aquí; ¿quién sabe alguien va a probar una respuesta diferente de la que tengo yo (dios no lo quiera), o al menos dar la misma respuesta con una justificación diferente.