Profinite abelian group (source code)

= Profinite abelian group

A profinite abelian group is an inverse limit of finite <abelian groups>. Its topology is compact and totally disconnected. An abelian <pro-p group> acquires scalar multiplication by <p-adic integers> by taking limits of integer multiples.