Let G be a group (not necessarily finite). Can we say something about its structure if we suppose that all of its proper subgroups are abelian? Is there a difference between the finite case and the infinite case?
To put it in another way, is the class of such groups wild or do we control it? Naturally, abelian groups are part of it, but I am interested in the nonabelian case.
This question may sound quite open but I think it should be interesting to investigate it.
The finite case was settled by Miller–Moreno (1903) and described again in Redei (1950). The infinite case is substantially different, due to the existence of Tarski monsters. However, the case of non-perfect groups is reasonably similar to finite groups and is handled in Beljaev–Sesekin (1975), along with some more general conditions. Generally speaking, infinite groups are not very similar to finite groups in these sorts of questions, but if you restrict to (nearly) solvable groups, then things are a bit better. Nearly solvable in this case means “not perfect” and for quotient properties, often means “non-trvial Fitting/Hirsch-Plotkin radical”. In other words, for subgroup properties you want an abelian quotient, and for quotient properties you want a (locally nilpotent or) abelian normal subgroup. More current research along the lines I enjoy generalize “abelian” rather than “finite”; a reasonable framework for this is given in Beidleman–Heineken (2009).