In this paper, we prove that
the homotopy localization of an ACn-space is an ACn-space so that the
universal map is an ACn-map. This result is used to study the higher homotopy
commutativity of H-spaces with finitely generated cohomology over the Steenrod
algebra 𝒜p∗. Our result shows that for any prime p, if X is a connected
ACp-space whose mod p cohomology H∗(X; ℤ∕p) is finitely generated as an
algebra over 𝒜p∗, then X has the mod p homotopy type of a Postnikov
H-space.