Identifier
Images
['A',1] => ([],1) => ([],1)
['A',2] => ([(0,2),(1,2)],3) => ([],1)
['B',2] => ([(0,3),(1,3),(3,2)],4) => ([],1)
['G',2] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([],1)
['A',3] => ([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6) => ([],1)
['B',3] => ([(0,7),(1,8),(2,7),(2,8),(4,5),(5,3),(6,5),(7,6),(8,4),(8,6)],9) => ([],1)
['C',3] => ([(0,7),(1,8),(2,7),(2,8),(4,5),(5,3),(6,5),(7,6),(8,4),(8,6)],9) => ([],1)
['A',4] => ([(0,8),(1,7),(2,7),(2,9),(3,8),(3,9),(5,4),(6,4),(7,5),(8,6),(9,5),(9,6)],10) => ([],1)
['B',4] => ([(0,13),(1,12),(2,13),(2,15),(3,12),(3,15),(5,11),(6,7),(7,4),(8,9),(9,10),(10,7),(11,6),(11,10),(12,8),(13,5),(13,14),(14,9),(14,11),(15,8),(15,14)],16) => ([],1)
['C',4] => ([(0,13),(1,12),(2,13),(2,15),(3,12),(3,15),(5,11),(6,7),(7,4),(8,9),(9,10),(10,7),(11,6),(11,10),(12,8),(13,5),(13,14),(14,9),(14,11),(15,8),(15,14)],16) => ([],1)
['D',4] => ([(0,10),(1,9),(2,8),(3,8),(3,9),(3,10),(5,11),(6,11),(7,11),(8,5),(8,6),(9,5),(9,7),(10,6),(10,7),(11,4)],12) => ([],1)
['F',4] => ([(0,18),(1,19),(2,18),(2,22),(3,19),(3,22),(4,6),(6,5),(7,11),(8,16),(9,17),(10,13),(10,14),(11,4),(12,23),(13,8),(13,23),(14,9),(14,23),(15,11),(16,15),(17,7),(17,15),(18,20),(19,21),(20,12),(20,13),(21,12),(21,14),(22,10),(22,20),(22,21),(23,16),(23,17)],24) => ([],1)
['A',5] => ([(0,11),(1,10),(2,10),(2,13),(3,11),(3,14),(4,13),(4,14),(6,8),(7,9),(8,5),(9,5),(10,6),(11,7),(12,8),(12,9),(13,6),(13,12),(14,7),(14,12)],15) => ([],1)
['B',5] => ([(0,18),(1,17),(2,18),(2,24),(3,23),(3,24),(4,17),(4,23),(6,15),(7,16),(8,9),(9,5),(10,12),(11,13),(12,11),(13,14),(14,9),(15,7),(15,21),(16,8),(16,14),(17,10),(18,6),(18,19),(19,15),(19,22),(20,12),(20,22),(21,13),(21,16),(22,11),(22,21),(23,10),(23,20),(24,19),(24,20)],25) => ([],1)
['C',5] => ([(0,18),(1,17),(2,18),(2,24),(3,23),(3,24),(4,17),(4,23),(6,15),(7,16),(8,9),(9,5),(10,12),(11,13),(12,11),(13,14),(14,9),(15,7),(15,21),(16,8),(16,14),(17,10),(18,6),(18,19),(19,15),(19,22),(20,12),(20,22),(21,13),(21,16),(22,11),(22,21),(23,10),(23,20),(24,19),(24,20)],25) => ([],1)
['D',5] => ([(0,13),(1,16),(2,15),(3,13),(3,17),(4,15),(4,16),(4,17),(6,10),(7,19),(8,19),(9,18),(10,5),(11,7),(11,18),(12,8),(12,18),(13,14),(14,7),(14,8),(15,9),(15,11),(16,9),(16,12),(17,11),(17,12),(17,14),(18,6),(18,19),(19,10)],20) => ([],1)
['A',6] => ([(0,14),(1,13),(2,18),(2,20),(3,19),(3,20),(4,13),(4,18),(5,14),(5,19),(7,9),(8,10),(9,11),(10,12),(11,6),(12,6),(13,7),(14,8),(15,9),(15,17),(16,10),(16,17),(17,11),(17,12),(18,7),(18,15),(19,8),(19,16),(20,15),(20,16)],21) => ([],1)
['B',6] => ([(0,23),(1,22),(2,23),(2,34),(3,33),(3,34),(4,33),(4,35),(5,22),(5,35),(7,20),(8,19),(9,21),(10,11),(11,6),(12,16),(13,15),(14,13),(15,17),(16,14),(17,18),(18,11),(19,9),(19,27),(20,8),(20,28),(21,10),(21,18),(22,12),(23,7),(23,24),(24,20),(24,32),(25,16),(25,31),(26,31),(26,32),(27,17),(27,21),(28,19),(28,29),(29,15),(29,27),(30,13),(30,29),(31,14),(31,30),(32,28),(32,30),(33,25),(33,26),(34,24),(34,26),(35,12),(35,25)],36) => ([],1)
['C',6] => ([(0,23),(1,22),(2,23),(2,34),(3,33),(3,34),(4,33),(4,35),(5,22),(5,35),(7,20),(8,19),(9,21),(10,11),(11,6),(12,16),(13,15),(14,13),(15,17),(16,14),(17,18),(18,11),(19,9),(19,27),(20,8),(20,28),(21,10),(21,18),(22,12),(23,7),(23,24),(24,20),(24,32),(25,16),(25,31),(26,31),(26,32),(27,17),(27,21),(28,19),(28,29),(29,15),(29,27),(30,13),(30,29),(31,14),(31,30),(32,28),(32,30),(33,25),(33,26),(34,24),(34,26),(35,12),(35,25)],36) => ([],1)
['D',6] => ([(0,24),(1,23),(2,20),(3,22),(3,26),(4,20),(4,22),(5,23),(5,24),(5,26),(7,12),(8,19),(9,27),(10,29),(11,29),(12,6),(13,16),(13,27),(14,17),(14,27),(15,21),(16,10),(16,28),(17,11),(17,28),(18,12),(19,7),(19,18),(20,15),(21,10),(21,11),(22,15),(22,25),(23,9),(23,13),(24,9),(24,14),(25,16),(25,17),(25,21),(26,13),(26,14),(26,25),(27,8),(27,28),(28,19),(28,29),(29,18)],30) => ([],1)
['E',6] => ([(0,28),(1,24),(2,23),(3,23),(3,29),(4,24),(4,30),(5,28),(5,29),(5,30),(6,7),(8,19),(9,20),(10,14),(10,15),(11,34),(12,32),(13,33),(14,8),(14,35),(15,9),(15,35),(16,6),(17,12),(17,31),(18,13),(18,31),(19,16),(20,16),(21,11),(21,32),(22,11),(22,33),(23,26),(24,27),(25,21),(25,22),(25,31),(26,12),(26,21),(27,13),(27,22),(28,17),(28,18),(29,17),(29,25),(29,26),(30,18),(30,25),(30,27),(31,10),(31,32),(31,33),(32,14),(32,34),(33,15),(33,34),(34,35),(35,19),(35,20)],36) => ([],1)
Map
to root poset
Description
The root poset of a finite Cartan type.
This is the poset on the set of positive roots of its root system where $\alpha \prec \beta$ if $\beta - \alpha$ is a simple root.
This is the poset on the set of positive roots of its root system where $\alpha \prec \beta$ if $\beta - \alpha$ is a simple root.
Map
antichains of maximal size
Description
The lattice of antichains of maximal size in a poset.
The set of antichains of maximal size can be ordered by setting $A \leq B \leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow} B$, where $\mathop{\downarrow} A$ is the order ideal generated by $A$.
This is a sublattice of the lattice of all antichains with respect to the same order relation. In particular, it is distributive.
The set of antichains of maximal size can be ordered by setting $A \leq B \leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow} B$, where $\mathop{\downarrow} A$ is the order ideal generated by $A$.
This is a sublattice of the lattice of all antichains with respect to the same order relation. In particular, it is distributive.
searching the database
Sorry, this map was not found in the database.