Countable Abelian recursive reduced p-groups:
1. Does a reduced Abelian p-group (of finite rank) always have a recursive generating tree?
2. Is the following set
{(G, H ) : H is a maximal reduced subgroup of G }
Borel relative to the set
{(G, H ) ; H is a subgroup of G} ?
3. We know that if G has rank £ !, then G is a direct sum of cyclic groups, say,
Å iiÎ!Hi . Is there a recursive isomorphism G ! Å iiÎ!Hi ?
4. Let
A = {(G, H, f ) : G is isomorphic to H and f is a monomorphism from a finite
subgroup of G to H }
Is B = {(G, H, f ) : f can be extended to an isomorphism from G to H } Borel
relative to A?
5. If G Å G is recursively isomorphic to H Å H, is it necessary that G is recursively
isomorphic to H?
6. Is there a Borel bijective map from the set of countable reduced 2-groups to the
set of
countable reduced 3-groups that preserves embedding relation?
Uncountable reduced Borel p-groups
1. When does such a Borel group have a Borel generating tree (or a generating tree at all)?
2. What countable sequence of cardinals can be the Ulm invariant sequence of such a Borel group?
3. If two such Borel groups have the same Ulm invariants, must they be isomorphic?
4. If G Å G is Borel isomorphic to H Å H, is it necessary that G be isomorphic to H ? Can the isomorphism be Borel?
5. How complicated is the Poset of rank 1 Borel 2-groups (ordered by rank preserving
monomorphisms)? What is the maximum size of an antichain?
6. Is there any universal rank 1 Borel 2-group?
7. Does every Borel subgroup of a rank 1 Borel 2-group with a Borel basis have a Borel basis? Or equivalently, are all minimal rank 1 uncountable Borel 2-groups Borel isomorphic?