Quotient of non-commutative ring

franslag
23 ●1 ●4

I'm trying to make a non-commutative ring, where X^2 = -1 ; XY = -YX and Y^2 = 0, something like this ;

                               R[X,Y] / (X^2 + 1 , XY + YX , Y^2)

To get the non-commutative part, I did :

A.<x,y> = FreeAlgebra(QQ,2)

P.<x,y> = A.g_algebra(relations={yx:-xy})

What is the next command to have the quotient by (X^2+1 , Y^2) ? Or maybe an other way to build the entire ring, if there exists a simpler method :) thanks !

add a comment

1 Answer

Sort by » oldest newest most voted

answered 6 years ago

rburing

10964 ●4 ●80 ●219 https://www.rburing.nl/

You want to quotient by the two-sided ideal generated by x^2 + 1 and y^2:

R.<x,y> = P.quo(P*[x^2 + 1, y^2]*P)

Note this re-defines x and y once again, as you also did in your code.

Then you get:

sage: x^2
-1
sage: y^2
0
sage: y*x
-x*y

link

Comments

This was helpful, thanks !!

franslag ( 6 years ago )

add a comment

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 6 years ago

Seen: 502 times

Last updated: Feb 18 '19

Quotient of non-commutative ring savecancel