No Title

]> No Title

a a a a above, above. also and and and and and and and and and and are asbasic be be by

clear conclude Consequently, contrary cotorsion

defined direct divisible divisible, divisible.

lact follows follows follows follows For from from

G. GRÄBE group group group, group,

bave have hence hence

if in is is is is is is is is It it it it it

latter Lemma Let Let let

Moreover,

$H = Z (p) \oplus H',$ $X) ≅ H o m (t G, X / ⨁_{r \in P} Z (p) X = \prod_{p \in P} Z (p)$ . $E x t (Z (p), X), \prod_{p \in P} Z (p) / X ≅ Q^{(n)}$ . $X \otimes (Q / Z) ≅ Q \int Z ([2]$ ,

$G H H X H,$ $m_{p} m_{ρ} m_{P i} B \subseteq U$ . $G \in B,$ $G \in B$ . $(t G)_{p},$ $(t G)_{p}$ . $E x t (t G$ ,

$G ≅ E x t (G, X) ≅ E x t (t G, X),$ $t G ≅ ⨁_{P \in P} t H o m ((t G)_{p}, Q / Z)$ $(t G)_{p} ≅ t \prod_{i r}^{\infty} ((C (p^{i}))^{m_{P i)}}$ .

$B^{(ρ)} = B_{1} \oplus ... \oplus B_{i} \oplus ...$ ; $B_{i} = (C (p^{i}))^{(m_{P i})},$ $G ≅ I |_{ρ} Z (p)^{m_{ρ}} \oplus \prod_{i p \in = 1}^{\infty} ((C (p^{i}))^{m_{P i)}}$ ,

$X \otimes (Q / Z ⟩) ≅ \prod_{p \in P} H o m ((t G)_{ρ}, x \otimes (Q / Z))^{\infty} H o m ((t G)_{p}, C (p^{\infty})) ≅ Z (p)^{m_{p}} \oplus I I_{1}^{((C (p^{i})^{m_{P i}})} i =$

$U \in Γ I_{P}^{Z (p) / X ≅} (\prod_{p \in P} Z (p) / ⨁_{p \in P} Z (p)) / (^{x / ⨁_{p \in P} Z (p)})$

$G ≅ E x t (t G, X) ≅ \prod_{p \in P} H o m ((t G)_{p}, Q / Z) ≅ Γ [H o m ((t G)_{ρ} \in P C ((p^{\infty}))$ .ion-trivial now

$D f$ of of

133), 134), 178 2@2 255), 2.6 final $(I o) ([3],$ $([5],$ $([5]$ ,

$p$ . $p$ . $p$ . $p$ . $137$ ) P. $J$ . prove

rank recapitulate, reduced. reduced.

$5^{⌝} h a l 1$ shows Since since subgroup summand

that that that that that that that that that that the the the the the then then To totorsion-free torsion-free

$V I L \int O E N$ .

We We We we where which