You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
My question is related to Burnside groups B(n, 3) in the GAP system. I'm interested in ways to represent Burnside groups B(n, 3) in GAP. The obvious representation using relations (see example for B(3,3) below) is quite complex, because obtaining relations for large n is not an easy task.
f := FreeGroup(3);;
a := f.1;;
b := f.2;;
c := f.3;;
rels := [a^3, b^3, c^3, (a*b)^3, (a*c)^3, (b*c)^3, (a^2*b)^3, (a^2*c)^3, (b^2*c)^3, (a*b*c)^3, (a^2*b*c)^3, (a*b^2*c)^3, (b^2*a^2*c)^3];;
g := f / rels;;
Is there a convenient way in GAP (maybe using some external package) to represent relatively free groups, in particular Burnside groups, in particular B(n, 3)
?
Is there a convenient way in GAP (maybe using some external package) to represent verbal subgroups (this can be used to simplify the method with relations mentioned above)?
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
My question is related to Burnside groups B(n, 3) in the GAP system. I'm interested in ways to represent Burnside groups B(n, 3) in GAP. The obvious representation using relations (see example for B(3,3) below) is quite complex, because obtaining relations for large n is not an easy task.
?
Thanks in advance.
Beta Was this translation helpful? Give feedback.
All reactions