Ask Your Question
1

Semigroup from posets

asked 2022-01-27 20:38:48 +0100

klaaa gravatar image

Let $P$ be a finite poset (we can assume it is connected). Then on the set of intervals $Int(P)$ there is a semigroup structure given by the multiplication: $[a,b][c,d]=[a,d] if b=c$ and $[a,b][c,d]=0$, else.

Question: Is there an easy way to obtain for a given poset $P$, this semigroup in Sage?

edit retag flag offensive close merge delete

Comments

At very least it can be done like in this answer https://ask.sagemath.org/question/320...

Max Alekseyev gravatar imageMax Alekseyev ( 2022-01-27 22:10:08 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2022-01-27 22:03:58 +0100

tkarn gravatar image

You could try creating creating a finite-dimensional algebra with basis specified by the relation iterator in the poset.

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: 2022-01-27 20:38:48 +0100

Seen: 598 times

Last updated: Jan 27 '22