A generalization of Sperner's theorem on compressed ideals

MaRDI QIDQ311527zbMATH OpenFDO

Authors Lili Mu, Yi Wang

Publication date 13 September 2016

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

compressed idealconvex familyfilteridealSperner family

Mathematics Subject Classification ID

Extremal set theory (05D05)

Review text

Summary: Let \([n]=\{1,2,...,n\}\) and \(\mathscr{B}_n=\{A: A\subseteq [n]\}\).~A family \(\mathscr{A}\subseteq \mathscr{B}_n\) is a Sperner family if \(A\nsubseteq B\) and \(B\nsubseteq A\) for distinct \(A,B\in\mathscr{A}\). Sperner's theorem states that the density of the largest Sperner family in \(\mathscr{B}_n\) is \(\binom{n}{\left\lceil{n/2}\right\rceil}/2^n\). The objective of this note is to show that the same holds if \(\mathscr{B}_n\) is replaced by compressed ideals over \([n]\).

Recommendations

• A generalization of Sperner's theorem for convex families
• scientific article; zbMATH DE number 937456
• Sperner type theorems with excluded subposets
• Publication:3496336
• A Sperner type theorem

Cited in

(1)

• Generalizing Sperner's lemma to a free module over a special principal ideal ring

This page was built for publication: A generalization of Sperner's theorem on compressed ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q311527)