Base de datos de finito presentaciones de grupos usados

Question

¿Sabes de algún tipo de base de datos de las presentaciones de los grupos?

Puede ser en línea o fuera de línea en forma de tablas, idealmente caso sería integrado en algún Sistema de Álgebra computacional. Estoy interesado el la mayoría en infinidad de presentaciones de grupo, pero siéntase libre de poner aquí también información acerca de las tablas de presentaciones de grupos finitos.

Tal vez este hilo debe ser de tipo wiki, porque probablemente hay muchas buenas respuestas a esta pregunta, y es difícil de comparar por ejemplo, el software del sistema con algún tipo de libro o publicación sobre este asunto? Puedo añadir biglist etiqueta en una esperanza que parece;-)

Answer 1

GAP tiene las siguientes: http://www.gap-system.org/Gap3/Manual3/C023S010.htm

(Pero tenga en cuenta GAP4 existe ahora, creo.)

(Los siguientes fueron los comentarios, pero debe ser parte de la "respuesta".)

(i) No está en la BRECHA de sitio, las siguientes: ftp.gap-system.org/pub/gap/...

(ii) No era un libro precioso que aparece un montón de este tipo de material de presentaciones, Tablas de Grupo de A. D. Thomas, G. V. Madera. No puede responder a su pregunta, pero si usted puede conseguir sus manos en una copia es una perspectiva interesante. Fue publicado en el Shiva Matemáticas de la serie.

Answer 2

Relacionado a tu pregunta, tal vez... no el Atlas de finito grupo de representaciones. Aunque el atlas de sí mismo podría no ser lo que usted está después de, la página de arriba contiene enlaces que podrían ser más relevantes.

Answer 3

En mi tesis doctoral he desarrollado un algoritmo para la búsqueda de los límites en $H_2$ de un finitely presentó con el grupo de campo finito de coeficientes. Yo estaba motivado por una conjetura Quillen en la (co)homología de grupos lineares. Como tal, he incluido un apéndice con las presentaciones de varios lineal y en los grupos de homología de cálculos usando mi algoritmos. Yo no incluir la lista de presentaciones para su publicación, pero si estos tipos de grupos de interés que me podía llegar a usted.