I am trying to use Mathematica to check some identities in the group ring $Q[GL_n(Z)]$. Is there a package/function of Mathematica to do this?

Thanks a lot in advance!

  • $\begingroup$ What identities in particular? $\endgroup$ – Patrick Stevens Nov 28 '15 at 12:20
  • $\begingroup$ Identities of the type in arxiv.org/pdf/1404.5048.pdf Proposition 2.2 on the top of page 6. Not exactly those but mine are of the same "type". $\endgroup$ – Mike Nov 28 '15 at 12:37
  • $\begingroup$ Long time ago I worked on certain polynomial identities algebras and I used Mathematica for experiments and proofs derivations. Since those algebras had representations in the matrix ring I used symbolic matrices replacement rules, and the functions Inner and NonCommutativeMultiply to represent and investigate identities. (See this response for an example.) $\endgroup$ – Anton Antonov Nov 28 '15 at 14:54
  • $\begingroup$ Thanks a lot this was helpfull! $\endgroup$ – Mike Nov 28 '15 at 17:21

Your Answer

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

Browse other questions tagged or ask your own question.