Ask Your Question

Skew commuting variables

asked 2012-11-07 11:22:17 -0500

OliverP gravatar image

updated 2015-01-14 03:29:28 -0500

FrédéricC gravatar image

I want to work in the ring QQ<x0, x1, x2> / (xi*xj = -xj*xi for i \neq j). (In particular, xi^2 \neq 0; this is not the exterior algebra.)

I seems like FreeAlgebraQuotient is the thing to use, but I am not sure how. In the documentation for FreeAlgebraQuotient, the algebras are 4-dimensional as modules over QQ. However in my application, the algebra is infinite-dimensional as a module, so I can't write down the matrices for the action of the generators.

Is there another way to obtain this ring? Thanks.

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2012-11-08 00:00:46 -0500

You can use our wrapper for Singular's non-commutative component Plural. In particular, you can create a G-algebra for this ring as follows:

sage: A.<x0,x1,x2> = FreeAlgebra(QQ, 3)
sage: A
Free Algebra on 3 generators (x0, x1, x2) over Rational Field
sage: R.<x0,x1,x2> = A.g_algebra({x1*x0: -x0*x1, x2*x0: -x0*x2, x2*x1: -x1*x2})
sage: R
Noncommutative Multivariate Polynomial Ring in x0, x1, x2 over Rational Field, nc-relations: {x2*x1: -x1*x2, x2*x0: -x0*x2, x1*x0: -x0*x1}
sage: x2*x1
sage: x1*x2
edit flag offensive delete link more


Thanks! This is exactly what I needed!

OliverP gravatar imageOliverP ( 2012-11-08 05:39:33 -0500 )edit

Let me know if there are any problems with the wrapper. It's not very polished at the moment, some things might not work as intended. I already have a few patches I need to push upstream, but I'd appreciate hearing bug reports and use cases.

burcin gravatar imageburcin ( 2012-11-08 21:55:30 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2012-11-07 11:22:17 -0500

Seen: 117 times

Last updated: Nov 08 '12