How to add the condition such that the elements of the group $G$ are in normal form on GAP

62 Views Asked by At

Let $G:=F/[x^{a}*y^{-b}*z^{-c}, y^{q}*x^{-p}*z^{-r},z^{k}*x^{-v}*y^{-w}]$ be abelian group by given relations $m:=[[a,b,c],[p,q,r],[v,w,k]]$ and given restrictions of elements of $m$. How to add the condition such that the elements of the group $G$ are in normal form in the following code?

F:=FreeAbelianGroup(3); 
x:=F.1;; y:=F.2;; z:=F.3;; 
n:= 145;; a:=1;; b:=8;; c:=4;; p;; q:=6;; 
for r in [2..10] do 
  for v in [11..16]do 
    for w in [2..10]do 
      for k in [2..20]do 
        total:=[];; 
        G:=F/[x^a*y^-b*z^-c, y^xq*x^-p*z^-r,z^k*x^-v*y^-w]; 
        m:=[[a,b,c],[p,q,r],[v,w,k]];
        if IsCyclic(G) and Determinant(m) mod n=0 then 
          Print(m," size ", Size(G),"\n"); 
          Add(total,Mt); 
        fi; 
      od;
    od;
  od;
od; 

I tried with

List(L,p->PolynomialReducedRemainder(p,gb,MonomialGrlexOrdering()));

when there is given the presentation of $G$. But in this case the relations are given by $a,b,c$ ... and do not know how to be considered that elements of $G$ must be in normal ordering.

Thanks in advance