Yahoo Answers is shutting down on May 4th, 2021 (Eastern Time) and beginning April 20th, 2021 (Eastern Time) the Yahoo Answers website will be in read-only mode. There will be no changes to other Yahoo properties or services, or your Yahoo account. You can find more information about the Yahoo Answers shutdown and how to download your data on this help page.

Abelian subgroups all finitely generated but an Abelian quotient group not finitely generated?

Does there exist a (non-Abelian) group G such that any Abelian subgroups are finitely generated, with a normal subgroup H, such that the quotient group G/H is Abelian, but not finitely generated.

Alternatively, given an Abelian group, A, which is not finitely generated (like the rational numbers under addition), and some other group H (pick any group you like), can a (semi-direct) product of A and H be constructed whose Abelian subgroups are all finitely generated?

(This is an attempt to answer Stoops' question about whether solvable groups with only finitely generated Abelian subgroups must be polycyclic.)

1 Answer

Relevance
  • Anonymous
    1 decade ago
    Favorite Answer

    Take G to be a free group on infinitely many generators. Then the only abelian subgroups of G are isomorphic to Z, but G/[G,G] is free abelian on infinitely many generators.

    This doesn't make G a semidirect product, though. In fact, your second question has the answer no, since a semidirect product of A and H always has A and H as subgroups. A would then be a not-finitely-generated abelian subgroup.

Still have questions? Get your answers by asking now.