On generalisations of the Aharoni–Pouzet base exchange theorem

From MaRDI portal
(Redirected from Publication:6096802)



Abstract: The Greene-Magnanti theorem states that if M is a finite matroid, B0 and B1 are bases and is a partition, then there is a partition such that (B0setminusXi)cupYi is a base for every i. The special case where each Xi is a singleton can be rephrased as the existence of a perfect matching in the base transition graph. Pouzet conjectured that this remains true in infinite dimensional vector spaces. Later he and Aharoni answered this conjecture affirmatively not just for vector spaces but for infinite matroids. We prove two generalisations of their result. On the one hand, we show that `being a singleton' can be relaxed to `being finite' and this is sharp in the sense the exclusion of infinite sets is really necessary. On the other hand, we prove that if B0 and B1 are bases, then there is a bijection F between their finite subsets such that (B0setminusI)cupF(I) is a base for every I. In contrast to the approach of Aharoni and Pouzet, our proofs are completely elementary, they do not rely on infinite matching theory.












This page was built for publication: On generalisations of the Aharoni–Pouzet base exchange theorem

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