И́ндекс подгру́ппы в группе $G$, число смежных классов в каждом из разложений группы $G$ по этой подгруппе $H$ (в бесконечном случае – мощность множества этих классов). Если число смежных классов конечно, то $H$ называется подгруппой конечного индекса в $G$. Пересечение конечного числа подгрупп конечного индекса само имеет конечный индекс (теорема Пуанкаре). Индекс подгруппы $H$ в группе $G$ обычно обозначается $|G: H|$. Произведение порядка подгруппы $H$ на её индекс $|G: H|$ равно порядку группы $G$ (теорема Лагранжа). Это соотношение имеет место как для конечной группы $G$, так и в случае бесконечной $G$ – для соответствующих мощностей.