We prove that the endomorphism monoid of the infinite random graph R contains as a submonoid an isomorphic copy of each countable monoid. As a corollary, the monoid of R does not satisfy any non-trivial semigroup identity. We also prove that the full transformation monoid on a countably infinite set is isomorphic to a submonoid of the monoid of R.

According to a result by K. B. Lee, the lattice of varieties of pseudocomplemented distributive lattices is the ui + 1 chain B_i C Bo C Bi C • ■ ■ C Bn C •■ • C Bw in which the first three varieties are formed by trivial, Boolean, and Stone algebras respectively. In the present paper it is shown that any Stone algebra is determined within Bi by its endomorphism monoid, and that there are at mos...

An effective characterization of piecewise testable languages was given by Simon in 1972. A difficult part of the proof is to show that if L has a J -trivial syntactic monoid M(L) then L is k-piecewise testable for a suitable k. By Simon’s original proof, an appropriate k could be taken as two times the maximal length of a chain of ideals in M(L). In this paper we improve this estimate of k usi...

It is the purpose of this paper to construct unique factorization (uf) monoids and domains. The principal results are: (1) The free product of a well-ordered set of monoids is a uf-monoid iff every monoid in the set is a uf-monoid. (2) If M is an ordered monoid and F is a field, the ring ^[[iW"]] of all formal power series with well-ordered support is a uf-domain iff M is naturally ordered (i.e...

A new digital signature scheme in non-commutative Gaussian monoid is presented. Two algebraic structures are employed: Gaussian monoid and a certain module being compatible with a monoid. For both monoid and module, presentation and action level attributes are defined. Monoid action level is defined as monoid element (word) action on module element as an operator. A module is a set of functions...

We study a monoid associated to complex semisimple Lie algebras, called the quantic monoid. Its monoid ring is shown to be isomorphic to a degenerate quantized enveloping algebra. Moreover, we provide normal forms and a straightening algorithm for this monoid. All these results are proved by a realization in terms of representations of quivers, namely as the monoid of generic extensions of a qu...

A semigroup S is called left ample if it can be embedded in the symmetric inverse IX of partial bijections a non-empty set X such that image closed under unary operation α → αα⁻¹, where α⁻¹ IX. Right semigroups are defined dually. both and right ample. monoid (left, right) as semigroup. We observe dominion an subsemigroup coincides with generated by it. then determine dominions certain submonoi...

The dual symmetric inverse monoid I ∗ n is the inverse monoid of all isomorphisms between quotients of an n-set. We give a monoid presentation of I ∗ n and, along the way, establish criteria for a monoid to be inverse when it is generated by completely regular elements.

In this paper we define and study what we call the double Catalan monoid. This monoid is the image of a natural map from the 0-Hecke monoid to the monoid of binary relations. We show that the double Catalan monoid provides an algebraization of the (combinatorial) set of 4321-avoiding permutations and relate its combinatorics to various off-shoots of both the combinatorics of Catalan numbers and...