Идемпоте́нт (идемпотентный элемент), элемент $e$ кольца, полугруппы или группоида, равный своему квадрату: $e^2=e$. Говорят, что идемпотент $e$ содержит идемпотент $f$ (обозначается $e \geqslant f$), если $e f=e=f e$. Для ассоциативных колец и полугрупп отношение $\geqslant$ является отношением частичного порядка в множестве $E$ идемпотентных элементов и называется естественным частичным порядком на множестве $E$. Два идемпотента $u$ и $v$ кольца называются ортогональными, если $u v=0=v u$. С каждым идемпотентом кольца (а также с каждой системой ортогональных идемпотентов) связано т. н. пирсовское разложение кольца. Для $n$-арной алгебраической операции $\omega$ идемпотентом называют такой элемент $e$, что $\underbrace{(e \ldots e)}_n \omega=e$.