An equivalent definition of the profinite group Posted by Li Zhan, at math.stackexchange.com, 04 Aug 2011 A profinite group is by defination a topological group $G$ which is Hausdorff , compact and totally disconnected. How to prove…