Download Adobe Reader
Research
Home » People » Cary Lee » Research » Open-problems
Pages within Research
Print

Open-problems

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?

  • GCCCD
  • Grossmont
  • Cuyamaca
A Member of the Grossmont-Cuyamaca Community College District