Packing cycles with modularity constraints

We prove that for all positive integers k, there exists an integer N =N(k) such that the following holds. Let G be a graph and let I" an abelian group with no element of order two. Let gamma: E(G)-> I" be a function from the edges of G to the elements of I". A non-zero cycle is a cycle C such that I pound (eaE(C)) gamma(e) not equal 0 where 0 is the identity element of I". Then G either contains k vertex disjoint non-zero cycles or there exists a set X aS dagger V (G) with |X| a parts per thousand currency signN(k) such that G-X contains no non-zero cycle. An immediate consequence is that for all positive odd integers m, a graph G either contains k vertex disjoint cycles of length not congruent to 0 mod m, or there exists a set X of vertices with |X| a parts per thousand currency sign N(k) such that every cycle of G-X has length congruent to 0 mod m. No such value N(k) exists when m is allowed to be even, as examples due to Reed and Thomassen show.