Hay software para ayudar con la presentación del grupo

Question

Escribí un programa de ordenador que genera presentaciones de grupo.

Me gustaría saber los tamaños de los grupos resultantes. Yo sé que esto es indecidible.

Hay buena heurística de los programas que se pueden probar para calcular el tamaño de un grupo dado por generadores y relaciones?

No, no estoy interesado en apporximating el tamaño. Sólo en la determinación del tamaño exacto, cuando el software se puede hacer, esperemos que a menudo en mis casos.

Answer 1

Puede utilizar vacío así. En cuanto a lo que te dio O.L les dejo un ejemplo en consecuencia:

 gap> f:=FreeGroup("a","b");;
 gap> a:=f.1;;    b:=f.2;;
 gap> g:=f/[a^2,b^3,(a*b)^4];
 gap> Elements(g);;
 gap> Size(g)

Si está familiarizado con este software, entonces lo que desea utilizar en el sueño incluso!!!! Es ciertamente un maravilloso y por supuesto una herramienta de gran alcance.

Answer 2

Se puede utilizar Calculadora en línea de Magma. Por ejemplo, el siguiente código:

 F<a, b> := FreeGroup(2);  

 G<x, y>, phi := quo< F | a^2, b^3, (a*b)^4 >;  

 #G