Индекс подгруппы H {\displaystyle H} в группе G {\displaystyle G} ― число классов смежности в каждом (правом или левом) из разложений группы G {\displaystyle G} по этой подгруппе H {\displaystyle H} (в бесконечном случае ― мощность множества этих классов).
Индекс подгруппы H {\displaystyle H} в группе G {\displaystyle G} обычно обозначается [ G : H ] {\displaystyle [G:H]} .