Resumen de Métodos algebraicos y efectivos en grupos cuánticos
La memoria consta de cinco capítulos, El primero de ellos contiene algunos preliminares sobre Np, órdenes admisibles sobre este semigrupo y cuestiones sobre primalidad y localización clasica en dominios.
El segundo capítulo contiene la definición de Algebra de tipo PBW y el desarrollo de las herramientas básicas a utilizar sobre ella. Estas herramientas se basan en el concepto de bases de Grobner. En el tercer capítulo se extienden estas herramientas a módulo finitamente generado incluyendo el cálculo de módulo de sicigias y cálculos homológicos. El capítulo cuarto se centra en proporcionar dos algoritmos sobre primalidad: el primero es un test para decidir si un ideal dado es completamente primo, y el segundo es un algoritmo para calcular los primos minimales sobre un ideal dado. Por último el capítulo quinto esta dedicado a calcular la dimensión de Gelfand-Kirillov de módulos finitamente generados sobre algebras de tipo PBW casi graduadas.
