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.

On identities of indicator burnside semigroups

The Burnside ai-semiring variety defined by $x^n\approx x$

Distinguished elements in semiring extensions

Exponential semi-polynomials and their characterization on semigroups

Semiring identities of the semigroup

Unboundedness of irreducible decompositions of numerical semigroups

On unboundedness of some invariants of $\mathcal{C}$-semigroups

Semi-covariety of numerical semigroups

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

Varieties of monoids with a distributive subvariety lattice

A note on idempotent semirings

Equations in Burnside groups

REES MATRIX THEOREM FOR $\Mathcal{d}^{(\ell)}$-Simple STRONGLY RPP SEMIGROUPS

Proofs of definability of some varieties and sets of varieties of semigroups

Ends of semigroups

On semisubtractive ideals of semirings

Cyclically regular semigroups

Valuation Semirings

m-irreducible numerical semigroups

On inverse ordered semigroups