En matemáticas, el monoide pláctico es el monoide de todas las palabras del alfabeto de números enteros positivos módulo equivalencia de Knuth . Sus elementos pueden identificarse con tablas de Young semiestándar . Fue descubierto por Donald Knuth (1970) (quien lo llamó álgebra de tablas ), utilizando una operación dada por Craige Schensted (1961) en su estudio de la subsecuencia creciente más larga de una permutación.
Lascoux y Schützenberger (1981) la denominaron " monoïde plaxique ", y admitieron en su definición cualquier alfabeto totalmente ordenado. La etimología de la palabra " plaxique " no está clara; puede referirse a la tectónica de placas ("tectonique des plaques" en francés), ya que las relaciones elementales que generan la equivalencia permiten la conmutación condicional de los símbolos generadores: a veces pueden deslizarse unos sobre otros (en aparente analogía con las placas tectónicas), pero no libremente.
El monoide plástico sobre algún alfabeto totalmente ordenado (a menudo los números enteros positivos) es el monoide con la siguiente presentación :
Dos palabras se denominan equivalentes de Knuth si representan el mismo elemento del monoide plásmico, o en otras palabras, si una puede obtenerse de la otra mediante una secuencia de transformaciones elementales de Knuth.
La equivalencia de Knuth conserva varias propiedades.
Cada palabra es equivalente de Knuth a la palabra de un cuadro de Young semiestándar único (esto significa que cada fila no es decreciente y cada columna es estrictamente creciente) sobre el mismo alfabeto ordenado, donde el cuadro puede leerse por filas o por columnas. De modo que los elementos del monoide pláctico pueden identificarse con los cuadros de Young semiestándar, que por lo tanto también forman un monoide.
Multiplicar la palabra de una tabla de Young semiestándar hacia la izquierda por un generador es equivalente a la inserción de Schensted en la tabla de Young. En orden de filas, la palabra de la tabla es equivalente a un producto de secuencias de generadores no decrecientes cada vez más largas. El nuevo generador puede insertarse en su lugar apropiado ya sea agregándolo si es más grande o, en caso contrario, aplicando repetidamente las relaciones plácticas para mover el elemento fuera de secuencia a la siguiente fila. En el último caso, el elemento fuera de orden reemplaza la entrada más a la izquierda que es más grande que él en cada fila y, luego, el elemento desplazado se inserta en la siguiente fila.
Dado que la inserción de Schensted preserva las tablas de Young, esto proporciona una prueba inductiva de que los elementos del monoide pláctico pueden escribirse en una forma estándar correspondiente a una tabla de Young, y la construcción define un producto natural de tablas semiestándar.
Dos cuadros de Young sesgados son equivalentes en Jeu de taquin si y solo si sus lecturas de palabras son equivalentes en Knuth, es decir, corresponden a elementos equivalentes del grupo pláctico. Esto da una definición alternativa del producto del grupo pláctico directamente en términos de cuadros de Young. Se pueden multiplicar dos cuadros dibujándolos alrededor de un rectángulo vacío para formar un cuadro sesgado y utilizando diapositivas de Jeu de taquin para rectificarlo.
El anillo de tabla es el anillo monoide del monoide pláctico, por lo que tiene una base Z que consiste en elementos del monoide pláctico, con el mismo producto que en el monoide pláctico.
Existe un homomorfismo del anillo pláctico de un alfabeto al anillo de polinomios (con variables indexadas por el alfabeto) tomando cualquier tabla como producto de las variables de sus entradas, correspondiente a la abelianización del semigrupo pláctico.
La función generadora del monoide plástico sobre un alfabeto de tamaño n es
mostrando que hay crecimiento polinomial de dimensión .
{{citation}}: Falta o está vacío |title=( ayuda )