Orthodox Semigroup¶
A regular semigroup whose idempotents are closed under multiplication, equivalently one in which chosen inverses of two factors compose in reverse order to an inverse of their product.
Core Idea¶
An orthodox semigroup is a semigroup \(S\) satisfying two linked requirements. First, it is regular: for every \(a\in S\), there is some \(x\in S\) such that \(axa=a\) and \(xax=x\). Such an \(x\) is an inverse of \(a\), although it need not be unique. Second, its idempotents are closed under multiplication. Writing
the second condition says that \(e,f\in E(S)\) implies \(ef\in E(S)\). Because the ambient operation is already associative, \(E(S)\) is then a subsemigroup—and specifically a band, a semigroup all of whose elements are idempotent.
Scope of Application¶
The construct belongs to regular-semigroup structure theory. It is used when generalized inverses exist but uniqueness is too restrictive, and when the behavior of idempotents must still be algebraically tractable. Its scope includes congruences on regular semigroups, decompositions by principal factors, ideal extensions, bands of idempotents, covers, and comparisons with inverse semigroups.
Hall proved that homomorphic images of orthodox semigroups are orthodox and that a semigroup with ideal \(I\) is orthodox exactly when both \(I\) and the Rees quotient \(S/I\) are orthodox. For finite semigroups this supports a principal-factor criterion.
Clarity¶
A reader can decide membership through the following procedure.
- Confirm one associative operation on \(S\).
- For every \(a\), show \(V(a)\neq\varnothing\); equivalently supply an inverse \(x\) satisfying both sandwich equations.
- Find \(E(S)\) and check \(ef\in E(S)\) for every pair \(e,f\in E(S)\).
Manages Complexity¶
Regular semigroups allow many inverses per element, so an argument about products could require tracking choices in \(V(a)\) and \(V(b)\) independently. Orthodoxy compresses that choice explosion: every allowed pair composes in reverse order to an allowed inverse of the product. The closed band \(E(S)\) similarly turns a distinguished subset that is generally not closed in a regular semigroup into an algebraic object with its own band structure.
Abstract Reasoning¶
Diagnostic inference. If \(e\) is idempotent in a regular semigroup and some \(x\in V(e)\) is not idempotent, the semigroup is not orthodox. This supplies a single-witness refutation. Dually, proving the reverse-order inverse condition for all factors certifies orthodoxy without separately enumerating all idempotent products.
Knowledge Transfer¶
The full mechanism transfers literally among subareas that use semigroups: abstract algebra, transformation semigroups, regular-semigroup congruence theory, and finite-semigroup structure. The carrier and representation may change, but \(V(a)\), \(E(S)\), idempotent closure, and the reverse-order condition remain exact.
It does not clear the prime bar. Outside semigroup theory, “orthodox” often means conventional, and “idempotent” may be used for operations without a regular-semigroup inverse calculus. Those lexical echoes are not instances. The portable residue is already captured by the live prime Semigroup, together with its parent properties Associativity and Closure.
Relationships to Other Abstractions¶
Current abstraction Orthodox Semigroup Domain-specific
Parents (1) — outgoing typed relations
-
Orthodox Semigroup is a kind of Semigroup Prime
Orthodox Semigroup specializes the live prime
semigroup: every orthodox semigroup is a semigroup, while most semigroups are not regular and regular semigroups need not have closed idempotents.
Hierarchy paths (4) — routes to 4 parentless roots
- Orthodox Semigroup → is a kind of Semigroup → is a kind of Set and Membership
- Orthodox Semigroup → is a kind of Semigroup → includes Closure
- Orthodox Semigroup → is a kind of Semigroup → includes Associativity → is a kind of Invariance
- Orthodox Semigroup → is a kind of Semigroup → includes Associativity → is a kind of Symmetry
Neighborhood in Abstraction Space¶
Orthodox Semigroup sits in a sparse region of the domain-specific corpus (71st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Operations & Quasigroup Structures (13 abstractions)
Nearest neighbors
- Symmetric inverse semigroup — 0.86
- Catholic Semigroup — 0.86
- Inverse Semigroup — 0.84
- Biordered set — 0.83
- Inverse Element — 0.83
Computed from structural-signature embeddings · 2026-10-25