Related papers: Two nonfinitely based additively idempotent semiri…

Let $S$ be a multiplicatively idempotent congruence-simple semiring. We show that $|S|=2$ if $S$ has a multiplicatively absorbing element. We also prove that if $S$ is finite then either $|S|=2$ or $S\cong End(L)$ or $S^{op}\cong End(L)$…

In this paper, we describe finite, additively commutative, congruence simple semirings. The main result is that the only such semirings are those of order 2, zero-multiplication rings of prime order, matrix rings over finite fields, those…

We prove that a commutative parasemifield S is additively idempotent provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively…

The semigroup $B_0$ is the only, up to isomorphism, 4-element subsemigroup of the 5-element Brandt semigroup $B_2$. Being an inverse semigroup, the semigroup $B_2$ can naturally be considered an additively idempotent semiring and $B_0$ is…

Let $P$ be a finitely generated commutative semiring. It was shown recently that if $P$ is a parasemifield (i.e. the multiplicative reduct of $P$ is a group) then $P$ cannot contain the positive rationals $\mathbb{Q}^+$ as its subsemiring.…

For every semilattice $\mathcal{A}=(A,+)$, the set $\mathrm{End}(\mathcal{A})$ of its endomorphisms forms a semiring under pointwise addition and composition. We prove that that if $\mathcal{A}$ is finite, then the endomorphism semiring…

We prove that the interval $[\mathsf{V}(S_7),\mathsf{V}(B_2^1)]$ in the lattice of additively idempotent semiring (ai-semiring) varieties has the cardinality of the continuum,where $S_7$ is the smallest nonfinitely based ai-semiring (a…

The 6-element Brandt monoid $B_2^1$ admits a unique addition under which it becomes an additively idempotent semiring. We show that this addition is a term operation of $B_2^1$ as an inverse semigroup. As a consequence, we exhibit an easy…

We prove that a semiring multiplicatively generated by its idempotents is commutative and Boolean, if every idempotent in the semiring has an orthogonal complement. We prove that a semiring additively generated by its idempotents is…

Idempotents yield much insight in the structure of finite semigroups and semirings. In this article, we obtain some results on (multiplicatively) idempotents of the endomorphism semiring of a finite chain. We prove that the set of all…

We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to show that the 9-element monoid $L_4^1$ is non-finitely based. The monoid $L_4^1$ was the only unsolved case in the finite basis…

For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty…

We investigate invertible matrices over finite additively idempotent semirings. The main result provides a criterion for the invertibility of such matrices. We also give a construction of the inverse matrix and a formula for the number of…

We prove that the variety V of commutative multiplicatively idempotent semirings satisfying x + y + xyz = x + y is generated by single semirings. Moreover, we describe a normal form system for terms in V and we show that the word problem in…

In this paper, we investigate zero-divisor, nilpotent, idempotent, unit, small, and irreducible elements in semiring extensions such as amount, content, and monoid semialgebras. We also introduce new concepts such as the prime avoidance…

The finite basis property is often connected with the finite rank property, which it entails. Many examples have been produced of finite rank varieties which are not finitely based. In this note, we establish a result on nilpotent…

We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to Lee monoids $L_\ell^1$, obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$…

We exhibit a simple condition under which a finite involutary semigroup whose semigroup reduct is inherently nonfinitely based is also inherently nonfinitely based as a unary semigroup. As applications, we get already known as well as new…

A general result by Jackson (Flat algebras and the translation of universal Horn logic to equational logic, J. Symb. Log. 73(1) (2008) 90--128) implies that the lattice of all quasivarieties of groups of exponent dividing $n$ embeds into…

We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite $\mathcal{R}$-trivial semigroup. This provides unified…