Obtaining a poset associated to a finite group

asked 2020-09-12 22:41:43 +0100

klaaa
691 ●4 ●17 ●41

updated 2022-06-30 21:06:45 +0100

5311 ●4 ●44 ●118

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

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2020-09-13 08:20:47 +0100

FrédéricC

5311 ●4 ●44 ●118

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

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

1 follower

Stats

Asked: 2020-09-12 22:41:43 +0100

Seen: 224 times

Last updated: Sep 13 '20

Obtaining a poset associated to a finite group edit

1 Answer