Skip to main content
2 of 4
deleted 7 characters in body
LeechLattice
  • 9.5k
  • 2
  • 23
  • 57

Let $B$ be the subsets of $\{1,2,...,22\}$ of size $4$ which are not contained in any block of $S(3,6,22)$. $B$ satisfies the basis exchange property.

Proof:

Let $X,Y\in B$, $a\in X$. $X\text{\\}a$ is a 3-element set, so it is contained in exactly one block of $S(3,6,22)$. If all members of $Y$ can not be exchanged for $a$, it follows that all elements of $Y$ are in the block containing $X\text{\\}a$, which means $Y$ is the subset of the block by uniqueness. Contradiction.

Corollary. $B$ is the basis of a matroid with rank $4$.

LeechLattice
  • 9.5k
  • 2
  • 23
  • 57