 If formula_76 is a cofinal sequence (i.e., any normal subgroup of finite index contains some formula_91), then this completion is canonical in the sense that it is isomorphic to the inverse limit of formula_92, where formula_76 varies over normal subgroups of finite index.For further details, see ch.I.10 in Lang's "Algebra".