Let $G$ be a finitely presented group and $N$ a normal subgroup. Is $N$ finitely generated or normally finitely generated? Here normally finitely generation means that for some finite set $S$ of elements in $N$, every element of $N$ can be writen as a product of $G$conjugation of elements in $S$. Thanks.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
If $G$ is the free group on two generators, then $N$ the commutator subgroup is not finitely generated. If $H$ is any finitely generated, but not finitely presented group, then $H$ is the quotient of a finitely generated free group $G$, with kernel $N$ which is not normally finitely generated. Steve 

