Ask Your Question
2

Calculations in quotient of a free algebra

asked 2018-02-21 14:44:18 +0100

Jo Be gravatar image

updated 2023-01-09 23:59:45 +0100

tmonteil gravatar image

I want to define (the algebra part of) Sweedler's four-dimensional Hopf algebra, which is freely generated by $x,y$ and subject to the relations $$ x^2 = 1, \qquad y^2 = 0, \qquad x\cdot y = - y\cdot x~ , $$ but I don't see how to do it.

I have tried the following:

sage: A.<x,y> = FreeAlgebra(QQbar)
sage: I = A*[x*x - 1, y*y, x*y + y*x]*A
sage: H.<x,y> = A.quo(I)
sage: H
Quotient of Free Algebra on 2 generators (x, y) over Algebraic Field by the ideal (-1 + x^2, y^2, x*y + y*x)

But then I get

sage: H.one() == H(x*x)
False

So is this currently possibly using a different method?

Thanks

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
1

answered 2018-02-21 16:33:26 +0100

tmonteil gravatar image

This is definitely a bug, thanks for reporting ! This is now trac ticket 24808.

edit flag offensive delete link more

Comments

Thank you for adding the ticket!

Jo Be gravatar imageJo Be ( 2018-02-21 16:37:03 +0100 )edit
1

answered 2018-02-22 13:41:31 +0100

Jo Be gravatar image

updated 2018-02-22 13:45:16 +0100

I know now that we can do the following:

sage: A = FreeAlgebra(QQbar, 3, "a")
sage: F = A.monoid()
sage: M = MatrixSpace(QQbar,4)
sage: x, y, xy = F.gens()
sage: mons = [F(1), x, y, xy]
sage: mats = [ 
....:        M([ 0, 1, 0, 0,   1, 0, 0, 0,   0, 0, 0, -1,   0, 0, -1, 0 ]),    
....:        M([ 0, 0, 1, 0,   0, 0, 0, 1,   0, 0, 0, 0,   0, 0, 0, 0]),    
....:        M([ 0, 0, 0, 1,   0, 0, 1, 0,   0, 0, 0, 0,   0, 0, 0, 0 ])
....: ]
sage: H.<x,y,xy> = FreeAlgebraQuotient(A,mons,mats); H
Free algebra quotient on 3 generators ('x', 'y', 'xy') and dimension 4 over Algebraic Field

And we can verify

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

Note: We cannot take tensor products, but that is not what I originally asked for, so.

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2018-02-21 14:44:18 +0100

Seen: 625 times

Last updated: Feb 22 '18