Strong Versions of Sperner's Theorem

Abstract A procedure for partitioning the collection of divisors of an integer into symmetric chains is described and analyzed in detail. As a consequence, several strengthenings of Sperner's theorem are obtained. The algorithm also leads to elementary combinatorial proofs of a number of results on lattice paths and plane partitions.