Recent content by carlosdelamora

In what sense do you mean that G/H is a semi-group? the only way I can think you want to define the multiplication is by saying xHyH=xyH. That would impose the condition of H being a normal subgroup and therefore G/H not only a semigroup but a group.