# How to create a group via group relations?

I have a group described by group relations. For simplicity group has a presentation $$$$. How can I create this group in Mathematica?

• Would CyclicGroup[n] do? – Andrew Dec 21 '18 at 19:52
• @Andrew no, I am looking for general solution for arbitrary group – Sergey Kopylov Dec 21 '18 at 20:48
• You can't. Use GAP instead. – Somos Dec 22 '18 at 5:16
• Is the group finite or not? How would you represent an infinite group in Mathematica? – Somos Dec 22 '18 at 22:40
• @Somos yes, I suppose that group is finite – Sergey Kopylov Dec 23 '18 at 16:30

G := FormGroupoid[Range[0, 7], Mod[#1 + #2, 8] &]

• FormGroupoid is not a builtin. If you are using a package, please mention it. – Szabolcs Dec 22 '18 at 13:38