Weak polynomial identities and their applications

Let R be an associative algebra over a field K generated by a vector subspace V. The polynomial f(x 1, . . . , xn ) of the free associative algebra K〈x 1, x 2, . . .〉 is a weak polynomial identity for the pair (R, V) if it vanishes in R when evaluated on V. We survey results on weak polynomial identities and on their applications to polynomial identities and central polynomials of associative and close to them nonassociative algebras and on the finite basis problem. We also present results on weak polynomial identities of degree three.

THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE

Up to isomorphism, there are 61 ai-semirings of order three. The finite basis problem for these semirings is investigated. This problem for 45 semirings of them is answered by some results in the literature. The remaining semirings are studied using equational logic. It is shown that with the possible exception of the semiring \(S_7\), all ai-semirings of order three are finitely based.

THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES

Let $T_{n}(\mathbb{F})$ be the semigroup of all upper triangular $n\times n$ matrices over a field $\mathbb{F}$. Let $UT_{n}(\mathbb{F})$ and $UT_{n}^{\pm 1}(\mathbb{F})$ be subsemigroups of $T_{n}(\mathbb{F})$, respectively, having $0$s and/or $1$s on the main diagonal and $0$s and/or $\pm 1$s on the main diagonal. We give some sufficient conditions under which an involution semigroup is nonfinitely based. As an application, we show that $UT_{2}(\mathbb{F}),UT_{2}^{\pm 1}(\mathbb{F})$ and $T_{2}(\mathbb{F})$ as involution semigroups under the skew transposition are nonfinitely based for any field $\mathbb{F}$.

THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES

For each positive $n$, let $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ denote the identity obtained from the Adjan identity $(xy)(yx)(xy)(xy)(yx)\approx (xy)(yx)(yx)(xy)(yx)$ by substituting $(xy)\rightarrow (x_{1}x_{2}\ldots x_{n})$ and $(yx)\rightarrow (x_{n}\ldots x_{2}x_{1})$. We show that every monoid which satisfies $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ for each positive $n$ and generates a variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid $U_{2}(\mathbb{T})$ (respectively, $U_{2}(\overline{\mathbb{Z}})$) of two-by-two upper triangular tropical matrices over the tropical semiring $\mathbb{T}=\mathbb{R}\cup \{-\infty \}$ (respectively, $\overline{\mathbb{Z}}=\mathbb{Z}\cup \{-\infty \}$) is nonfinitely based.

The Finite Basis Problem for Kiselman Monoids

In an earlier paper, the second-named author has described the identities holding in the so-called Catalan monoids. Here we extend this description to a certain family of Hecke-Kiselman monoids including the Kiselman monoids K