Quotient of non-commutative ring

asked 2019-02-16 21:54:16 +0100

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 !

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2019-02-18 10:03:52 +0100

rburing

10919 ●4 ●80 ●218 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

edit flag offensive delete link

Comments

This was helpful, thanks !!

franslag ( 2019-02-27 10:50:26 +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.

Add Answer

Question Tools

Stats

Asked: 2019-02-16 21:54:16 +0100

Seen: 472 times

Last updated: Feb 18 '19

Quotient of non-commutative ring edit