Abstract:We extend the definition of a one-sided identity and a one-sided zero with respect to an entire set with a binary operation to subsets of a set with a binary operation. Given a set $S$ with a binary operation and a subset $A$ of $S$, $lidentity(A)$ is the set of all $b \in S$ such that $ba=a$ for all $a \in A$. There is a similar definition for $ridentity(A)$. Also given a set $S$ with a binary operation and a subset $A$ of $S$, $lzero(A)$ is the set of all $b \in S$ such that $ba=b$ for all $a \in A$. There is a similar definition for $rzero(A)$. In any semigroup or groupoid, every one-sided identity or zero is an idempotent, and every idempotent is a one-sided identity or zero for some subsemigroup or subgroupoid. In particular, every one-sided identity or zero of a maximal subsemigroup of a specific type is an idempotent, and every idempotent is a one-sided identity or zero for some maximal subsemigroup of a specific type. These types include groups, left [right] zero semigroups, and left [right] groups. It has been shown that every idempotent of a semigroup is the identity of a maximal subgroup of that semigroup. We show that every idempotent of a semigroup exists in a maximal left [right] zero subsemigroup. For each idempotent of a semigroup, we describe all rectangular band subsemigroups containing that idempotent. We also show that every idempotent of a semigroup exists in a maximal right [left] subgroup.

Ideals of quasi-absorbing elements in semigroups

Special Ideals in Partial Abelian Monoids

On semisubtractive ideals of semirings

One-sided identity and zero sets in semigroups; maximal subsemigroups of certain types

Ideals in quantales, II

On ideals in quantales -- I

On $z$-ideals and $z$-closure operations of semirings, I

On z-ideals and z-closure operations of semirings, I

Remark on quasi-ideals of ordered semigroups

On ideals of affine semigroups and affine semigroups with maximal embedding dimension

Subtractive spaces of semirings

Distinguished elements in semiring extensions

The maximal subsemigroups of the ideals in a monoid of partial injections

Unitary Cuntz semigroups of ideals and quotients

Ideally exact categories

Ideals, quotients, and continuity of the Cuntz semigroup for rings

Ideals in Bipolar Quantum Linear Algebra

On $S$-$n$-absorbing ideals

Semigroups of ideals and isomorphism problems

Absolute ideals of almost completely decomposable abelian groups

On Q-Fuzzy Ideals in Gamma-Semigroups