“…Here we define % to be the relation ai % 02 if and only if o^i e 02 ^ on n. Since Q is a divisible group, a modification of the proof of lemma 4-9 gives again a map ^ : T^ -^ 0 such that ^ (di +^2) = ^ (di).^ (^2) (di, ^2 C T^) (and such that ^ (d) T^i (d) for every d e T^). By using standard factorization methods [48] it is also possible to arrange, a G % being given, that a C ^ (d).% for every d G T^ (in fact, the construction of the map y?i is sufficient to perform the embedding: C^ -^ T^ as in [18], and so the construction of [19] and [54] can be replaced by a few lines to obtain a quick solution of Kaplansky's problem, assuming the continuum hypothesis).…”