Grupa ilorazowa – zbiór warstw danej grupy względem jej pewnej podgrupy normalnej, tj. szczególny podział grupy (na niepuste podzbiory) uwzględniający jej strukturę, który sam tworzy grupę z naturalnie określonym działaniem pochodzącym od grupy wyjściowej. Z teoriomnogościowego punktu widzenia jest to zbiór ilorazowy, w którym wprowadzono zgodne z działaniem w grupie działanie na klasach relacji równoważności wyznaczającej wspomniany podział.
W przypadku grup w zapisie addytywnym powinno mówić się formalnie o „grupach różnicowych”, zamiast bardziej adekwatnych w zapisie multiplikatywnym „grupach ilorazowych”W związku z tym zamiast dalej omawianej notacji „” dla grupy ilorazowej wraz z nazwą „grupa różnicowa” stosowana powinna być notacja „”; nawet mimo to, że notacja warstw w zapisie multiplikatywnym ma postać a w addytywnym – „” (warstwy są elementami grup ilorazowych/różnicowych)., co czynili klasyczni badacze teorii grup, np. Zariski i Samuel, czy Jacobson; współcześnie stosuje się wyłącznie nazewnictwo i notację multiplikatywną – nawet w przypadku grup w zapisie addytywnym, zob. Lang, czy Fuchs.