Finitely generated soluble groups with uncountably many maximal subgroups Is there a finitely generated soluble group with uncountably many maximal subgroups? Any classification of such groups?
 A: Yes, there is a finitely generated soluble group with uncountably many maximal subgroups.
Fix an odd prime $p$. Denote by $F_p$ the field on $p$ elements, $C_2$ the cyclic group on $2$ elements. Let $A$ be the set of functions from $\mathbf{Z}$ to $\{-1,1\}$. Let $M$ be the free $F_p$-module on the generators $(e_i)_{i\in\mathbf{Z}}$. Consider the lamplighter group $L=C_2\wr\mathbf{Z}$, with generators $u,t$ with $u^2=1$ and $u$ commuting with its conjugates. 
For every $f\in A$, endow $M$ with a structure of an $L$-module, where $t$ acts by the shift $e_i\mapsto e_{i+1}$ and $u$ acts diagonally by $u\cdot e_i=f(i)e_i$. We write it as $M_f$ to emphasize the dependency on $f$.
Each $f\in A$ can be viewed as a bi-infinite word in the letters $\pm 1$.  Let $A'$ be the set of "universal" sequences, that is, those sequences for which every finite word occurs at least once. Then if $f\in A'$, the module $M_f$ is a simple module. Indeed, consider any nonzero element $w=\sum_{i=k}^l a_ie_i$ with $a_k,a_l$ nonzero. Then by the assumption, we can find some conjugate $u'$ of $u$ mapping $e_i$ to $-e_i$ for all $i = k, \dots, l - 1$ and $e_l$ to $e_l$. Then $u'w + w = 2 a_l e_l$ generates $F_p e_l$. In turn using $t$ we get all the other basis elements.
Let $N=F_p[L]$ be the group algebra. Then mapping $1$ to $e_0$ defines a surjective $F_p[L]$-module homomorphism $p_f:N\to M_f$. Let $I_f$ be its kernel. We claim that 
Elements of $L$ can be written as $g=(t^n,P)$ with $P$ a finite subset of $\mathbf{Z}$. Let $\delta(g)$ be the corresponding basis element of $N$. Then $$p_f(\delta(t^n,P))=p_f((t^n,P)\delta(1,\emptyset))=(t^n,P)e_0$$ $$=(t^n,\emptyset)(\prod_{i\in P}f(i))e_0=(\prod_{i\in P}f(i))e_n.$$
In particular, $p_f(\delta(1,\{i\}))=f(i)e_0$, and $p_f(\delta(1,\{i\})-\delta(1,\emptyset))=(f(i)-1)e_0$. In particular, $\delta(1,\{i\})-\delta(1,\emptyset)\in I_f$ iff $f(i)=1$. This shows that $f\mapsto I_f$ is injective.
Since $A'$ is clearly of continuum cardinality, this shows that $(I_f)_{f\in A'}$ is a family of continuum cardinality of maximal submodules of $N$.
Therefore, in the group $N\rtimes L$ (which is solvable of length 3, generated by 3 elements), we have a family $(I_f\rtimes L)_{f\in A'}$ of maximal subgroups, of continuum cardinality. 
Of course we can pull this back to any group having $N\rtimes L$ as a quotient, such as the free solvable group of any length $\ge 3$ on $\ge 3$ generators.

Note: 3 is the minimal derived length. Indeed, finitely generated metabelian groups have maximal subgroups of finite index, hence there are at most countably many. This holds more generally in finitely generated nilpotent-by-polycyclic groups.
