Published online by Cambridge University Press: 24 May 2005
Hall's theorem for bipartite graphs gives a necessary and sufficient condition for the existence of a matching in a given bipartite graph. Aharoni and Ziv have generalized the notion of matchability to a pair of possibly infinite matroids on the same set and given a condition that is sufficient for the matchability of a given pair $(\mathcal{M},\mathcal{W})$ of finitary matroids, where the matroid $\mathcal{M}$ is SCF (a sum of countably many matroids of finite rank). The condition of Aharoni and Ziv is not necessary for matchability. The paper gives a condition that is necessary for the existence of a matching for any pair of matroids (not necessarily finitary) and is sufficient for any pair $(\mathcal{M},\mathcal{W})$ of finitary matroids, where the matroid $\mathcal{M}$ is SCF.