# 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? Dec 21, 2018 at 19:52
• @Andrew no, I am looking for general solution for arbitrary group Dec 21, 2018 at 20:48
• You can't. Use GAP instead. Dec 22, 2018 at 5:16
• Is the group finite or not? How would you represent an infinite group in Mathematica? Dec 22, 2018 at 22:40
• @Somos yes, I suppose that group is finite Dec 23, 2018 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. Dec 22, 2018 at 13:38