Showing 1–31 of 31 results for author: Gusev, S V

Varieties of monoids with a distributive subvariety lattice

Authors: Sergey V. Gusev

Abstract: A monoid is aperiodic if all its subgroups are trivial. We completely classify all varieties of aperiodic monoids whose subvariety lattice is distributive. A monoid is aperiodic if all its subgroups are trivial. We completely classify all varieties of aperiodic monoids whose subvariety lattice is distributive. △ Less

Submitted 22 March, 2024; v1 submitted 27 February, 2024; originally announced March 2024.

Comments: 14 pages. arXiv admin note: substantial text overlap with arXiv:2308.11544; text overlap with arXiv:2204.11055

MSC Class: 20M07 (Primary); 08B15 (Secondary)

The finite basis problem for endomorphism semirings of finite chains

Authors: Sergey V. Gusev, Mikhail V. Volkov

Abstract: For every semilattice $\mathcal{S}=(S,+)$, the set $\mathrm{End}(\mathcal{S})$ of its endomorphisms forms a semiring under point-wise addition and composition. We prove that the semiring of all endomorphisms of the 3-element chain has no finite identity basis. This, combined with earlier results by Dolinka (The finite basis problem for endomorphism semirings of finite semilattices with zero, Algeb… ▽ More For every semilattice $\mathcal{S}=(S,+)$, the set $\mathrm{End}(\mathcal{S})$ of its endomorphisms forms a semiring under point-wise addition and composition. We prove that the semiring of all endomorphisms of the 3-element chain has no finite identity basis. This, combined with earlier results by Dolinka (The finite basis problem for endomorphism semirings of finite semilattices with zero, Algebra Universalis 61, 441-448 (2009)), gives a complete solution to the finite basis problem for semirings of the form $\mathrm{End}(\mathcal{S})$ where $\mathcal{S}$ is a finite chain. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 22 pages, 9 figures

MSC Class: 16Y60; 08B05; 20M18

Semiring and involution identities of powers of inverse semigroups

Authors: Igor Dolinka, Sergey V. Gusev, Mikhail V. Volkov

Abstract: The set of all subsets of any inverse semigroup forms an involution semiring under set-theoretical union and element-wise multiplication and inversion. We find structural conditions on a finite inverse semigroup guaranteeing that neither semiring nor involution identities of the involution semiring of its subsets admit a finite identity basis. The set of all subsets of any inverse semigroup forms an involution semiring under set-theoretical union and element-wise multiplication and inversion. We find structural conditions on a finite inverse semigroup guaranteeing that neither semiring nor involution identities of the involution semiring of its subsets admit a finite identity basis. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 9 pages

MSC Class: 16Y60; 20M18; 08B05

Journal ref: Communications in Algebra 52, No. 5 (2024), 1922-1929

Varieties of aperiodic monoids with commuting idempotents whose subvariety lattice is distributive

Authors: Sergey V. Gusev

Abstract: We completely classify all varieties of aperiodic monoids with commuting idempotents whose subvariety lattice is distributive. We completely classify all varieties of aperiodic monoids with commuting idempotents whose subvariety lattice is distributive. △ Less

Submitted 20 December, 2023; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 77 pages. In version 2, a lot typos are fixed

MSC Class: 20M07

Strongly nonfinitely based monoids

Authors: Sergey V. Gusev, Olga B. Sapir, Mikhail V. Volkov

Abstract: 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 semigroup. 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 semigroup. △ Less

Submitted 16 January, 2024; v1 submitted 29 January, 2023; originally announced January 2023.

Comments: 12 pages. In version 2: the proofs of two key lemmas are expanded; two remarks are added; references are updated; a few typos and language errors are fixed

MSC Class: 20M07

Semiring identities of semigroups of reflexive relations and upper triangular boolean matrices

Authors: S. V. Gusev

Abstract: We show that the following semirings satisfy the same identities: the semiring $\mathcal{R}_n$ of all reflexive binary relations on a set with $n$ elements, the semiring $\mathcal{U}_n$ of all $n\times n$ upper triangular matrices over the boolean semiring, the semiring $\mathcal{C}_n$ of all order preserving and extensive transformations of a chain with $n$ elements. In view of the result of Klím… ▽ More We show that the following semirings satisfy the same identities: the semiring $\mathcal{R}_n$ of all reflexive binary relations on a set with $n$ elements, the semiring $\mathcal{U}_n$ of all $n\times n$ upper triangular matrices over the boolean semiring, the semiring $\mathcal{C}_n$ of all order preserving and extensive transformations of a chain with $n$ elements. In view of the result of Klíma and Polák, which states that $\mathcal{C}_n$ has a finite basis of identities for all $n$, this implies that the identities of $\mathcal{R}_n$ and $\mathcal{U}_n$ admit a finite basis as well. △ Less

Submitted 4 December, 2023; v1 submitted 27 January, 2023; originally announced January 2023.

The monoid of injective and extensive partial transformations of a chain with three elements is nonfinitely based

Authors: Sergey V. Gusev

Abstract: We show that the monoid of all injective and extensive partial transformations of a chain with three elements admits no finite basis of its identities. This completes solving of the finite basis problem for the monoids in the basic frame of partial transformation monoids posed by Volkov. We show that the monoid of all injective and extensive partial transformations of a chain with three elements admits no finite basis of its identities. This completes solving of the finite basis problem for the monoids in the basic frame of partial transformation monoids posed by Volkov. △ Less

Submitted 6 January, 2023; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: The main result of this paper have been obtained in [Xun Hu, Yuzhu Chen, Yanfeng Luo, On the finite basis problem for the monoids of partial extensive injective transformations, Semigroup Forum 91(2015), 524-537]

MSC Class: 20M07; 20M20

Minimal monoids generating varieties with complex subvariety lattices

Authors: Sergey V. Gusev

Abstract: A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. We show that the 6-element Brandt monoid generates a finitely universal variety of monoids and, by the previous results, it is the smallest generator for a monoid variety with this property. It is also deduced that the join of two Cross varieties of monoids can be finitely universal.… ▽ More A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. We show that the 6-element Brandt monoid generates a finitely universal variety of monoids and, by the previous results, it is the smallest generator for a monoid variety with this property. It is also deduced that the join of two Cross varieties of monoids can be finitely universal. In particular, we exhibit a finitely universal variety of monoids with uncountably many subvarieties which is the join of two Cross varieties of monoids whose lattices of subvarieties are the 6-element and the 7-element chains, respectively. △ Less

Submitted 14 February, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 22 pages. In version 3, Remark 4 is updated

MSC Class: 20M07; 08B15

Journal ref: Proceedings of the Edinburgh Mathematical Society 67 (2024) 617-642

Semiring and involution identities of power groups

Authors: Sergey V. Gusev, Mikhail V. Volkov

Abstract: For every group $G$, the set $\mathcal{P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup$ and element-wise multiplication $\cdot$ and forms an involution semigroup under $\cdot$ and element-wise inversion ${}^{-1}$. We show that if the group $G$ is finite, non-Dedekind, and solvable, neither the semiring $(\mathcal{P}(G),\cup,\cdot)$ nor the involution semigroup… ▽ More For every group $G$, the set $\mathcal{P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup$ and element-wise multiplication $\cdot$ and forms an involution semigroup under $\cdot$ and element-wise inversion ${}^{-1}$. We show that if the group $G$ is finite, non-Dedekind, and solvable, neither the semiring $(\mathcal{P}(G),\cup,\cdot)$ nor the involution semigroup $(\mathcal{P}(G),\cdot,{}^{-1})$ admits a finite identity basis. We also solve the finite basis problem for the semiring of Hall relations over any finite set. △ Less

Submitted 30 June, 2022; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: 18 pages, 1 figure

MSC Class: 16Y60; 20M18; 08B05

Journal ref: J. Aust. Math. Soc. 115 (2023), 354-374

Varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive

Authors: Sergey V. Gusev

Abstract: We completely classify all varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive. We completely classify all varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive. △ Less

Submitted 23 April, 2022; originally announced April 2022.

Comments: 23 pages

MSC Class: 20M07

Journal ref: Monatsh. Math. 201 (2023), 79-108

Semiring identities of finite inverse semigroups

Authors: Sergey V. Gusev, Mikhail V. Volkov

Abstract: We study the Finite Basis Problem for finite additively idempotent semirings whose multiplicative reducts are inverse semigroups. In particular, we show that each additively idempotent semiring whose multiplicative reduct is a nontrivial rook monoid admits no finite identity basis, and so do almost all additively idempotent semirings whose multiplicative reducts are combinatorial inverse semigroup… ▽ More We study the Finite Basis Problem for finite additively idempotent semirings whose multiplicative reducts are inverse semigroups. In particular, we show that each additively idempotent semiring whose multiplicative reduct is a nontrivial rook monoid admits no finite identity basis, and so do almost all additively idempotent semirings whose multiplicative reducts are combinatorial inverse semigroups. △ Less

Submitted 26 April, 2022; v1 submitted 22 April, 2022; originally announced April 2022.

Comments: 14 pages, 1 figure

MSC Class: 16Y60; 20M18; 08B05

Journal ref: Semigroup Forum 106 (2023), 403-420

Distributive and lower-modular elements of the lattice of monoid varieties

Authors: Sergey V. Gusev

Abstract: The sets of all neutral, distributive and lower-modular elements of the lattice of semigroup varieties are finite, countably infinite and uncountably infinite, respectively. In 2018, we established that there are precisely three neutral elements of the lattice of monoid varieties. In the present work, it is shown that the neutrality, distributivity and lower-modularity coincide in the lattice of m… ▽ More The sets of all neutral, distributive and lower-modular elements of the lattice of semigroup varieties are finite, countably infinite and uncountably infinite, respectively. In 2018, we established that there are precisely three neutral elements of the lattice of monoid varieties. In the present work, it is shown that the neutrality, distributivity and lower-modularity coincide in the lattice of monoid varieties. Thus, there are precisely three distributive and lower-modular elements of this lattice. △ Less

Submitted 2 March, 2022; v1 submitted 20 January, 2022; originally announced January 2022.

MSC Class: 20M07 (Primary); 08B15 (Secondary)

Journal ref: Sib. Math. J. 63 (2022), 1069-1074

Limit varieties of monoids satisfying a certain identity

Authors: Sergey V. Gusev, Yu Xian Li, Wen Ting Zhang

Abstract: A limit variety is a variety that is minimal with respect to being non-finitely based. Since the turn of the millennium, much attention has been given to the classification of limit varieties of aperiodic monoids. Seven explicit examples have so far been found, and the task of locating other examples has recently been reduced to two subproblems, one of which is concerned with monoids that satisfy… ▽ More A limit variety is a variety that is minimal with respect to being non-finitely based. Since the turn of the millennium, much attention has been given to the classification of limit varieties of aperiodic monoids. Seven explicit examples have so far been found, and the task of locating other examples has recently been reduced to two subproblems, one of which is concerned with monoids that satisfy the identity $xsxt \approx xsxtx$. In the present article, we provide a complete solution to this subproblem by showing that there are precisely two limit varieties that satisfy this identity. One of them turns out to be the first example having infinitely many subvarieties. It is also deduced that the variety generated by any monoid of order five or less contains at most countably many subvarieties. △ Less

Submitted 14 March, 2022; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 45 pages, 2 figures

MSC Class: 20M07

Cancellable elements of the lattice of monoid varieties

Authors: Sergey V. Gusev, Edmond W. H. Lee

Abstract: The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice $\mathbb{MON}$ of monoid varieties remains unknown. This problem is addressed in the present article. The first example of a monoid variety with modular but non-distributive subvariety lattice is first exhibited.… ▽ More The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice $\mathbb{MON}$ of monoid varieties remains unknown. This problem is addressed in the present article. The first example of a monoid variety with modular but non-distributive subvariety lattice is first exhibited. Then a necessary condition of the modularity of an element in $\mathbb{MON}$ is established. These results play a crucial role in the complete description of all cancellable elements of the lattice $\mathbb{MON}$. It turns out that there are precisely five such elements. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 11 pages, 2 figures

MSC Class: 20M07; 08B15

Journal ref: Acta Math. Hungar. 165 (2021), 156-168

The lattice of varieties of monoids

Authors: Sergey V. Gusev, Edmond W. H. Lee, Boris M. Vernikov

Abstract: We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated. We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated. △ Less

Submitted 14 October, 2022; v1 submitted 6 November, 2020; originally announced November 2020.

MSC Class: Primary 20M07; secondary 08B15

Journal ref: Japan. J. Math. 17 (2022), 117-183

Two weaker variants of congruence permutability for monoid varieties

Authors: Sergey V. Gusev, Boris M. Vernikov

Abstract: We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid varieties with the distributive subvariety lattice (only a few examples of varieties with such a property are known so far). We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid varieties with the distributive subvariety lattice (only a few examples of varieties with such a property are known so far). △ Less

Submitted 24 September, 2020; originally announced September 2020.

Comments: 41 pages

MSC Class: 20M07

Journal ref: Semigroup Forum 103 (2021), 106-152

Classification of limit varieties of J-trivial monoids

Authors: S. V. Gusev, O. B. Sapir

Abstract: A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. We present a new pair of limit varieties of monoids and show that together with the five limit varieties of monoids previously discovered by Jackson, Zhang and Luo and the first-named author, there are exactly seven limit varieties of J-trivial monoids. A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. We present a new pair of limit varieties of monoids and show that together with the five limit varieties of monoids previously discovered by Jackson, Zhang and Luo and the first-named author, there are exactly seven limit varieties of J-trivial monoids. △ Less

Submitted 28 December, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 26 pages

MSC Class: 20M07

Journal ref: Communications in Algebra 50, No. 7 (2022), 3007-3027

Cross varieties of aperiodic monoids with commuting idempotents

Authors: S. V. Gusev

Abstract: A variety of algebras is called Cross if it is finitely based, finitely generated, and has finitely many subvarieties. In present article, we classify all Cross varieties of aperiodic monoids with commuting idempotents. A variety of algebras is called Cross if it is finitely based, finitely generated, and has finitely many subvarieties. In present article, we classify all Cross varieties of aperiodic monoids with commuting idempotents. △ Less

Submitted 27 November, 2022; v1 submitted 7 April, 2020; originally announced April 2020.

MSC Class: 20M07

Varieties of monoids with complex lattices of subvarieties

Authors: Sergey V. Gusev, Edmond W. H. Lee

Abstract: A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of m… ▽ More A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of monoids. The finite universality of these varieties is established by showing that the lattice of equivalence relations on every sufficiently large finite set is anti-isomorphic to some subinterval of the lattice of subvarieties. △ Less

Submitted 13 June, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: 13 pages

MSC Class: 20M07 (Primary); 08B15 (Secondary)

Journal ref: Bull. London Math. Soc. 52 (2020), 762-775

Limit varieties of aperiodic monoids with commuting idempotents

Authors: S. V. Gusev

Abstract: A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents. A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents. △ Less

Submitted 4 May, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

MSC Class: 20M07

Journal ref: J. Algebra Appl. 20, No. 9 (2021), 2150160

Standard elements of the lattice of monoid varieties

Authors: S. V. Gusev

Abstract: We completely classify all standard elements in the lattice of all monoid varieties. In particular, we prove that an element of this lattice is standard if and only if it is neutral. We completely classify all standard elements in the lattice of all monoid varieties. In particular, we prove that an element of this lattice is standard if and only if it is neutral. △ Less

Submitted 24 October, 2020; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 7 pages

MSC Class: 20M07 (Primary); 08B15 (Secondary)

Journal ref: Algebra and Logic 59 (2021), 415-422

A new example of a limit variety of monoids

Authors: S. V. Gusev

Abstract: A variety of universal algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. Until recently, only two explicit examples of limit varieties of monoids, constructed by Jackson, were known. Recently Zhang and Luo found the third example of such a variety. In our work, one more example of a limit variety of monoids is given. A variety of universal algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. Until recently, only two explicit examples of limit varieties of monoids, constructed by Jackson, were known. Recently Zhang and Luo found the third example of such a variety. In our work, one more example of a limit variety of monoids is given. △ Less

Submitted 23 November, 2019; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: 16 pages

MSC Class: 20M07

Journal ref: Semigroup Forum 101 (2020), 102-120

On the ascending and descending chain conditions in the lattice of monoid varieties

Authors: S. V. Gusev

Abstract: In this work we consider monoids as algebras with an associative binary operation and the nullary operation that fixes the identity element. We found an example of two varieties of monoids with finite subvariety lattices such that their join covers one of them and has a continuum cardinality subvariety lattice that violates the ascending chain condition and the descending chain condition. In this work we consider monoids as algebras with an associative binary operation and the nullary operation that fixes the identity element. We found an example of two varieties of monoids with finite subvariety lattices such that their join covers one of them and has a continuum cardinality subvariety lattice that violates the ascending chain condition and the descending chain condition. △ Less

Submitted 1 February, 2023; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 15 pages. In version 3, an error in Corollary 3.1 is fixed

MSC Class: 20M07

Journal ref: Siberian Electronic Math. Reports 16 (2019), 983-997

The lattice of varieties of implication semigroups

Authors: S. V. Gusev, H. P. Sankappanavar, B. M. Vernikov

Abstract: In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such algebras are called implication zroupoids. They invesigated in a number of articles by the second author and J.M.Cornejo. In these articles several varieties o… ▽ More In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such algebras are called implication zroupoids. They invesigated in a number of articles by the second author and J.M.Cornejo. In these articles several varieties of implication zroupoids satisfying the associative law appeared. Implication zroupoids satisfying the associative law are called implication semigroups. Here we completely describe the lattice of all varieties of implication semigroups. It turns out that this lattice is non-modular and consists of 16 elements. △ Less

Submitted 3 August, 2019; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: Compared with the previous version, we rewrite Section 3 and add Appendixes A and B

MSC Class: Primary 06E75; secondary 08B15

Journal ref: Order 37 (2020), 271-277

Special elements of the lattice of monoid varieties

Authors: S. V. Gusev

Abstract: We completely classify all neutral or costandard elements in the lattice $\mathbb{MON}$ of all monoid varieties. Further, we prove that an arbitrary upper-modular element of $\mathbb{MON}$ except the variety of all monoids is either a completely regular or a commutative variety. Finally, we verify that all commutative varieties of monoids are codistributive elements of $\mathbb{MON}$. Thus, the pr… ▽ More We completely classify all neutral or costandard elements in the lattice $\mathbb{MON}$ of all monoid varieties. Further, we prove that an arbitrary upper-modular element of $\mathbb{MON}$ except the variety of all monoids is either a completely regular or a commutative variety. Finally, we verify that all commutative varieties of monoids are codistributive elements of $\mathbb{MON}$. Thus, the problems of describing codistributive or upper-modular elements of $\mathbb{MON}$ are completely reduced to the completely regular case. △ Less

Submitted 29 November, 2017; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 12 pages

Journal ref: Algebra Universalis 79 (2018), Article 29, 1-12

Chain varieties of monoids

Authors: Sergey V. Gusev, Boris M. Vernikov

Abstract: A variety of universal algebras is called a chain variety if its subvariety lattice is a chain. Non-group chain varieties of semigroups were completely classified by Sukhanov in 1982. Here we completely determine non-group chain varieties of monoids as algebras of tyoe (2,0). A variety of universal algebras is called a chain variety if its subvariety lattice is a chain. Non-group chain varieties of semigroups were completely classified by Sukhanov in 1982. Here we completely determine non-group chain varieties of monoids as algebras of tyoe (2,0). △ Less

Submitted 25 September, 2018; v1 submitted 18 July, 2017; originally announced July 2017.

Comments: 76 pages, 3 figures, 3 tables. In comparison with the previous version, we made a number of linguistic corrections only

MSC Class: 20M07 (Primary); 08B15 (Secondary)

Journal ref: Dissertationes Mathematicae 534 (2018), 1-73

Cancellable elements of the lattice of semigroup varieties

Authors: Sergey V. Gusev, Dmitry V. Skokov, Boris M. Vernikov

Abstract: We completely determine all commutative semigroup varieties that are cancellable elements of the lattice SEM of all semigroup varieties. In particular, we prove that, for commutative varieties, the properties of being cancellable and modular elements of SEM are equivalent. We completely determine all commutative semigroup varieties that are cancellable elements of the lattice SEM of all semigroup varieties. In particular, we prove that, for commutative varieties, the properties of being cancellable and modular elements of SEM are equivalent. △ Less

Submitted 27 March, 2017; v1 submitted 9 March, 2017; originally announced March 2017.

Comments: 10 pages

MSC Class: 20M07

Journal ref: Algebra and Discrete Mathematics 26, No. 1 (2018), 34-46

On the lattice of overcommutative varieties of monoids

Authors: S. V. Gusev

Abstract: It is unknown so far, whether the lattice of all varieties of monoids satisfies some non-trivial identity. The objective of this note is to give the negative answer to this question. Namely, we prove that any finite lattice is a homomorphic image of some sublattice of the lattice of overcommutative varieties of monoids (i.e., varieties that contain the variety of all commutative monoids). This imp… ▽ More It is unknown so far, whether the lattice of all varieties of monoids satisfies some non-trivial identity. The objective of this note is to give the negative answer to this question. Namely, we prove that any finite lattice is a homomorphic image of some sublattice of the lattice of overcommutative varieties of monoids (i.e., varieties that contain the variety of all commutative monoids). This implies that the lattice of overcommutative varieties of monoids and therefore, the lattice of all varieties of monoids does not satisfy any non-trivial identity. △ Less

Submitted 4 December, 2017; v1 submitted 28 February, 2017; originally announced February 2017.

Comments: 5 pages

MSC Class: 20M07

Journal ref: Russian Mathematics 62 (2018), 23-26

Endomorphisms of the lattice of epigroup varieties

Authors: S. V. Gusev, B. M. Vernikov

Abstract: We examine varieties of epigroups as unary semigroups, that is semigroups equipped with an additional unary operation of pseudoinversion. The article contains two main results. The first of them indicates a countably infinite family of injective endomorphisms of the lattice of all epigroup varieties. An epigroup variety is said to be a variety of finite degree if all its nilsemigroups are nilpoten… ▽ More We examine varieties of epigroups as unary semigroups, that is semigroups equipped with an additional unary operation of pseudoinversion. The article contains two main results. The first of them indicates a countably infinite family of injective endomorphisms of the lattice of all epigroup varieties. An epigroup variety is said to be a variety of finite degree if all its nilsemigroups are nilpotent. The second result of the article provides a characterization of epigroup varieties of finite degree in a language of identities and in terms of minimal forbidden subvarieties. Note that the first result is essentially used in the proof of the second one. △ Less

Submitted 17 September, 2016; v1 submitted 2 April, 2014; originally announced April 2014.

Comments: In comparison with the previous version, we eliminate a few typos only

MSC Class: 20M07; 08B15

Journal ref: Semigroup Forum 93 (2016), 554-574

Parameter-Dependent S-Procedure And Yakubovich Lemma

Authors: Sergei V. Gusev

Abstract: The paper considers a linear matrix inequality (LMI) that depends on a parameter varying in a compact topological space. It turns out that if a strict LMI continuously depends on a parameter and is feasible for any value of that parameter, then it has a solution which continuously depends on the parameter. The result holds true for LMIs that arise in S-procedure and Yakubovich lemma. It is shown… ▽ More The paper considers a linear matrix inequality (LMI) that depends on a parameter varying in a compact topological space. It turns out that if a strict LMI continuously depends on a parameter and is feasible for any value of that parameter, then it has a solution which continuously depends on the parameter. The result holds true for LMIs that arise in S-procedure and Yakubovich lemma. It is shown that the LMI which is polynomially dependent on a vector of parameters can be reduced to a parameter-independent LMI of a higher dimension. The result is based on the recent generalization of Yakubovich lemma proposed by Iwasaki and Hara and another generalization formulated in this paper. The problem of positivity verification for a non-SOS polynomial of two variables is considered as an example. To illustrate control applications, a method of parameter-dependent Lyapunov function construction is proposed for nonlinear systems with parametric uncertainty. △ Less

Submitted 27 December, 2006; originally announced December 2006.

Comments: 11 pages, the paper was presented at the 5th Russian-Swedish Control Conference, Lund, Sweden, 29-30 August 2006

MSC Class: 15A45; 49N10; 93D30

Trajectory tracking control for maneuverable nonholonomic systems

Authors: Sergei V. Gusev, Igor A. Makarov

Abstract: The paper considers a motion control problem for kinematic models of nonholonomic wheeled systems. The class of maneuverable wheeled systems is defined consisting of systems that can follow any sufficiently smooth non-stop trajectory on the plane. A sufficient condition for maneuverability is obtained. The design of control law that stabilizes motion along the desired trajectory on the plane is… ▽ More The paper considers a motion control problem for kinematic models of nonholonomic wheeled systems. The class of maneuverable wheeled systems is defined consisting of systems that can follow any sufficiently smooth non-stop trajectory on the plane. A sufficient condition for maneuverability is obtained. The design of control law that stabilizes motion along the desired trajectory on the plane is performed in two steps. On the first step the trajectory on the configuration manifold of the system and the input function are constructed that ensure the exact reproduction of the desired trajectory on the plane. The second step is the stabilization of the constructed trajectory on the configuration manifold of the system. For this purpose a recursive procedure is used that is a version of backstep** algorithm meant for non-stationary systems nonlinearly depending on input. The procedure results in the continuous memoryless feedback that stabilizes the trajectory on the configuration manifold of the system. As an example the motion control problem for a truck with multiple trailers is considered. It is shown that the proposed control law stabilizes the desired trajectory of the vehicle on the plane for all initial states of the system from some open dense submanifold of the configuration manifold, i.e., almost globally. The statement takes place both for a truck pulling any number of trailers in a forward direction and for a truck pushing any number of trailers in a backward direction. The latter result is the solution of the intuitively hard problem of the road train reverse motion control. The effectiveness of the proposed control is demonstrated by simulation. Animated examples are presented at Sergei V. Gusev Web Page. △ Less

Submitted 27 July, 2005; originally announced July 2005.

Comments: 28 pages, 4 figures

MSC Class: 93D15; 70Q05; 70B15