Matroid is defined as a pair $(X,\mathcal{I})$, where $X$ is a non-empty finite set, and $\mathcal{I}$ is a non-empty set of subsets of $X$ that satisfies the hereditary axiom and the augmentation axiom. The paper investigates for which groups (primarily finite) $G$, the pair $(\widehat{G}, \mathcal{I})$ will be a matroid. The obtained criteria of matroidality for finite and infinite abelian groups, for finite nilpotent, finite symmetric, and finite dihedral groups, as well as for certain classes of finite matrix groups, are presented. Additionally, the non-matroidality of a whole range of finite groups has been proven, including Hamiltonian groups, groups of diagonal matrices, general and special linear groups, groups of upper triangular matrices with determinant $1$, and others.
Read full abstract