xH * y H = (xy)H