7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
Cotorsion theories cogenerated by
1
free abelian groups
Saharon Shelah and Lutz Str ungmann
Abstract. Given an
1
free abelian group G we characterize the class C
G
of all torsion abelian groups T satisfying Ext(G, T) = 0 assuming the special
continuum hypothesis CH. Moreover, in Godels constructable universe we
prove that this characterizes C
G
for arbitrary torsionfree abelian G. It follows
that there exist some ugly
1
free abelian groups.
1. Introduction
In 1969 Grith [8] solved Baers splitting problem on mixed abelian groups when
he proved that an abelian group G is free if and only if Ext(G, T) = 0 for all tor
sion abelian groups T. It is easy to see that an abelian group G which satises
Ext(G, T) = 0 for all torsion abelian groups T must be torsionfree and homoge
neous of type Z. Thus it was natural to ask whether or not one could extend Grif
ths result to homogeneous torsionfree groups which are not necessarily of idem
potent type, i.e. to ak whether a torsionfree abelian group G which is homogeneous
of type R Q has to be completely decomposable if and only if Ext(G, T) = 0
whenever Ext(R, T) = 0 for all torsion groups T (clearly Ext(G, T) = 0 implies
Ext(R, T) = 0). That this is not the case was shown in [10] by the second author.
This was a consequence of techniques and results obtained in [12]. Inspired by
Baers question [1] to characterize all pairs of torsionfree abelian G and torsion
abelian T such that Ext(G, T) = 0, Wallutis and the second author considered in
[12] the torsion groups of the cotorsion class singly cogenerated by a torsionfree
group G. Cotorsion theories were introduced by Salce in [9] but it was the rst time
in [12] that only the torsion groups of the cotorsion theory were considered. Recall,
that for a torsionfree abelian group G the class of all torsion abelian groups T sat
isfying Ext(G, T) = 0 is denoted by T C(G) (see [12]). This class is obviously closed
under taking epimorphic images and contains all torsion cotorsion groups, i.e. all
bounded groups. In [12] satisfactory characterizations of T C(G) were obtained for
countable torsionfree abelian groups and for completely decomposable groups. In
fact, it was proved in [12] that for every countable torsionfree abelian group G there
exists a completely decomposable group C such that T C(G) = T C(C). It was later
Publication 773 in the rst authors list of publications. The rst author was supported
by project No. G0545173,06/97 of the GermanIsraeli Foundation for Scientic Research &
Development.
The second author was supported by a MINERVA fellowship.
2000 Mathematics Subject Classication. 20K15, 20K20, 20K35, 20K40.
1
7
7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
2 SAHARON SHELAH AND LUTZ STR
UNGMANN
shown in [10] by the second author that for every nite rank torsionfree abelian
group G there even exists a rational group R Q such that T C(G) = T C(R). Thus,
knowing the class T C(C) for completely decomposable groups C, it was reasonable
to search for groups G of uncountable cardinality such that T C(G) equals T C(C)
for some completely decomposable group C. Although a criterion was found in
[12, Theorem 3.6] for characterizing those classes of torsion abelian groups which
may appear as T C(C) for completely decomposable group C, it remained open if
for instance in G odels universe every torsionfree abelian group is of this kind. It
shall be shown in this paper that this is not the case, but it holds if we replace
completely decomposable by
1
free of cardinality
1
.
Assuming CH we give in section 2 a construction of
1
free abelian groups G of
size
1
having a strange class T C(G). It shall be proved that for every ideal I in
the set of primes (more general in the set of all powers of primes) containing all
nite subsets of the set of primes, there exists an
1
free abelian group G of size
1
such that
pP
Z(p) T C(G) if and only if P I. It follows in section 3 that in
G odels constructable universe (V = L) every torsionfree abelian group G satises
T C(G) = T C(H) for some
1
free group H of size
1
. Thus we obtain a character
ization of the class T C(G) for all torsionfree abelian groups G in G odels universe
and prove that the structure of the group G is not very much eected by the class
T C(G). This solves Baers problem in V = L and contrasts a result from [7] in
which it was shown that the cotorsion theory singly cogenerated by G determines
the group G up to isomorphism in many cases.
All groups under consideration are abelian. The notations are standard and for
unexplained notions in abelian group theory and set theory we refer to [6] and [5].
2. The construction
In this section we construct some
1
free abelian groups having special properties.
Let us rst recall a denition from [12]. For a torsionfree group G we denote
by T C(G) the class of all torsion groups T satisfying Ext(G, T) = 0. Obviously,
the class T C(G) is closed under taking epimorphic images and contains all torsion
cotorsion groups, i.e. all bounded groups. Recall that a torsionfree group G is
called
1
free if all its countable subgroups are free. Let be the set of natural
primes. By
we denote the set of all powers of natural primes, i.e.
= {p
n
:
p , n < }. Moreover, for an innite subset P
we dene T
P
=
pP
Z(p),
where Z(p) denotes the cyclic group of order p. The reader should keep in mind
that here p is not necessarily a prime but could be a prime power. We begin with
a compactness result for countable torsionfree groups (see [10, Lemma 3.1]).
Lemma 2.1 ([10]). Let G be a countable torsionfree group and T a torsion group.
Then T T C(G) if and only if T T C(H) for all nite rank pure subgroups H of
G.
Proof. The proof can be found in [10, Lemma 3.1] and is based on the fact
that for countable G and any pure subgroup H G of nite rank, T T C(G)
implies T T C(G/H) (T a torsion group).
7
7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
COTORSION THEORIES COGENERATED BY 1FREE ABELIAN GROUPS 3
Recall, that for a torsionfree group G of size a ltration of G is a continuous
ascending chain of pure subgroups of cardinality less than such that its union
equals G.
Proposition 2.2 (CH). Let G be a torsionfree group of cardinality
1
and P an
innite subset of
. If G
: <
1
is an
1
ltration of G, then T
P
T C(G) if
and only if one of the following conditions holds:
(i) T
P
T C(H) for some nite rank pure subgroup H of G or;
(ii) { <
1
: G/G
G/G
such that
T
P
T C(L
)} is stationary in
1
.
Proof. Let
(2.1) S = { <
1
: G/G
G/G
such that T
P
T C(L
)}.
By Lemma 2.1 S = { <
1
: T
P
T C(G
/G
: S
such that
)) = , where rg(
)
denotes the range of
() =
() implies = and
() =
() for all .
Proposition 2.5 (CH). Let P
: <
1
be a sequence of innite subsets of
.
Then there exists an
1
free torsionfree group G of cardinality
1
such that for
any innite subset P of
, T
P
T C(G) if and only if { <
1
: P P
 =
0
} is
stationary.
Proof. Since we are assuming CH the weak diamond
1
holds. Let S be a
stationary subset of
1
such that
1
(S) holds. Since lim(
1
) is a cub in
1
we
may assume without loss of generality that S = lim(
1
), i.e. S consists of all limit
ordinals of
1
. Choose a treelike ladder system =
: S such that
()
is a successor ordinal for all < and S (see [5, page 386, Exercise 17]). We
enumerate the sets P
= {p
,n
: n < }. Now let
F be the free group generated by the elements {x
: <
1
}{y
,n
: S, n < }.
Let z
,1
= y
,0
/p
,0
and for n 0
z
,n
= (y
,0
w
,n
)/(
n+1
i=0
p
,i
),
7
7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
4 SAHARON SHELAH AND LUTZ STR
UNGMANN
where w
,n
=
n
i=0
(
i
j=0
p
,j
)x
(i)
. Let G be the subgroup of F generated by the
elements {x
: <
1
} {z
,n
: S, n < }. Then the only relations between
the generators of G are
(2.2) p
,n+1
z
,n
= z
,n1
x
(n)
for S and n 0. Now, for <
1
let G
: < } {z
,n
: S , n < }). Then the sequence G
: <
1
forms
an
1
ltration of G. Moreover, for S we have
(2.3) G
+1
/G
= F
,
where F
+G
and H
= 1/p
,n
: n < =:
R
P
Q. Finally, G is
1
free by Pontryagins criterion. Indeed, if J
0
is a nite
subset of G, then the pure closure of J
0
is contained in the pure closure of a nite
subset J
1
of {x
: <
1
} {y
,n
: S, n < }. By enlarging J
1
we may
assume that there exists m such that for all y
,o
J
1
, x
(n)
J
1
if and only if
n m. Then the equations (2.2) show that the pure closure of J
1
is free (compare
[5, Example VIII 1.1]).
Finally, let P be an innite subset of
. Since G is
1
free there exists no nite
rank pure subgroup H of G such that T
P
T C(H), hence Proposition 2.2 shows
that T
P
T C(G) if and only if the set
(2.4) N = { <
1
: G/G
G/G
such that T
P
T C(L
)}
is stationary in
1
. Since for S we have G
+1
/G
= R
P
 =
0
} is stationary. Note
that S is a cub in
1
.
If G is a torsionfree group, then it is not hard to see that the set
(2.5) {P
: T
P
T C(G)}
forms an ideal on P(
) to contain
itself.
Theorem 2.6 (CH). Let I P(
1
and we are done. Therefore, assume that
I. Choose a continuous increas
ing sequence of boolean subalgebras
B
P(
) : <
1
_
such that each B
is
countable and contains all nite subsets of
. Note that this is possible since we
are assuming CH. Let <
1
and put
(2.6) I B
= {I
,i
: i < }
and
(2.7) B
\I = {I
+
,i
: i < },
7
7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
COTORSION THEORIES COGENERATED BY 1FREE ABELIAN GROUPS 5
where we assume that each I
+
,i
is repeated innitely many times. Choose for <
1
and i <
(2.8) p
,i
I
+
,i
\
_
_
{I
,j
: j < i} {i
,j
: j < i}
_
.
Note, that this is possible since I
+
,i
is innite and
{I
,j
: j < i} I. Let
(2.9) P
= {p
,i
: i < }
and let G be the group from Proposition 2.5 for P
: <
1
. Then G is
1
free
and of cardinality
1
and by Proposition 2.5 it suces to prove that for a subset
P
we have P I if and only if there exists <
1
such that for all > ,
P P
,i
for some i < .
Hence, for all j > i we obtain p
,j
I
,i
. Thus, P P
{p
,j
: j i} which is
nite. Conversely, assume that P I. Then there exists <
1
such that for all
> , P B
(P\{p
,i
: i < j}) and hence P P
of P such that
for all innite subsets X of P
, T
X
C.
Theorem 3.1 (CH). Let C be a class of torsion groups. Then C = T C(G) for some
(
1
free) torsionfree group G of cardinality less than or equal to
1
if and only if
the following conditions are satised:
(i) C is closed under epimorphic images;
(ii) C contains all torsion cotorsion groups;
(iii) If p is a natural prime, then
n<
Z(p
n
) C if and only if C contains all
pgroups;
(iv) If P is an innite subset of , then
pP
Z(p) C if and only if
pP
H
p
C
for all pgroups H
p
C (p P).
Proof. Let us rst show that (i) to (iv) hold for T C(G) for any torsionfree
group G of cardinality less than or equal to
1
. Clearly, (i) and (ii) are true. More
over, if G is countable, then [12, Corollary 3.7] shows that (iii) and (iv) hold for G.
Thus assume that G is of cardinality
1
and let G
: <
1
be an
1
ltration
of G. Let p be a prime and assume that
n<
Z(p
n
) T C(G). Moreover, assume
that T is a pgroup and T T C(G). By Proposition 2.2 there exists either a nite
7
7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
6 SAHARON SHELAH AND LUTZ STR
UNGMANN
rank pure subgroup H of G such that T T C(H) or the set Q = { <
1
:
G/G
G/G
)} is
stationary in
1
. If H exists, then [12, Theorem 3.6] shows that
n<
Z(p
n
) T C(H)
contradicting the fact that
n<
Z(p
n
) T C(G) T C(H). Thus assume that Q
is stationary in
1
. Again by [12, Theorem 3.6] it follows that for Q also
n<
Z(p
n
) T C(L
) since all G
G/G
such that
n<
Z(p
n
) T C(L
)}
and Proposition 2.2 shows that
n<
Z(p
n
) T C(G)  a contradiction. Thus (iii)
holds since the converse implication is trivial.
It is straightforward to see that also (iv) holds for T C(G) using similar arguments
as above.
Finally, assume that C satises (i) to (iv). We identify with
by a bijection
i :
. Let I = {X :
pi(X)
Z(p) C}. Then it is easy to see that I is an
ideal on containing all nite subsets of . Thus by Theorem 2.6 there exists an
1

free group G of cardinality
1
such that for every subset P
,
pP
Z(p) T C(G)
if and only if i
1
(P) I. Since we have already shown that T C(G) satises (i) to
(iv) it is now obvious that C = T C(G).
Since it was shown in [11, Theorem 2.7] and [12, Corollary 3.9] that in G odels
universe for every torsionfree group G Theorem 3.1 (i) to (iv) are satised for
C = T C(G) we immediately get the following result.
Corollary 3.2 (V = L). For every torsionfree group G there exists an
1
free
group H of cardinality
1
such that T C(G) = T C(H).
Moreover, we obtain the existence of some ugly torsionfree groups showing that
the T CConjecture from [11, T CConjecture 2.12] does not hold. In [11] it was
conjectured that in V = L for every torsionfree group G there exists a completely
decomposable group C such that T C(G) = T C(C), hence condition (3.1) would be
satised for all torsionfree groups G. This is not the case.
Corollary 3.3 (CH). For every innite set of primes P there exists an
1
free
torsionfree group G of cardinality
1
satisfying T
P
T C(G) such that for every
innite subset Q P there exists an innite subset Q
1
Q such that T
Q1
T C(G).
Thus T C(G) = T C(C) for every completely decomposable group C.
Proof. Let P be the given innite set of primes. It was shown by Eda in [4,
Proof of Theorem 5] that there exists a strictly decreasing chain of subsets P
P
( <
1
) such that
(i) P
is innite;
(ii) < implies P
is almost contained in P
;
(iii) < implies P
\P
 is innite;
(iv)
<1
P
is nite.
7
7
3
r
e
v
i
s
i
o
n
:
2
0
0
2

0
1

1
8
m
o
d
i
f
i
e
d
:
2
0
0
2

0
1

1
9
COTORSION THEORIES COGENERATED BY 1FREE ABELIAN GROUPS 7
Let U be the ultralter generated by
P = {P
: <
1
} and let G be the group
from Proposition 2.5 for
P. If Q is an innite subset of P, then divide Q into two
disjoint innite subsets, e.g. Q = Q
1
Q
2
. Since U is an ultralter it follows that
without loss of generality Q
1
U. Hence, there exists <
1
such that P
Q
1

is nite. Thus, for every we obtain P
Q
1
 is nite. Therefore, the set
{ <
1
: P P
 =
0
} is not stationary in
1
and Proposition 2.5 implies that
T
Q1
T C(G).
Finally, T C(G) = T C(C) for any completely decomposable group C since T C(G)
violates [12, Theorem 3.2 (v)] which is our condition (3.1).
References
[1] R. Baer, The subgroup of the elements of nite order of an abelian group, Ann. of Math.
37 (1936), 766781.
[2] T. Becker, L. Fuchs and S. Shelah, Whitehead modules over domains, Forum Math. 1
(1989), 5368.
[3] K.J. Devlin and S. Shelah, A weak version of 3 which follows from 2
0
< 2
1
, Israel J.
Math. 29 (1978), 239247.
[4] K. Eda, A characterization of
1
free abelian groups and its application to the Chase radical,
Math. Ann. 261 (1982), 359385.
[5] P. C. Eklof and A. H. Mekler, Almost Free Modules  SetTheoretic Methods, North
Holland (1990).
[6] L. Fuchs, Innite Abelian Groups, Vol. I and II, Academic Press (1970 and 1973).
[7] R. G obel, S. Shelah and S.L. Wallutis, On the lattice of cotorsion theories, J. of Algebra
238(2001), 292313.
[8] P. Grith, A solution to the splitting mixed group problem of Baer, Trans. Amer. Math.
Soc. 139(1969), 261269.
[9] L. Salce, Cotorsion theories for abelian groups, Symposia Mathematica 23(1979), 1132.
[10] L. Str ungmann, Torsion groups in cotorsion theories, to appear in Rendiconti del Seminario
Matematico dellUniversita di Padova 107 (2002).
[11] L. Str ungmann, On problems by Baer and Kulikov using V = L, submitted.
[12] L. Str ungmann and S.L. Wallutis, On the torsion groups in cotorsion classes, AGRAM
2000 Conference, Perth, Western Australia, Contemp. Math. 273 (2001), 269283. Perth
(2001).
The Hebrew University, Givat Ram, Jerusalem 91904, Israel and, Rutgers University,
Newbrunswick, NJ U.S.A.
Email address: Shelah@math.huji.ac.il
Fachbereich 6 Mathematik, University of Essen, 45117 Essen, Germany
Current address: The Hebrew University, Givat Ram, Jerusalem 91904, Israel
Email address: lutz@math.huji.ac.il