{"title":"Failure of the finitely generated intersection property for ascending HNN extensions of free groups","authors":"Jacob Bamberger, D. Wise","doi":"10.1142/s0218196722500370","DOIUrl":"https://doi.org/10.1142/s0218196722500370","url":null,"abstract":"The main result in this paper is the failure of the finitely generated intersection property (FGIP) of ascending HNN extensions of non-cyclic finite rank free groups. This class of groups consists of free-by-cyclic groups and properly ascending HNN extensions of free groups. We also give a sufficient condition for the failure of the FGIP in the context of relative hyperbolicity, we apply this to free-by-cyclic groups of exponential growth.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"1 1","pages":"885-893"},"PeriodicalIF":0.0,"publicationDate":"2022-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77557265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On complete Leibniz algebras","authors":"Sh. A. Ayupov, A. Khudoyberdiyev, Z. Shermatova","doi":"10.1142/s0218196722500138","DOIUrl":"https://doi.org/10.1142/s0218196722500138","url":null,"abstract":"This paper is devoted to the so-called complete Leibniz algebras. We construct some complete Leibniz algebras with complete radical and prove that the direct sum of complete Leibniz algebras is also complete. It is known that a Lie algebra with a complete ideal is split. We discuss the analogs of this result for the Leibniz algebras and show that it is true for some special classes of Leibniz algebras. Finally, we consider derivations of Leibniz algebras and present some classes of Leibniz algebras which are not complete, since they admit outer derivation.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"3 1","pages":"265-288"},"PeriodicalIF":0.0,"publicationDate":"2022-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74805081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the primality and elasticity of algebraic valuations of cyclic free semirings","authors":"Yanan Jiang, Bangzheng Li, So-Fan Zhu","doi":"10.1142/s021819672350011x","DOIUrl":"https://doi.org/10.1142/s021819672350011x","url":null,"abstract":"A cancellative commutative monoid is atomic if every non-invertible element factors into irreducibles. Under certain mild conditions on a positive algebraic number $alpha$, the additive monoid $M_alpha$ of the evaluation semiring $mathbb{N}_0[alpha]$ is atomic. The atomic structure of both the additive and the multiplicative monoids of $mathbb{N}_0[alpha]$ has been the subject of several recent papers. Here we focus on the monoids $M_alpha$, and we study its omega-primality and elasticity, aiming to better understand some fundamental questions about their atomic decompositions. We prove that when $alpha$ is less than 1, the atoms of $M_alpha$ are as far from being prime as they can possibly be. Then we establish some results about the elasticity of $M_alpha$, including that when $alpha$ is rational, the elasticity of $M_alpha$ is full (this was previously conjectured by S. T. Chapman, F. Gotti, and M. Gotti).","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"2 1","pages":"197-210"},"PeriodicalIF":0.0,"publicationDate":"2022-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77102125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Notes on join semidistributive lattices","authors":"K. Adaricheva, R. Freese, J. B. Nation","doi":"10.1142/S0218196722500175","DOIUrl":"https://doi.org/10.1142/S0218196722500175","url":null,"abstract":"","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"1 1","pages":"347-356"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77201563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Identities of tropical matrix semigroups and the plactic monoid of rank 4","authors":"T. Aird","doi":"10.1142/S0218196722500461","DOIUrl":"https://doi.org/10.1142/S0218196722500461","url":null,"abstract":"","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"1 1","pages":"1083-1100"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75326337","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On rings which are sums of subrings and additive subgroups","authors":"M. Kepczyk","doi":"10.1142/S0218196722500515","DOIUrl":"https://doi.org/10.1142/S0218196722500515","url":null,"abstract":"","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"213 1","pages":"1203-1208"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73940827","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Regular semigroups weakly generated by idempotents","authors":"Lu'is Oliveira","doi":"10.1142/s0218196723500388","DOIUrl":"https://doi.org/10.1142/s0218196723500388","url":null,"abstract":"A regular semigroup is weakly generated by a set X if it has no proper regular subsemigroups containing X. In this paper, we study the regular semigroups weakly generated by idempotents. We show there exists a regular semigroup FI(X) weakly generated by |X| idempotents such that all other regular semigroups weakly generated by |X| idempotents are homomorphic images of FI(X). The semigroup FI(X) is defined by a presentation $langle G(X),rho_ecuprho_srangle$ and its structure is studied. Although each of the sets $G(X)$, $rho_e$, and $rho_s$ is infinite for $|X|geq 2$, we show that the word problem is decidable as each congruence class has a canonical form. If $FI_n$ denotes FI(X) for $|X|=n$, we prove also that $FI_2$ contains copies of all $FI_n$ as subsemigroups. As a consequence, we conclude that (i) all regular semigroups weakly generated by a finite set of idempotents, which include all finitely idempotent generated regular semigroups, strongly divide $FI_2$; and (ii) all finite semigroups divide $FI_2$.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"12 1","pages":"851-891"},"PeriodicalIF":0.0,"publicationDate":"2021-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82238860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Evacuation schemes on Cayley graphs and non-amenability of groups","authors":"V. Guba","doi":"10.1142/s0218196722500667","DOIUrl":"https://doi.org/10.1142/s0218196722500667","url":null,"abstract":"In this paper we introduce a concept of an evacuation scheme on the Cayley graph of an infinite finitely generated group. This is a collection of infinite simple paths bringing all vertices to infinity. We impose a restriction that every edge can be used a uniformly bounded number of times in this scheme. An easy observation shows that existing of such a scheme is equivalent to non-amenability of the group. A special case happens if every edge can be used only once. These scheme are called pure. We obtain a criterion for existing of such a scheme in terms of isoperimetric constant of the graph. We analyze R.,Thompson's group $F$, for which the amenability property is a famous open problem. We show that pure evacuation schemes do not exist for the set of generators ${x_0,x_1,bar{x}_1}$, where $bar{x}_1=x_1x_0^{-1}$. However, the question becomes open if edges with labels $x_0^{pm1}$ can be used twice. Existing of pure evacuation scheme for this version is implied by some natural conjectures.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"22 1","pages":"1477-1494"},"PeriodicalIF":0.0,"publicationDate":"2021-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89589854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On one-relator groups and units of special one-relation inverse monoids","authors":"Carl-Fredrik Nyberg Brodda","doi":"10.1142/s0218196722500618","DOIUrl":"https://doi.org/10.1142/s0218196722500618","url":null,"abstract":"This note investigates and clarifies some connections between the theory of one-relator groups and special one-relation inverse monoids, i.e. those inverse monoids with a presentation of the form $operatorname{Inv}langle A mid w=1 rangle$. We show that every one-relator group admits a special one-relation inverse monoid presentation. We subsequently consider the classes ${rm {small ANY}}, {rm {small RED}}, {rm {small CRED}},$ and ${rm {small POS}}$ of one-relator groups which can be defined by special one-relation inverse monoid presentations in which the defining word is arbitrary; reduced; cyclically reduced; or positive, respectively. We show that the inclusions ${rm {small ANY}} supset {rm {small CRED}} supset {rm {small POS}}$ are all strict. Conditional on a natural conjecture, we prove ${rm {small ANY}} supset {rm {small RED}}$. Following this, we use the Benois algorithm recently devised by Gray&Ruskuc to produce an infinite family of special one-relation inverse monoids which exhibit similar pathological behaviour (which we term O'Haresque) to the O'Hare monoid with respect to computing the minimal invertible pieces of the defining word. Finally, we provide a counterexample to a conjecture by Gray&Ruskuc that the Benois algorithm always correctly computes the minimal invertible pieces of a special one-relation inverse monoid.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"57 1","pages":"1379-1401"},"PeriodicalIF":0.0,"publicationDate":"2021-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82870868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the transition monoid of the Stallings automaton of a subgroup of a free group","authors":"I. F. Guimaraes","doi":"10.1142/s0218196723500224","DOIUrl":"https://doi.org/10.1142/s0218196723500224","url":null,"abstract":"Birget, Margolis, Meakin and Weil proved that a finitely generated subgroup $K$ of a free group is pure if and only if the transition monoid $M(K)$ of its Stallings automaton is aperiodic. In this paper, we establish further connections between algebraic properties of $K$ and algebraic properties of $M(K)$. We mainly focus on the cases where $M(K)$ belongs to the pseudovariety $overline{boldsymbol{mathbf{{H}}}}$ of finite monoids all of whose subgroups lie in a given pseudovariety $overline{boldsymbol{mathbf{{H}}}}$ of finite groups. We also discuss normal, malnormal and cyclonormal subgroups of $F_A$ using the transition monoid of the corresponding Stallings automaton.","PeriodicalId":13615,"journal":{"name":"Int. J. Algebra Comput.","volume":"88 1","pages":"445-479"},"PeriodicalIF":0.0,"publicationDate":"2021-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74274952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}