These are problems motivated by some of the OUTSTANDING PROBLEMS. We have started this section in the hope that problems here, some of which are actually interesting in their own right, might generate some hints for attacking the relevant outstanding problems.
 

*(AUX1) (A. Myasnikov) (cf. Problem (O9))   Let m, n be positive integers, and H and K nontrivial subgroups of a free group such that rank(H) = n and rank(K) = m. Which numbers between 1 and (n-1)(m-1) can be realized as rank(H \cap K) - 1? In particular, can (n-1)(m-1) - 1 be realized? Background

(AUX2) (A. Myasnikov) (cf. Problem (O9))   Is there an algorithm which for every pair of positive integers m, n determines whether or not the Hanna Neumann conjecture holds for all subgroups of ranks m, n in a free group F_2 ?

(AUX3) (A.Borovik, A. Lubotzky, A. Myasnikov) (cf. Problem (O1)) For a group G, by d(G) we denote the minimal number of normal generators of G, and by N_k(G), k \ge d(G), the set of all k-tuples of elements of G which generate G as a normal subgroup. We say that a group G satisfies the generalized Andrews-Curtis conjecture if for any k \ge max(d(G), 2), two tuples U, V \in N_k(G) are AC-equivalent in G if and only if their images are AC-equivalent in the abelianization of G.

(a) Find a group G which does not satisfy the generalized Andrews-Curtis conjecture.

(b) Does Grigorchuk's group satisfy the generalized Andrews-Curtis conjecture?

(AUX4) (A. Casson) (cf. Problem (O7)) Suppose \phi is an onto homomorphism from F_{p+q} to F_p \times F_q. Is it true that Ker(\phi) is the normal closure of precisely pq elements?