BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Motivated by the question of which completely regular semigroups have context-free word problem, we show that for certain classes of languages C(including context-free), every completely regular semigroup that is a union of finitely many finitely generated groups with word problem in C also has word problem in C. We give an example to show that not all completely regular semigroups with context-free word problem can be so constructed.
The set of finitely generated subgroups of the group PL+(I) of orientation-preserving piecewise-linear homeomorphisms of the unit interval includes many important groups, most notably R.~Thompson's group F. In this paper we show that every finitely generated subgroup G<PL+(I) is either soluble, or contains an embedded copy of Brin's group B, a finitely generated, non-soluble group, which verifies a conjecture of the first author from 2009. In the case that G is soluble, we show that the derived length of G is bounded above by the number of breakpoints of any finite set of generators. We specify a set of `computable' subgroups of PL+(I) (which includes R. Thompson's group F) and we give an algorithm which determines in finite time whether or not any given finite subset X of such a computable group generates a soluble group. When the group is soluble, the algorithm also determines the derived length of ⟨X⟩. Finally, we give a solution of the membership problem for a family of finitely generated soluble subgroups of any computable subgroup of PL+(I).
For a language L, we consider its cyclic closure, and more generally the language Ck(L), which consists of all words obtained by partitioning words from L into k factors and permuting them. We prove that the classes of ET0L and EDT0L languages are closed under the operators Ck. This both sharpens and generalises Brandstädt's result that if L is context-free then Ck(L) is context-sensitive and not context-free in general for k≥3. We also show that the cyclic closure of an indexed language is indexed.
We investigate the graded Lie algebras of Cartan type W, S and H in characteristic 2 and determine their simple constituents and some exceptional isomorphisms between them. We also consider the graded Lie algebras of Cartan type K in characteristic 2 and conjecture that their simple constituents are isomorphic to Lie algebras of type H.
We consider the cyclic closure of a language, and its generalisation to the operators Ck introduced by Brandstädt. We prove that the cyclic closure of an indexed language is indexed, and that if L is a context-free language then Ck(L) is indexed.
The aim of this paper is to investigate whether the class of automaton semigroups is closed under certain semigroup constructions. We prove that the free product of two automaton semigroups that contain left identities is again an automaton semigroup. We also show that the class of automaton semigroups is closed under the combined operation of 'free product followed by adjoining an identity'. We present an example of a free product of finite semigroups that we conjecture is not an automaton semigroup. Turning to wreath products, we consider two slight generalizations of the concept of an automaton semigroup, and show that a wreath product of an automaton monoid and a finite monoid arises as a generalized automaton semigroup in both senses. We also suggest a potential counterexample that would show that a wreath product of an automaton monoid and a finite monoid is not a necessarily an automaton monoid in the usual sense.
This note proves a generalisation to inverse semigroups of Anisimov's theorem that a group has regular word problem if and only if it is finite, answering a question of Stuart Margolis. The notion of word problem used is the two-tape word problem -- the set of all pairs of words over a generating set for the semigroup which both represent the same element.
We prove that every finitely generated soluble group which is not virtually abelian has a subgroup of one of a small number of types.
We consider the class of groups whose word problem is poly-context-free; that is, an intersection of finitely many context-free languages. We show that any group which is virtually a finitely generated subgroup of a direct product of free groups has poly-context-free word problem, and conjecture that the converse also holds. We prove our conjecture for several classes of soluble groups, including metabelian groups and torsion-free soluble groups, and present progress towards resolving the conjecture for soluble groups in general. Some of the techniques introduced for proving languages not to be poly-context-free may be of independent interest.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.