polugrupa, u matematici, jedna od najjednostavnijih algebarskih struktura; neprazan skup A u kojem je svakomu paru elemenata a, b iz skupa A pridružena binarna matematička operacija, npr. produkt ab, također element iz skupa A, s tim da je produkt ab asocijativan, tj. za bilo koje elemente a, b, c iz skupa A vrijedi (ab)c = a(bc).
Primjer je polugrupe skup prirodnih brojeva N = {1, 2, 3, …, n, …} s operacijom zbrajanja (ne sadrži neutralni element, tj. broj nula).
