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?
Revision history [back]
 | 1 | initial version |
Obtaining a poset associated to a finite group
| | 2 | retagged |
Obtaining a poset associated to a finite group
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?
