Cross-intersecting families and primitivity of symmetric systems

From MaRDI portal
Publication:618301




Abstract: Let X be a finite set and mathfrakpsubseteq2X, the power set of X, satisfying three conditions: (a) mathfrakp is an ideal in 2X, that is, if Ainmathfrakp and BsubsetA, then Binmathfrakp; (b) For Ain2X with |A|geq2, Ainmathfrakp if x,yinmathfrakp for any x,yinA with xeqy; (c) xinmathfrakp for every xinX. The pair (X,mathfrakp) is called a symmetric system if there is a group Gamma transitively acting on X and preserving the ideal mathfrakp. A family A1,A2,ldots,Amsubseteq2X is said to be a cross-mathfrakp-family of X if a,binmathfrakp for any ainAi and binAj with ieqj. We prove that if (X,mathfrakp) is a symmetric system and A1,A2,ldots,Amsubseteq2X is a cross-mathfrakp-family of X, then [sum_{i=1}^m|{A}_i|leqleft{ �egin{array}{cl} |X| & hbox{if mleqfrac|X|alpha(X,,mathfrakp),} \ m, alpha(X,, mathfrak p) & hbox{if mgeqfrac|X|alpha(X,,mathfrakp),} end{array} ight.] where alpha(X,,mathfrakp)=max|A|:Ainmathfrakp. This generalizes Hilton's theorem on cross-intersecting families of finite sets, and provides analogs for cross-t-intersecting families of finite sets, finite vector spaces and permutations, etc. Moreover, the primitivity of symmetric systems is introduced to characterize the optimal families.



Cites work







This page was built for publication: Cross-intersecting families and primitivity of symmetric systems

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