Cociente del grupo de matriz de falla en vacío

Question

Se trata de una pregunta sobre cocientes de grupos de la matriz en Boquete... El grupo de la matriz generado por

contiene múltiplos de la matriz identidad, por ejemplo

Claramente, el subgrupo

es normal, por lo que

debería darme el grupo cociente. Alguien me puede decir ¿por qué recibo el siguiente mensaje de error?

Answer 1

Para la matriz de grupos en el carácter $0$, la BRECHA de no saber automáticamente si son finitos. Por lo tanto, no sabe que (fallback), los métodos, la traducción a la permutación de las representaciones, se hacen disponibles.

Una vez que usted la fuerza para determinar la finitud:

IsFinite(G);

esto se aplica y

gap> FactorGroup(G,H);
Group([ f1, f1*f2^2*f4 ])

debería funcionar bien.

(Pregunta filosófica: ¿por Qué no la BRECHA de hacerlo automáticamente? La finitud de las pruebas puede funcionar muy largo, hacer el programa de aparentemente estar estancados, o el uso del procesador/memoria de recursos más allá de cualquier plausible límite. Se consideró que la orden no se debe ejecutar sneakily en el fondo como parte de otro cálculo, pero debe haber sido expresamente solicitado por el usuario).