Proof of a conjecture on the Sperner property of the subgroup lattice of an Abelian \(p\)-group (Q1272363): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q427811 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Konrad Engel / rank | |||
Normal rank |
Revision as of 19:40, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof of a conjecture on the Sperner property of the subgroup lattice of an Abelian \(p\)-group |
scientific article |
Statements
Proof of a conjecture on the Sperner property of the subgroup lattice of an Abelian \(p\)-group (English)
0 references
18 May 1999
0 references
Let \(n,k\) be positive integers and \(p\) be a prime. Let \(L_{(k^n)}(p)\) be the subgroup lattice of the abelian \(p\)-group \((\mathbb{Z}/p^k\mathbb{Z})\times\dots\times(\mathbb{Z}/p^k\mathbb{Z})\) (\(n\) times). Confirming a conjecture of Stanley, the author proves that each middle level of \(L_{(k^n)}(p)\) is a maximal-sized antichain in this lattice, i.e., the lattice has the Sperner property. In the proof he uses a quotient theorem of Kleitman, Edelberg, and Lubell and a shifting argument in the poset \(L(n,k)\) of all tuples of integers \((\lambda_1,\dots, \lambda_n)\) with \(0\leq \lambda_1\leq\dots\leq \lambda_n\leq \lambda_k\), ordered componentwise.
0 references
subgroup lattice
0 references
abelian \(p\)-group
0 references
antichain
0 references
Sperner property
0 references
quotient
0 references