En "grupos abelianos multiplicativos", la propiedad conmutativa se expresa de esta manera: