Let $\displaystyle A$ be a polycyclic-by-finite group.

$\displaystyle \langle a \rangle, \langle b \rangle \in center(A)$.

Also, $\displaystyle \langle a \rangle / (N \cap \langle a \rangle)$ is finite.

how to show that $\displaystyle A/(N\cap \langle a \rangle)$ is residually finite???

Is polycyclic-by-finite group finitely generated? If yes, then the proof just walks out.

Can I claim that $\displaystyle \langle a \rangle$ is polycyclic and imply 3rd isomorpism theorem?

any other way to prove this problem?