Finiteness and Dehn functions of automatic monoids having directed fellow traveller property

A left-cancellative automatic monoid having directed fellow traveller property is finitely presented, and the first order Dehn functions of such automatic monoids are bounded above by a quadratic function. These results coincide with those of automatic groups. The research of X. Wang was partially supported by China National Science Funds (No:10771077 and 10671114).     

The Word Problem for Pride Groups

Pride groups are defined by means of finite (simplicial) graphs, and examples include Artin groups, Coxeter groups, and generalized tetrahedron groups. Under suitable conditions, we calculate an upper bound of the first order Dehn function for a finitely presented Pride group. We thus obtain sufficient conditions for when finitely presented Pride groups have solvable word problems. As a corollary to our main result, we show that the first order Dehn function of a generalized tetrahedron group, containing finite generalized triangle groups, is at most cubic.     

Constructing finitely presented monoids which have no finite complete presentation

Squier (1987) showed that if a monoid is defined by a finite complete rewriting system, then it satisfies the homological finiteness condition FP₃, and using this fact he gave monoids (groups) which have solvable word problems but cannot be presented by finite complete systems. In the present paper we show that a monoid cannot have a finite complete presentation if it contains certain special elements. This observation enables us to construct monoids without finite complete presentation in a direct and elementary way. We give a finitely presented monoid which has (1) a word problem solvable in linear time and (2) linear growth but (3) no finite complete presentation. We also give a finitely presented monoid which has (1) a word problem solvable in linear time, (2) finite derivation type in the sense of Squier and (3) the property FP_∞, but (4) no finite complete presentation.     

The Dehn Function of Stallings’ Group

We prove that the Dehn function of a group of Stallings that is finitely presented but not of type F₃{\mathcal{F}_3} is quadratic.     

On Presentations of Bruck–Reilly Extensions

We first consider the class of monoids in which every left invertible element is also right invertible, and prove that if a monoid belonging to this class admits a finitely presented Bruck–Reilly extension then it is finitely generated. This allow us to obtain necessary and sufficient conditions for the Bruck–Reilly extensions of this class of monoids to be finitely presented. We then prove that thes 𝒟-classes of a Bruck–Reilly extension of a Clifford monoid are Bruck–Reilly extensions of groups. This yields another necessary and sufficient condition for these Bruck–Reilly extensions to be finitely generated and presented. Finally, we show that a Bruck–Reilly extension of a Clifford monoid is finitely presented as an inverse monoid if and only if it is finitely presented as a monoid, and that this property cannot be generalized to Bruck–Reilly extensions of arbitrary inverse monoids.     

A deterministic algorithm to decide if a finitely presented abelian monoid is cancellative

In this paper we give an algorithm to compute a finite presentation for any finitely generated commutative cancellative monoid, and in particular we apply it to derive an algorithm to decide whether a finitely presented commutative monoid is cancellative or not.     

The Dehn function of Baumslag’s metabelian group

Baumslag??s group is a finitely presented metabelian group with a ${\mathbb Z \wr \mathbb Z}$ subgroup. There is an analogue with an additional torsion relation in which this subgroup becomes ${C_m \wr \mathbb Z}$ . We prove that Baumslag??s group has an exponential Dehn function. This contrasts with the torsion analogues which have quadratic Dehn functions.     

Inverse Subsemigroups of the Monogenic Free Inverse Semigroup

It is shown that every finitely generated inverse subsemigroup (submonoid) of the monogenic free inverse semigroup (monoid) is finitely presented. As a consequence, the homomorphism and the isomorphism problems for the monogenic free inverse semigroup (monoid) are proven to be decidable.     

Generators and presentations for direct and wreath products of monoid acts

Semigroup Forum - We investigate the preservation of the properties of being finitely generated and finitely presented under both direct and wreath products of monoid acts. A monoid M is said to...     

Limits of Pure-Injective Cotilting Modules

The set of pure-injective cotilting modules over an artin algebra is shown to have a monoid structure. This monoid structure does not restrict down to a monoid structure on the finitely generated cotilting modules in general, but it does whenever the algebra is of finite representation type. Pure-injective cotilting modules are also constructed from any set of finitely generated cotilting modules with bounded injective dimension. Presented by Y. Drozd Mathematics Subject Classifications (2000) 16G10, 16P20, 16E30.     

Bruck–Reilly extensions of direct products of monoids and completely (0-)simple semigroups

We say that a class of monoids satisfies the property ℘ if every monoid in that class that admits a finitely presented Bruck–Reilly extension is finitely generated. We show that completely (0-)simple semigroups satisfy ℘, and that the direct product of two monoids in a class that satisfy ℘ also satisfies ℘ subject to a certain condition on the endomorphisms of the direct product. As a consequence of this result we obtain a new class of bands and a new class of completely regular semigroups that satisfy property ℘.     

Right-veering diffeomorphisms of compact surfaces with boundary

We initiate the study of the monoid of right-veering diffeomorphisms on a compact oriented surface with nonempty boundary. The monoid strictly contains the monoid of products of positive Dehn twists. We explain the relationship to tight contact structures and open book decompositions. Mathematics Subject Classification (1991) Primary 57M50, secondary 53C15     

SEPARABILITY CONDITIONS IN ACTS OVER MONOIDS

We discuss residual finiteness and several related separability conditions for the class of monoid acts, namely weak subact separability, strong subact separability and complete separability. For each of these four separability conditions, we investigate which monoids have the property that all their (finitely generated) acts satisfy the condition. In particular, we prove that: all acts over a finite monoid are completely separable (and hence satisfy the other three separability conditions); all finitely generated acts over a finitely generated commutative monoid are residually finite and strongly subact separable (and hence weakly subact separable); all acts over a commutative idempotent monoid are residually finite and strongly subact separable; and all acts over a Clifford monoid are strongly subact separable.

     

On finitely related semigroups

An algebraic structure is finitely related (has finite degree) if its term functions are determined by some finite set of finitary relations. We show that the following finite semigroups are finitely related: commutative semigroups, 3-nilpotent monoids, regular bands, semigroups with a single idempotent, and Clifford semigroups. Further we provide the first example of a semigroup that is not finitely related: the 6-element Brandt monoid. This answers a question by Davey, Jackson, Pitkethly, and Szabó from Davey et al. (Semigroup Forum, 83(1):89–122, 2011).     

Fixed points of endomorphisms of trace monoids

It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. If the dependence alphabet is a transitive forest, it is proved that the set of regular fixed points of the (Scott) continuous extension of an endomorphism to real traces is Ω-rational for every endomorphism if and only if the monoid is a free product of free commutative monoids.     

On finitely presented,cancellative and commutative ordered monoids

We show that every finitely presented, cancellative and commutative ordered monoid is determined by a finitely generated and cancellative pseudoorder on the monoid (ℕ ⁿ ,+) for some positive integer n. Every cancellative pseudoorder on (ℕ ⁿ ,+) is determined by a submonoid of the group (ℤ ⁿ ,+), and we prove that the pseudoorder is finitely generated if and only if the submonoid is an affine monoid in ℤ ⁿ .     

Strongly taut finitely generated monoids

A strongly taut monoid is a monoid in which all the powers of any element of the monoid have the same elasticity, that is, the ratio between the maximum and the minimum length of the factorizations of an element remains unchanged under powers. We give a procedure to determine if a finitely generated commutative monoid is strongly taut.     

Model-theoretic properties of regular polygons

This work is devoted to results obtained in the model theory of regular polygons. We give a characterization of monoids with axiomatizable and model-complete class of regular polygons. We describe monoids with complete class of regular polygons that satisfy some additional conditions. We study monoids whose regular core is represented as a union of finitely many principal right ideals and all regular polygons over which have a stable and superstable theory. We prove the stability of the class of all regular polygons over a monoid provided this class is axiomatizable and model-complete. We also describe monoids for which the class of all regular polygons is superstable and ω-stable provided this class is axiomatizable and model-complete. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 4, pp. 107–157, 2004.     

Isolated exceptional Dehn surgeries on hyperbolic knots

For a hyperbolic knot in the 3-sphere, at most finitely many Dehn surgeries yield non-hyperbolic manifolds. Such exceptional surgeries are classified into four types, lens space surgery, small Seifert fibered surgery, toroidal surgery and reducing surgery, according to the resulting manifolds. For each of the three types except reducing surgery, we give infinitely many hyperbolic knots with integral exceptional Dehn surgeries of the given type, whose adjacent integral surgeries are not exceptional.