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?