Skew commuting variables

asked 2012-11-07 18:22:17 +0100

OliverP
15 ●2 ●6

updated 2015-01-14 10:29:28 +0100

5311 ●4 ●44 ●118

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.

answered 2012-11-08 07:00:46 +0100

burcin
1208 ●16 ●36 http://erocal.org/burcin

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
-x1*x2
sage: x1*x2
x1*x2

edit flag offensive delete link

Comments

Thanks! This is exactly what I needed!

OliverP ( 2012-11-08 12:39:33 +0100 )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 ( 2012-11-09 04:55:30 +0100 )edit

add a comment

Your Answer

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

Skew commuting variables

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Skew commuting variables edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Skew commuting variables