Let A be an elementary substructure of a strongly complete abelian profinite group and fix a valuation v on (A,+) with good properties. Then the valued abelian group (A,+,v) has quantifier elimination in a reasonable language and is dp-minimal.