show/hide this revision's text 3 deleted 560 characters in body

Take $G$ to be a non-abelian free group and $h\in G$ not a proper power. Then $H=\langle h\rangle$ is its own centraliser. In particular, for $g\in G\smallsetminus H$,

$h^{m}gh^{-m}\neq h^ngh^{-n}$

if $m\neq n$, so $(g^{h^n})$ is certainly infinite.

Greenberg's Theorem asserts that normal subgroups of $G$ are either of finite index or infinitely generated, so $H$ is certainly not normal.

EDIT: I just noticed your condition on Cartan subalgebras for On re-reading the second question. , I have nothing to say about see that !

FURTHER EDIT:

Any abelian subgroup equal to its own centraliser would work have worked (eg the maximal $\mathbb{Z}$ I misread 'at' as 'for' in the infinite dihedral group)first line. I gave This led me to read the free group example because $H$ isn't normalfirst line as a question. Apologies! My answer is retracted.

show/hide this revision's text 2 deleted 52 characters in body; added 121 characters in body; added 213 characters in body

$hgh^{-1}=kgk^{-1}$ if and only if $k^{-1}h$ commutes with $g$. So your first question is just asking for an infinite abelian subgroup $H$ that is its own centraliser in $G$. There are many examples. For instance, if

Take $G$ is to be a non-abelian free group and $g\in h\in G$ is not a proper powerthen . Then $\langle g\rangle$ H=\langle h\rangle$ is its own centraliser. FurthermoreIn particular, for $g\in G\smallsetminus H$,

$h^{m}gh^{-m}\neq h^ngh^{-n}$

if $m\neq n$, so $(g^{h^n})$ is certainly infinite.

Greenberg's Theorem asserts that normal subgroups of $G$ are either finite-index of finite index or infinitely generated, so $G$ H$ is certainly not normal.

EDIT: I just noticed your condition on Cartan subalgebras for the second question. I have nothing to say about that!

FURTHER EDIT:

Any abelian subgroup equal to its own centraliser would work have worked (eg the maximal $\mathbb{Z}$ in the infinite dihedral group). I gave the free group example because $H$ isn't normal.

show/hide this revision's text 1

$hgh^{-1}=kgk^{-1}$ if and only if $k^{-1}h$ commutes with $g$. So your first question is just asking for an infinite abelian subgroup $H$ that is its own centraliser in $G$. There are many examples. For instance, if $G$ is a non-abelian free group and $g\in G$ is not a proper power then $\langle g\rangle$ is its own centraliser. Furthermore, normal subgroups of $G$ are either finite-index or infinitely generated, so $G$ is certainly not normal.