Nunke’s problem asks when
the torsion product of two abelian p-groups is isomorphic to a direct sum
of cyclic groups. A complete solution to the problem is given using a new
invariant, denoted by LG, whose values are certain collections of finite sets of
uncountable regular cardinals. This is a refinement of a previous approach to the
problem that only worked up to the first cardinal that is weakly Mahlo. The
multiplicative properties of LG are then related to the generalized continuum
hypothesis.