OFFSET
2,1
COMMENTS
This sequence is the number of elements in the Dedekind-MacNeille completion (completion by cuts) of the Bruhat order of the Weyl group D_n. It is a type D analog of A378072.
LINKS
A. Lascoux and M.-P. Schützenberger, Treillis et bases des groupes de Coxeter, Electron. J. Combin. 3 (1996), #R27.
EXAMPLE
For n=2 the Bruhat order on D_2 consists of four elements, 1 (identity), s1, s2, and s2*s1. Its completion forms the diamond lattice and coincides with the order.
s2*s1
/ \
s1 s2
\ /
1
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Dmitry I. Ignatov, Jun 07 2025
STATUS
approved
