Polymatroids are to finite groups as matroids are to finite fields

Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G}={\displaystyle \prod _{i=1}^n{\mathrm{\Gamma }}_i}$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b)\mathrm{.}$ If all of the ${\mathrm{\Gamma }}_i$ are isomorphic to $\mathbb{Z}\mathrm{/}p\mathbb{Z},$ $p$ a prime, and $b=p,$ then $P(\mathcal{H},b)$ is the usual matroid associated to any $\mathbb{Z}\mathrm{/}p\mathbb{Z}$-matrix whose row space equals $\mathcal{H}\mathrm{.}$ In general, there are many ways in which the relationship between $P(\mathcal{H},b)$ and $\mathcal{H}$ mirrors that of the relationship between a matroid and a subspace of a finite vector space. These include representability by excluded minors, the Crapo-Rota critical theorem, the existence of a concrete algebraic object representing the polymatroid dual of $P(\mathcal{H},b),$ analogs of Greene’s theorem and the MacWilliams identities when $\mathcal{H}$ is a group code over a nonabelian group, and a connection to the combinatorial Laplacian of a quotient space determined by $\mathcal{G}$ and $\mathcal{H}\mathrm{.}$ We use the group Crapo-Rota critical theorem to demonstrate an extension to hypergraphs of the classical duality between proper colorings and nowhere-zero flows on graphs.