Collection of pairwise mutually disjoint p-element subsets
Source: India tst 2006 p5
June 27, 2012
inductionnumber theorycombinatorics proposedcombinatorics
Problem Statement
Let be a prime number and let be a finite set containing at least elements. A collection of pairwise mutually disjoint -element subsets of is called a -family. (In particular, the empty collection is a -family.) Let (respectively, ) denote the number of -families having an even (respectively, odd) number of -element subsets of . Prove that and differ by a multiple of .