Table of Contents
Fetching ...

Matchings in matroids over abelian groups

Mohsen Aliabadi, Shira Zerbib

Abstract

We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group $G$, and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.

Matchings in matroids over abelian groups

Abstract

We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group is a bijection between two finite subsets of satisfying for all . A group has the matching property if for every two finite subsets of the same size with , there exists a matching from to . In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group , and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.
Paper Structure (17 sections, 30 theorems, 54 equations)

This paper contains 17 sections, 30 theorems, 54 equations.

Key Result

Theorem 1.1

Losonczy Let $G$ be an abelian group and let $A$ be a nonempty finite subset of $G$. Then there is a matching from $A$ to itself if and only if $0 \notin A$.

Theorems & Definitions (69)

  • Theorem 1.1
  • Theorem 1.2
  • Definition 1.3
  • Remark 1.4
  • Proposition 1.7
  • Theorem 2.1
  • Remark 2.3
  • Theorem 2.4
  • Corollary 2.5
  • Corollary 2.6
  • ...and 59 more