The necklace poset is a symmetric chain order

摘要

Let Nn denote the quotient poset of the Boolean lattice, Bn, under the relation equivalence under rotation. Griggs, Killian, and Savage proved that Np is a symmetric chain order for prime p. In this paper, we settle the question posed in that paper, namely whether Nn is a symmetric chain order for all n. This paper provides an algorithm that produces a symmetric chain decomposition (or SCD). We accomplish this by modifying bracketing from Greene and Kleitman. This allows us to take appropriate " middles" of certain chains from the Greene-Kleitman SCD for Bn. We also prove additional properties of the resulting SCD and show that this settles a related conjecture.