Como consecuencia de lo anterior, los grupos heredan las propiedades de los semigrupos, monoides y, por supuesto, de magmas.