Hello Sage,
I would like to make a ring over Q with n variables which are non-commutative and also include their inverses. So I want to generate the free algebra over Q with generates x1,x2,...,xn and x−11,x−12,...,x−1n. How can I do this?
Best regards, Noud