2
$\begingroup$

I have a group described by group relations. For simplicity group has a presentation $<a | a^n = e>$. How can I create this group in Mathematica?

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

Would something like

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

work?

$\endgroup$
  • $\begingroup$ Thanks, but l'm looking for solution that uses group relations $\endgroup$ – Sergey Kopylov Dec 21 '18 at 21:09
  • $\begingroup$ FormGroupoid is not a builtin. If you are using a package, please mention it. $\endgroup$ – Szabolcs Dec 22 '18 at 13:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.