I'm interested in software that has the ability to investigate finite groups. In particular, I'd like to be able to ask it questions like "What are the solutions to $x^3 = 1$?" (i.e. find cube roots of unity) for a permutation group.

I've had a look at Maxima but don't see a way to ask it do that.


2 Answers 2


The canonical anwer is GAP.

(You can use it from inside Sage)

  • $\begingroup$ Thanks for your answer! Do you happen to know if GAP will solve roots of unity for finite groups? $\endgroup$
    – occulus
    Aug 29, 2014 at 19:20
  • $\begingroup$ You can say, for example, Filtered(SymmetricGroup(6), x -> x*x*x = ()); to get the list of elements of order three. I'm sure there are smarter ways :-) $\endgroup$ Aug 29, 2014 at 19:29
  • $\begingroup$ OOh, sold! Thanks so much! $\endgroup$
    – occulus
    Aug 29, 2014 at 19:32
  • 2
    $\begingroup$ In larger groups, you could start by finding conjugacy class representatives and then looking for elements of order $3$ among these. Or if the order of the group is divisible by a relatively small power of $3$, you could first find a Sylow $3$-subgroup and look for its conjugacy classes. $\endgroup$
    – Derek Holt
    Aug 30, 2014 at 16:25
  • $\begingroup$ Hi @DerekHolt, thanks for that info. I'm interested also in the analytical side also obviously. $\endgroup$
    – occulus
    Sep 1, 2014 at 9:09

There is also Magma, but unlike GAP it is not (in general) free.


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.