Non-commutative ring with inverses

asked 2012-03-21 02:26:28 -0500

anonymous user


Hello Sage,

I would like to make a ring over $\mathbb{Q}$ with $n$ variables which are non-commutative and also include their inverses. So I want to generate the free algebra over $\mathbb{Q}$ with generates $x_1, x_2, ..., x_n$ and $x_1^{-1}, x_2^{-1}, ..., x_n^{-1}$. How can I do this?

Best regards, Noud

edit retag flag offensive close merge delete


you could try making a quotient of a free algebra: I'm not sure if the kind of quotient you need is implemented though.

niles gravatar imageniles ( 2012-03-21 10:50:17 -0500 )edit

I tried to do this, but I do not know how to make the generators of infinite order. I define `FreeAlgebra(QQ, 2n, 'x')` and define with `FreeAlgebraQuotient` relations $x_i x_{2n-i} = 1 = x_{2n-i} x_i$. But how do you define that $x_i^k = x_i^k$ (this looks a bit ambiguous)? In the examples in this reference everything has finite order.

Noud gravatar imageNoud ( 2012-03-22 01:06:24 -0500 )edit

yes, I see your problem; I think this means that such algebras are not implemented yet for Sage. They certainly could be implemented, either by wrapping functionality for free groups from GAP, or by building on the CombinatorialFreeModule class, as was done for the Steenrod Algebra. If you're interested in either of these, I would ask about it on the sage developer email list to see if anyone else has thought about this (or has a better idea!).

niles gravatar imageniles ( 2012-03-22 02:30:59 -0500 )edit

I think that sage-combinat-devel would be even better than sage-devel or sage-algebra (though the latter would make sense as well). Actually, yesterday I did post on sage-combinat-devel, in order to point people to this question. After all, Noud had already asked on sage-support, but didn't get a good answer (sorry for that).

Simon King gravatar imageSimon King ( 2012-03-22 07:44:58 -0500 )edit

Thank you Simon! I'm looking forward to an answer on the sage-combinat-devel mailinglist.

Noud gravatar imageNoud ( 2012-03-22 21:12:08 -0500 )edit