Solve Equations over Finite Group
- To: mathgroup at smc.vnet.net
- Subject: [mg13662] Solve Equations over Finite Group
- From: Alexander Craig Russell <acr at cs.utexas.edu>
- Date: Mon, 10 Aug 1998 10:19:29 -0500
- Organization: University of Texas at Austin
- Sender: owner-wri-mathgroup at wolfram.com
Is anyone familiar with a mathematica package which allows one to solve
equations over a finite group? Given
(1 2 3) x (1 2 3)^(-1) x^(-1) = (1 3 2)
(in S_3, say) I would like the package to respond with x = (1 2).
For general groups (described as subgroups of S_n) I would like the
same. Do such things exist?
Many thanks,
Alex Russell
UT Dept. of Computer Sci.