Podgrupa normalna (niezmiennicza, dzielnik normalny) – dla danej grupy rodzaj podgrupy umożliwiający utworzenie grupy ilorazowej. W języku algebry ogólnej podgrupy normalne to kongruencje w grupach[potrzebny przypis].