Description: The structure power on an Abelian group is Abelian. (Contributed by Mario Carneiro, 21-Jan-2015)