Un (L)-semigrupo es una variedad compacta con frontera conectada junto con una estructura de monoid en tal que es un subsemigrupo de . La suma de dos (L)-semigrupos y teniendo frontera es el espacio cociente obtenido a partir de la unión de y al identificar el punto en con en para cada en . Se muestra que ningún (L)-semigrupo suma de dimensión menor o igual a cinco admite una estructura de H-espacio, ni tampoco ninguna suma de (L)-semigrupos obtenida a partir de (L)-semigrupos que tienen una frontera abeliana. En particular, tales sumas no pueden ser retractos de un grupo topológico.