Finite Groups, Polymatroids, and Error-Correcting Codes