Birim öğe

Matematikte birim öğe veya birim eleman ya da nötr eleman, bir kümenin özel bir öğesidir. Bir kümede herhangi bir öğeyle işleme girdiğinde yine aynı öğeyi verir. Genel olarak e ile gösterilir.

Her a ${\displaystyle \in }$ A için öyle bir e ${\displaystyle \in }$ A vardır ki ea=ae=a olur.

A kümesinde tanımlı bir ${\displaystyle \triangle }$ işlemi için, bu kümedeki her eleman için ${\displaystyle x\triangle e=e\triangle x=x}$ olacak şekilde bir "e" elemanı varsa "e"ye ${\displaystyle \triangle }$ işleminin etkisiz elemanı (ya da birim elemanı) denir.

Örneğin, toplama işleminin etkisiz elemanı 0 iken çarpma işlemininki 1 dir. Bu öğenin kümede biricik olduğu rahatlıkla gösterilebilir:

Diyelim bu koşulu sağlayan iki birim öğe var: e ve e' . Eğer bu ikisini işleme sokarsak, e=ee'=e'e=e' olduğu görülür.