Recientemente (Barile, 2006) se reportó un método combinatorio para identificar ciertos generadores de los ideales de Ferrers. Se observa que su procedimiento se puede implementar en un computador con un sistema algebraico computacional. En este reporte se presenta la implementación en CoCoA de un programa que permite calcular generadores para este tipo de ideales, implicando el cómputo inmediato del rango aritmético del ideal. También se presenta una extensión de estos resultados para ideales asociados a la diferencia de tablas de Ferrers.
INTRODUCCIÓN
Sea R = K [x1,...,xn] el anillo de polinomios sobre un campo K de característica 0. Por el teorema de la base de Hilbert sabemos que cualquier ideal I de R es finitamente generado, es decir, existen ƒ1,..., ƒj ∈ R, tal que, I = 〈ƒ1,...,ƒj〉.
Por otra parte, las tablas de Ferrers son elementos combinatorios de gran importancia en la teoría combinatoria de representaciones de grupos de simetría, geometría combinatoria, variedades de Schubert, etc. Usualmente se identifican las tablas de Ferrers por la forma de la partición que las determina.
Una partición es una sucesión no creciente de enteros positivos λ1 ≥ λ2 ≥ ... ≥ λj > 0, la cual se grafica por medio de un arreglo de cajas alineadas a la izquierda en donde la fila tiene λL cajas. De esta forma, la partición G = (4,2,2,1) se identifica con la tabla que se muestra en la figura 1.
Una caja de la tabla se identifica por la fila y columna en la cual se encuentra. La caja sombreaba en la figura 1 es la (3,2).
El ideal de Ferrers I(G) asociado a una tabla G es generado por los monomios xpyq tal que (p,q) ∈ G, (Barile, 2006).
Ejemplo 1. Sea G = (4,2,2,1). Entonces
I(G) = 〈x1y1,x1y2,x1y3,x1y4,x2y1,x2y2,x3y1,x3y2,x4y1〉
Con la ayuda de algún sistema algebraico computacional como CoCoA, Macaulay o Singular, podemos hacer algunos cálculos para ver algunas propiedades de estos ideales.
Por ejemplo, con CoCoA verificamos que el ideal del ejemplo anterior es radical:
Use Q[x[1..10],y[1..10]];— anillo de polinomios en las variables x[1],..., x[10] y[1],..., y[10]
IG:=Ideal(x[1]y[1],x[1]y[2],x[1]y[3],x[1] y[4],x[2]y[1],x[2]y[2]
,x[3]y[1],x[3]y[2],x[4]y[1]);—definición del ideal de Ferrer asociado a (4,2,2,1)
R:=Radical (IG);—computo del radical de I(G)
R=IG;—verificación I(G) es ideal radical
TRUE
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Guía:
Parejas de fracciones
Artículo:
Control óptimo de la velocidad de un vehículo eléctrico de batería propulsado por motores síncronos de imanes permanentes
Artículo:
Control de velocidad predictivo generalizado eficaz y robusto del motor de inducción
Artículo:
Modelado analítico y simulación de un filtro de potencia híbrido de cuatro conmutadores con simetría de conmutación séxtuple
Artículo:
Análisis espectral evolutivo de un potente tifón en el puente de Sutong basado en el HHT
Libro:
Metodología del marco lógico para la planificación, el seguimiento y la evaluación de proyectos y programas
Presentación:
Estudio de movimientos y tiempos
Artículo:
Estudio sobre la evaluación de la sostenibilidad de los productos innovadores
Tesis:
Materiales y prácticas de construcción sostenible