Примити́вная гру́ппа подстано́вок, группа подстановок $(G ; M)$, сохраняющая лишь тривиальные отношения эквивалентности на множестве $M$ (т. е. равенство и аморфную эквивалентность). Изучаются главным образом конечные примитивные группы подстановок.

Примитивная группа подстановок транзитивна, и всякая 2-транзитивная группа примитивна. В точности 1-транзитивные (т. е. не являющиеся уже 2-транзитивными) группы подстановок называются унипримитивными. Коммутативными примитивными группами подстановок являются циклические группы простого порядка и только они. Транзитивная группа подстановок примитивна тогда и только тогда, когда стабилизатор $G_\alpha$ каждой точки $\alpha \in M$ есть максимальная подгруппа в группе $G$. Другой признак примитивности основан на сопоставлении каждой транзитивной группе $(G ; M)$ её графов, соответствующих бинарным орбитам этой группы. Группа $(G ; M)$ примитивна тогда и только тогда, когда графы, соответствующие нерефлексивным 2-орбитам, связны. Число 2-орбит называется рангом группы $(G ; M)$. Ранг равен 2 для дважды транзитивных групп, а ранг унипримитивной группы не меньше 3.

Всякий неединичный нормальный делитель примитивной группы подстановок транзитивен. Всякая транзитивная группа подстановок погружается в кратное сплетение примитивной группы подстановок (правда, такое представление не однозначно).

Многие вопросы теории групп подстановок сводятся к обозрению примитивной группы подстановок. Известен список всех примитивных групп подстановок степени $\leqslant 50$ (Погорелов. 1980). Изучаются связи между примитивными группами подстановок и простыми конечными группами.

Обобщение понятия примитивной группы подстановок – кратно примитивные группы. Группа подстановок $(G ; M)$ называется $k$ раз примитивной, если она $k$ раз транзитивна и фиксатор $(k-1)$-й точки действует примитивно на остальных точках.