Let be a polycyclic-by-finite group.

.

Also, is finite.

how to show that is residually finite???

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

Can I claim that is polycyclic and imply 3rd isomorpism theorem?

any other way to prove this problem?