[La respuesta ya se ha publicado en el Foro del GAP aquí, así que estoy reproduciendo aquí como un Wiki de la Comunidad de respuesta a quitar esta pregunta sin respuesta de la cola]
Queridos Bernhard y la BRECHA del Foro,
Estoy un poco confundido acerca de "... admisible ideales I de
kQ con la propiedad I^u=0 para algunos fijos número natural u".
Se que la restricción para tiembla sin orientada a los ciclos? O son ustedes
el pensamiento de cocientes de A=kQ/I, donde I es la admisión de un ideal tal
que el radical de Un, rad A, satisface (rad A)^u = 0? Supongo que
usted está considerando el último caso.
Deje que sea el ideal generado por las flechas en el camino de álgebra kQ.
Considerar el anillo R = kQ/J^u. Este es un finito dimensionales de álgebra.
Usted está pidiendo a todos bilaterales ideales de R, que está contenida en
J^2/J^u, o lo que es equivalente, a todos los sub-bimodules de J^2/J^u, es decir, todos los
submódulos de J^2/J^u, así como un módulo más de la envolvente de álgebra I^e de R
(es decir, R\otimes_k R^\op, que puede ser construido en QPA). Así
en realidad te está preguntando: dado un módulo M sobre un finito dimensionales
el cociente (en su caso R^e) de una ruta de álgebra, encontrar todos los submódulos
de M.
Esto, creo, puede muy pronto se convertirá en una CPU y un intensivo de memoria
la empresa, dada la "correcta" ejemplos. Sin embargo, en esta situación
uno sabe que el simple módulos, por lo que uno podría construir inductivamente todos
submódulos desde la construcción de todas las máximas submódulos de M
o todo es sencillo submódulos de M, donde la situación que se crea
"problemas" sería cuando la parte superior o en el zócalo de M no es un básico
el módulo. Sin embargo, debería ser posible escribir un algoritmo
dentro de QPA, pero yo no conozco a nadie lo había hecho aún.
Así que, a mi conocimiento, no hay manera de encontrar todos esos ideales.
Espero que estos comentarios son de gran ayuda.
Los mejores deseos, Oeyvind Solberg.
