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.

Two Kinds of Idempotent Semirings with Identity Element

A note on idempotent semirings

The existence of identity of orthodox semigroup rings

D-subvarieties of the variety of idempotent semirings

$ {\cal L} $-Subvarieties of the Variety of Idempotent Semirings

Distinguished elements in semiring extensions

A Hua-Like Theorem in Semirings

The lattice of idempotent distributive semiring varieties

Iséki spaces of semirings

Classical semirings

Semiring identities of the semigroup

Two Identities relating Eisenstein series on classical groups

The Structure of Semiconic Idempotent Commutative Residuated Lattices

The Case for Inverse Semirings

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

On semisubtractive ideals of semirings

Semirings generated by idempotents

Rings Whose Non-Invertible Elements Are Nil-Clean

Some aspects of $k$-ideals of semirings

Algebraic properties of Indigenous semirings

On Maximal Ineals and Ordered Idempotent of Commutative Ordered Semigroups