幂等（idempotent、idempotence）是一个数学与计算机学概念，常见于抽象代数中。

在编程中一个幂等操作的特点是其任意多次执行所产生的影响均与一次执行的影响相同。幂等函数，或幂等方法，是指可以使用相同参数重复执行，并能获得相同结果的函数。这些函数不会影响系统状态，也不用担心重复执行会对系统造成改变。例如，“setTrue()”函数就是一个幂等函数，无论多次执行，其结果都是一样的。更复杂的操作幂等保证是利用唯一交易号(流水号)实现.

在数学里，幂等有两种主要的定义。

在某二元运算下，幂等元素是指被自己重复运算(或对于函数是为复合)的结果等于它自己的元素。例如，乘法下仅有两个幂等实数，为0和1。

某一元运算为 幂等的时，其作用在任一元素两次后会和其作用一次的结果相同。例如，高斯符号便是幂等的。

一元运算的定义是二元运算定义的特例

设 S为一具有作用于其自身的二元运算的集合，则 S的元素 s称为幂等的(相对于*)当

s * s = s.

特别的是，任一单位元都是幂等的。若 S的所有元素都是幂等的话，则其二元运算*被称做是幂等的。例如，联集和交集的运算便都是幂等的。

设 f为一由 X映射至 X的一元运算，则 f为幂等的，当对于所有在 X内的 x，

f( f( x)) = f( x).

特别的是，恒等函数一定是幂等的，且任一常数函数也都是幂等的。

注意当考虑一由 X至 X的所有函数所组成的集合 S时。在 f在一元运算下为幂等的若且唯若在二元运算下， f相对于其复合运算(标记为 o)会是幂等的。这可以写成 f o f = f。

如上述所说，恒等函数和常数函数总会是幂等的。较不当然的例子有实数或复数引数的绝对值函数，以及实数引数的高斯符号。

将一拓扑空间 X内各子集 U映射至 U闭包的函数在 X的幂集上是幂等的。这是闭包运算元的一个例子；所有个闭包运算元都会是幂等函数。

定义上，环的幂等元素为一相对于环乘法为幂等的元素。可以定义一于环幂等上的偏序：若e和f为幂等的，当ef= fe= e时，标记为e≤ f。依其顺序，0会是最小幂等元素，而1为最大幂等元素。

若 e在环 R内为幂等的，则 eRe一样会是个乘法单位元为 e的环。

两个幂等元素 e和 f被称为 正交的当 ef= fe=0。在此一情形下， e+ f也是幂等的，且有 e ≤ e + f和 f ≤ e + f。

若 e在环 R内为幂等的，则 f = 1 − e也会是幂等的，且 e和 f正交。

一在 R内的幂等元素 e称为 核心的，若对所有在 R内的 x， ex= xe。在此情形之下， Re会是个乘法单位元为 e的环。 R的核心幂等元素和 R的分解为环的直和有很直接的关接。若 R为环 R、...、 R的直和，则环 R的单位元在 R内为核心幂等的，相互正交，且其总和为1。相反地，给出 R内给相互正交且总和为1的核心幂等元素 e、...、 e，则 R会是环 Re、...、 Re的直和。所有较有趣的是，每一于 R内的核心幂等 e都会给出一 R的分解－ Re和 R(1 − e)的直和。

任一不等于0和1的幂等元素都是零因子(因为 e(1 − e) = 0)。这表示了整环及除环都不会存在此种幂等元素。局部环也没有此种幂等元素，但理由有点不同。唯一包含于一环的雅各布森根内的幂等元素只有0。共四元数环内会有一幂等元素组成的悬链曲面。

所有元素都幂等的环称做布尔环。可证明在每一此类环内，乘法都是可交换的，且每一元素都有其各自的加法逆元。

幂等运算也可以在布林代数内找到。逻辑和与逻辑或便都是幂等运算。

在线性代数里，投射是幂等的。亦即，每一将向量投射至一子空间V(不需正交)上的线性算子，都是幂等的。

一幂等半环为其 加法(非乘法)为幂等的半环。