arXiv subjects

Yang Dandan

Publications and source records attributed to Yang Dandan.

5 recordsLinked to original sources

arXiv2022

Coherency for monoids and purity for their acts

This article examines the three-way relationship between right coherency of a monoid $S$, solutions of equations over $S$-acts, and injectivity properties of $S$-acts. A monoid $S$ is right coherent if every finitely generated subact of every finitely presented (right) $S$-act itself has a finite presentation. Purity properties of an $S$-act $A$ may either be expressed in terms of solutions in $A$ of certain consistent sets of equations over $A$, or in terms of injectivity properties. For example, an $S$-act $A$ is absolutely pure (almost pure) if every finite consistent set of equations over $A$ (in one variable) has a solution in $A$. Equivalently, $A$ is absolutely pure (almost pure) if it is injective with respect to inclusions of finitely generated subacts into finitely presented (monogenic finitely presented) $S$-acts. Our first main result shows that for a right coherent monoid $S$ the classes of almost pure and absolutely pure $S$-acts coincide. Our second main result is that a monoid $S$ is right coherent if and only if the classes of mfp-pure and absolutely pure $S$-acts coincide: an $S$-act is mfp-pure if it is injective with respect to inclusions of finitely presented subacts into monogenic finitely presented $S$-acts. We give specific examples of monoids $S$ that are not right coherent yet are such that the classes of almost pure and absolutely pure $S$-acts coincide. Finally we give a condition on a monoid $S$ for all almost pure $S$-acts to be absolutely pure in terms of finitely presented $S$-acts, their finitely generated subacts, and certain canonical extensions.

math.GR↗

arXiv2021

On graph products of monoids

Graph products of monoids provide a common framework for direct and free products, and graph monoids (also known as free partially commutative monoids). If the monoids in question are groups, then any graph product is, of course, a group. For monoids that are not groups, regularity is perhaps the first and most important algebraic property that one considers; however, graph products of regular monoids are not in general regular. We show that a graph product of regular monoids satisfies the related, but weaker, condition of being abundant. More generally, we show that the classes of left abundant and left Fountain monoids are closed under graph product. The notions of abundancy and Fountainicity and their one-sided versions arise from many sources, for example, that of abundancy from projectivity of monogenic acts, and that of Fountainicity (also known as weak abundancy) from connections with ordered categories. As a very special case we obtain the earlier result of Fountain and Kambites that the graph product of right cancellative monoids is right cancellative. To achieve our aims we show that elements in (arbitrary) graph products have a unique Foata normal form, and give some useful reduction results; these may equally well be applied to groups as to the broader case of monoids.

math.RA↗

arXiv2020

Coherency and constructions for monoids

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard algebraic and semigroup theoretic constructions: subsemigroups, homomorphic images, direct products, Rees matrix semigroups, including Brandt semigroups, and Bruck--Reilly extensions. We also investigate the relationship with the property of being weakly right noetherian, which requires all right ideals of $S$ to be finitely generated.

math.GR↗

arXiv2019

A group-theoretical interpretation of the word problem for free idempotent generated semigroups

The set of idempotents of any semigroup carries the structure of a biordered set, which contains a great deal of information concerning the idempotent generated subsemigroup of the semigroup in question. This leads to the construction of a free idempotent generated semigroup $\mathsf{IG}(\mathcal{E})$ - the `free-est' semigroup with a given biordered set $\mathcal{E}$ of idempotents. We show that when $\mathcal{E}$ is finite, the word problem for $\mathsf{IG}(\mathcal{E})$ is equivalent to a family of constraint satisfaction problems involving rational subsets of direct products of pairs of maximal subgroups of $\mathsf{IG}(\mathcal{E})$. As an application, we obtain decidability of the word problem for an important class of examples. Also, we prove that for finite $\mathcal{E}$, $\mathsf{IG}(\mathcal{E})$ is always a weakly abundant semigroup satisfying the congruence condition.

math.GR↗

arXiv2015

Free idempotent generated semigroups over bands

Free idempotent generated semigroups IG$(E)$, where $E$ is a biordered set, have provided a focus of recent research, the majority of the efforts concentrating on the behaviour of the maximal subgroups. Inspired by an example of Brittenham, Margolis and Meakin, several proofs have been offered that any group occurs as a maximal subgroup of some IG$(E)$, the most recent being that of Dolinka and Ruškuc, who show that $E$ can be taken to be a band. From a result of Easdown, Sapir and Volkov, periodic elements of any IG$(E)$ lie in subgroups. However, little else is known of the `global' properties of IG$(E)$, other than that it need not be regular, even where $E$ is a semilattice. Since its introduction by Fountain in the late 1970s, the study of abundant and related semigroups has given rise to a deep and fruitful research area. The classes of abundant and adequate semigroups extend those of regular and inverse semigroups, respectively, and themselves are contained in the classes of weakly abundant and weakly adequate semigroups. Recent significant developments include the description by Kambites, using birooted labelled trees, of the free semigroups in the quasi-variety of adequate semigroups. Our main result shows that for any band $B$, the semigroup IG$(B)$ is a weakly abundant semigroup and moreover satisfies a natural condition called the congruence condition. We show that if $B$ is a band for which $uv=vu=v$ for all $u,v\in B$ with $BvB\subset BuB$ (a condition certainly satisfied for semilattices), then IG$(B)$ is abundant with solvable word problem. Further, IG$(B)$ is also abundant for a normal band $B$ for which IG$(B)$ satisfies a given technical condition, and we give examples of such $B$. On the other hand, we give an example of a normal band $B$ such that IG$(B)$ is not abundant.

math.RA↗