You are here
Homeabsorbing element
Primary tabs
absorbing element
An element $\zeta$ of a groupoid $(G,\,*)$ is called an absorbing element (in French un élément absorbant) for the operation “$*$”, if it satisfies
$\zeta\!*\!a\;=\;a\!*\!\zeta\;=\;\zeta$ 
for all elements $a$ of $G$.
Examples

The zero $0$ is the absorbing element for multiplication (or multiplicatively absorbing) in every ring $(R,\,+,\,\cdot)$.

The zero ideal $(0)$ is absorbing for ideal multiplication.

The zero vector $\vec{0}$ is the absorbing element for the vectoral multiplication “$\times$”.

The empty set $\varnothing$ is the absorbing element for the intersection operation “$\cap$” and also for the Cartesian product “$\times$”.

In an upper semilattice, an element is absorbing iff it is the top element. Dually, an element is absorbing iff it is the bottom element in a lower semilattice.
As the examples give reason to believe, the absorbing element for an operation is always unique. Indeed, if in addition to $\zeta$ we have in $G$ another absorbing element $\eta$, then we must have $\eta=\zeta\!*\!\eta=\zeta$.
Because $\zeta\!*\!\zeta=\zeta$, the absorbing element is idempotent.
Mathematics Subject Classification
20N02 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis
Apr 20
new image: informationtheoreticdistributedmeasurementdds.png by rspuzio
new image: informationtheoreticdistributedmeasurement4.2 by rspuzio
new image: informationtheoreticdistributedmeasurement4.1 by rspuzio
new image: informationtheoreticdistributedmeasurement3.2 by rspuzio
new image: informationtheoreticdistributedmeasurement3.1 by rspuzio
new image: informationtheoreticdistributedmeasurement2.1 by rspuzio
Apr 19
new collection: On the InformationTheoretic Structure of Distributed Measurements by rspuzio
Apr 15
new question: Prove a formula is part of the Gentzen System by LadyAnne
Mar 30
new question: A problem about Euler's totient function by mbhatia
Corrections
Also mentions by CWoo ✓
minor by CWoo ✓
absorbing elements in semilattices by CWoo ✓