Number of maximal subgroups in finitely generated amenable groups

157 Views Asked by At

The following statement is known to be true:

Any subgroup of a finitely generated group lies in a maximal subgroup

Proof:

Suppose, $G = \langle \{x_1, … , x_n\} \rangle$ is a counterexample. Then there exists an infinite ascending tower of proper subgroups $H_1, H_2, … $ such that $\bigcup_{i \in \mathbb{N}} H_i = G$. Then $\forall g \in G \exists i(g) \in \mathbb{N}$ such that $g \in H_{i_g}$. It follows, that $\bigcup_{j < n} H_{i(j)} = G$ which contradicts the assumption that all those subgroups are proper.

Q.E.D.

This fact gives the rise to the question:

Do all finitely generated groups have finitely many maximal subgroups?

The answer is obviously «NO» as there are two types of counterexamples coming to the mind: the free groups and the Tarski monster groups.

However, if we additionally require the group in question to be amenable, then both those examples become ruled out. So, my question is:

Do all finitely generated amenable groups have finitely many maximal subgroups?

3

There are 3 best solutions below

0
On BEST ANSWER

$\mathbf{Z}$ has a maximal subgroup $p\mathbf{Z}$ for each prime $p>0$.

3
On

The answer is also "NO".

$C_\infty$ has infinitely many maximal subgroups (a subgroup of index $p$ for each prime number $p$). However, it is clearly amenable.

0
On

There's even a finitely generated solvable group with uncountably many maximal subgroups, see this MO question.