Biblioteca122.739 documentos en línea

Artículo

Generadores para ideales asociados a diferencia de tablas de Ferrers y cómputo de los generadores para ideales de FerrersGenerators for ideals associated with different Ferrer tables and computation of generators for Ferrer ideals

Resumen

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

  • Tipo de documento:Artículo
  • Formato:pdf
  • Idioma:Español
  • Tamaño:176 Kb

Cómo citar el documento

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.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento