• Structure theorem for finite generated abelian profinite group