A biordered set (otherwise known as boset) is a mathematical object that occurs in the description of the structure of the set of idempotents in a semigroup.
The set of idempotents in a semigroup is a biordered set and every biordered set is the set of idempotents of some semigroup. [1] [2] A regular biordered set is a biordered set with an additional property. The set of idempotents in a regular semigroup is a regular biordered set, and every regular biordered set is the set of idempotents of some regular semigroup. [1]
The concept and the terminology were developed by K S S Nambooripad in the early 1970s. [3] [4] [1] In 2002, Patrick Jordan introduced the term boset as an abbreviation of biordered set. [5] The defining properties of a biordered set are expressed in terms of two quasiorders defined on the set and hence the name biordered set.
According to Mohan S. Putcha, "The axioms defining a biordered set are quite complicated. However, considering the general nature of semigroups, it is rather surprising that such a finite axiomatization is even possible." [6] Since the publication of the original definition of the biordered set by Nambooripad, several variations in the definition have been proposed. David Easdown simplified the definition and formulated the axioms in a special arrow notation invented by him. [7]
If X and Y are sets and ρ ⊆ X × Y, let ρ ( y ) = { x ∈ X : x ρ y }.
Let E be a set in which a partial binary operation, indicated by juxtaposition, is defined. If DE is the domain of the partial binary operation on E then DE is a relation on E and (e,f) is in DE if and only if the product ef exists in E. The following relations can be defined in E:
If T is any statement about E involving the partial binary operation and the above relations in E, one can define the left-right dual of T denoted by T*. If DE is symmetric then T* is meaningful whenever T is.
The set E is called a biordered set if the following axioms and their duals hold for arbitrary elements e, f, g, etc. in E.
In M ( e, f ) = ωl ( e ) ∩ ωr ( f ) (the M-set of e and f in that order), define a relation by
Then the set
is called the sandwich set of e and f in that order.
We say that a biordered set E is an M-biordered set if M ( e, f ) ≠ ∅ for all e and f in E. Also, E is called a regular biordered set if S ( e, f ) ≠ ∅ for all e and f in E.
In 2012 Roman S. Gigoń gave a simple proof that M-biordered sets arise from E-inversive semigroups. [8] [ clarification needed ]
A subset F of a biordered set E is a biordered subset (subboset) of E if F is a biordered set under the partial binary operation inherited from E.
For any e in E the sets ωr ( e ), ωl ( e ) and ω ( e ) are biordered subsets of E. [1]
A mapping φ : E → F between two biordered sets E and F is a biordered set homomorphism (also called a bimorphism) if for all ( e, f ) in DE we have ( eφ ) ( fφ ) = ( ef )φ.
Let V be a vector space and
where V = A ⊕ B means that A and B are subspaces of V and V is the internal direct sum of A and B. The partial binary operation ⋆ on E defined by
makes E a biordered set. The quasiorders in E are characterised as follows:
The set E of idempotents in a semigroup S becomes a biordered set if a partial binary operation is defined in E as follows: ef is defined in E if and only if ef = e or ef= f or fe = e or fe = f holds in S. If S is a regular semigroup then E is a regular biordered set.
As a concrete example, let S be the semigroup of all mappings of X = { 1, 2, 3 } into itself. Let the symbol (abc) denote the map for which 1 → a, 2 → b, and 3 → c. The set E of idempotents in S contains the following elements:
The following table (taking composition of mappings in the diagram order) describes the partial binary operation in E. An X in a cell indicates that the corresponding multiplication is not defined.
∗ | (111) | (222) | (333) | (122) | (133) | (121) | (323) | (113) | (223) | (123) |
---|---|---|---|---|---|---|---|---|---|---|
(111) | (111) | (222) | (333) | (111) | (111) | (111) | (333) | (111) | (222) | (111) |
(222) | (111) | (222) | (333) | (222) | (333) | (222) | (222) | (111) | (222) | (222) |
(333) | (111) | (222) | (333) | (222) | (333) | (111) | (333) | (333) | (333) | (333) |
(122) | (111) | (222) | (333) | (122) | (133) | (122) | X | X | X | (122) |
(133) | (111) | (222) | (333) | (122) | (133) | X | X | (133) | X | (133) |
(121) | (111) | (222) | (333) | (121) | X | (121) | (323) | X | X | (121) |
(323) | (111) | (222) | (333) | X | X | (121) | (323) | X | (323) | (323) |
(113) | (111) | (222) | (333) | X | (113) | X | X | (113) | (223) | (113) |
(223) | (111) | (222) | (333) | X | X | X | (223) | (113) | (223) | (223) |
(123) | (111) | (222) | (333) | (122) | (133) | (121) | (323) | (113) | (223) | (123) |
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
In mathematics, a partial functionf from a set X to a set Y is a function from a subset S of X to Y. The subset S, that is, the domain of f viewed as a function, is called the domain of definition or natural domain of f. If S equals X, that is, if f is defined on every element in X, then f is said to be a total function.
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
In mathematics, the concept of an inverse element generalises the concepts of opposite and reciprocal of numbers.
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results. Intuitively, forcing can be thought of as a technique to expand the set theoretical universe to a larger universe by introducing a new "generic" object .
In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial differential equations. In modern geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of r vector fields mesh into coordinate grids on r-dimensional integral manifolds. The theorem is foundational in differential topology and calculus on manifolds.
In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.
In mathematics, a join-semilattice is a partially ordered set that has a join for any nonempty finite subset. Dually, a meet-semilattice is a partially ordered set which has a meet for any nonempty finite subset. Every join-semilattice is a meet-semilattice in the inverse order and vice versa.
In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.
In mathematics, Green's relations are five equivalence relations that characterise the elements of a semigroup in terms of the principal ideals they generate. The relations are named for James Alexander Green, who introduced them in a paper of 1951. John Mackintosh Howie, a prominent semigroup theorist, described this work as "so all-pervading that, on encountering a new semigroup, almost the first question one asks is 'What are the Green relations like?'". The relations are useful for understanding the nature of divisibility in a semigroup; they are also valid for groups, but in this case tell us nothing useful, because groups always have divisibility.
In group theory, an inverse semigroupS is a semigroup in which every element x in S has a unique inversey in S in the sense that x = xyx and y = yxy, i.e. a regular semigroup in which every element has a unique inverse. Inverse semigroups appear in a range of contexts; for example, they can be employed in the study of partial symmetries.
Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories.
In mathematics, a regular semigroup is a semigroup S in which every element is regular, i.e., for each element a in S there exists an element x in S such that axa = a. Regular semigroups are one of the most-studied classes of semigroups, and their structure is particularly amenable to study via Green's relations.
In mathematics, the trace operator extends the notion of the restriction of a function to the boundary of its domain to "generalized" functions in a Sobolev space. This is particularly important for the study of partial differential equations with prescribed boundary conditions, where weak solutions may not be regular enough to satisfy the boundary conditions in the classical sense of functions.
In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group:
K. S. S. Nambooripad was an Indian mathematician who has made fundamental contributions to the structure theory of regular semigroups. Nambooripad was also instrumental in popularising the TeX software in India and also in introducing and championing the cause of the free software movement in India.
In mathematics, Nambooripad order is a certain natural partial order on a regular semigroup discovered by K S S Nambooripad in late seventies. Since the same partial order was also independently discovered by Robert E Hartwig, some authors refer to it as Hartwig–Nambooripad order. "Natural" here means that the order is defined in terms of the operation on the semigroup.
In mathematics, the four-spiral semigroup is a special semigroup generated by four idempotent elements. This special semigroup was first studied by Karl Byleen in a doctoral dissertation submitted to the University of Nebraska in 1977. It has several interesting properties: it is one of the most important examples of bi-simple but not completely-simple semigroups; it is also an important example of a fundamental regular semigroup; it is an indispensable building block of bisimple, idempotent-generated regular semigroups. A certain semigroup, called double four-spiral semigroup, generated by five idempotent elements has also been studied along with the four-spiral semigroup.
In mathematics, an orthodox semigroup is a regular semigroup whose set of idempotents forms a subsemigroup. In more recent terminology, an orthodox semigroup is a regular E-semigroup. The term orthodox semigroup was coined by T. E. Hall and presented in a paper published in 1969. Certain special classes of orthodox semigroups had been studied earlier. For example, semigroups that are also unions of groups, in which the sets of idempotents form subsemigroups were studied by P. H. H. Fantham in 1960.
In mathematics, and more precisely in semigroup theory, a variety of finite semigroups is a class of semigroups having some nice algebraic properties. Those classes can be defined in two distinct ways, using either algebraic notions or topological notions. Varieties of finite monoids, varieties of finite ordered semigroups and varieties of finite ordered monoids are defined similarly.