En
delgrupp eller
undergrupp är ett
matematiskt objekt inom
gruppteori. Om vi har en
grupp G med en
binär operation *, säger vi att en
delmängd H av
G är en delgrupp till
G om
H också är en grupp under operationen *. Mer precist är
H en delgrupp till
G om inskränkningen av * till
H x H är en gruppoperation på
H. Detta skrivs vanligtvis
H ≤
G, utläst "
H är en delgrupp till
G".