Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Skew commuting variables

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.

click to hide/show revision 2
retagged

Skew commuting variables

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.