Ask Your Question

Obtaining a poset associated to a finite group

asked 2020-09-12 15:41:43 -0600

klaaa gravatar image

Let $G$ be a finite group and use Cayley's theorem to embed $G$ into the symmetric group $S_n$. Is it possible via Sage to get the subposet of the strong Bruhat order (or the weak Bruhat order) on $S_n$ that has the points of $G$ inside $S_n$ with the induced poset structure?

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2020-09-13 01:20:47 -0600

FrédéricC gravatar image

Like this

sage: W = SymmetricGroup(4)                                                       
sage: G = AlternatingGroup(4)                                                     
sage: Poset((G,lambda x,y : W(x).bruhat_le(W(y))))                              
Finite poset containing 12 elements
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


Asked: 2020-09-12 15:41:43 -0600

Seen: 42 times

Last updated: Sep 13 '20