arXiv Science⌕ Search

arXiv subjects

Nik Ruskuc

Publications and source records attributed to Nik Ruskuc.

At least 37 records · Page 2Linked to original sources
arXiv2019

Bounded homomorphisms and finitely generated fiber products of lattices

We investigate when fiber products of lattices are finitely generated and obtain a new characterization of bounded lattice homomorphisms onto lattices satisfying a property we call Dean's condition (D) which arises from Dean's solution to the word problem for finitely presented lattices. In particular, all finitely presented lattices and those satisfying Whitman's condition satisfy (D). For lattice epimorphisms $g\colon A\to D$, $h\colon B\to D$, where $A$, $B$ are finitely generated and $D$ satisfies (D), we show the following: If $g$ and $h$ are bounded, then their fiber product (pullback) $C=\{(a,b)\in A\times B\ |\ g(a)=h(b)\}$ is finitely generated. While the converse is not true in general, it does hold when $A$ and $B$ are free. As a consequence we obtain an (exponential time) algorithm to decide boundedness for finitely presented lattices and their finitely generated sublattices satisfying (D). This generalizes an unpublished result of Freese and Nation.

math.LO↗
arXiv2019

Deciding Word Problems of Semigroups using Finite State Automata

We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.

cs.FL↗
arXiv2019

Right noetherian semigroups

A semigroup $S$ is right noetherian if every right congruence on $S$ is finitely generated. In this paper we present some fundamental properties of right noetherian semigroups, discuss how semigroups relate to their substructures with regard to the property of being right noetherian, and investigate whether this property is preserved under various semigroup constructions.

math.GR↗
arXiv2019

Generating subdirect products

We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ and $B$ over a common quotient $D$, and if $A$, $B$ and $D$ are finitely presented, then $C$ is finitely generated. For subdirect products of more than two factors we establish a general connection with projections on pairs of factors and higher commutators. More detailed results are provided for groups, loops, rings and $K$-algebras. In particular, let $C$ be a subdirect product of $K$-algebras $A_1,\dots,A_n$ for a Noetherian ring $K$ such that the projection of $C$ onto any $A_i\times A_j$ has finite co-rank in $A_i\times A_j$. Then $C$ is finitely generated (resp. finitely presented) if and only if all $A_i$ are finitely generated (resp. finitely presented). Finally, examples of semigroups and lattices are provided which indicate further complications as one ventures beyond congruence permutable varieties.

math.RA↗
arXiv2019

Presentations for subrings and subalgebras of finite co-rank

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries we obtain: a subring of finite index in a finitely presented ring is finitely presented; a subalgebra of finite co-dimension in a finitely presented algebra over a field is finitely presented (already shown by Voden in 2009). We also discuss the role of the Noetherian assumption on $K$, and show that for finite generation it can be replaced by a weaker condition that the module $A/B$ be finitely presented. Finally, we demonstrate that the results do not readily extend to non-associative algebras, by exhibiting an ideal of co-dimension $1$ of the free Lie algebra of rank 2 which is not finitely generated as a Lie algebra.

math.RA↗
arXiv2018

On the number of subsemigroups of direct products involving the free monogenic semigroup

The direct product $\mathbb{N}\times\mathbb{N}$ of two free monogenic semigroups contains uncountably many pairwise non-isomorphic subdirect products. Furthermore, the following hold for $\mathbb{N}\times S$, where $S$ is a finite semigroup. It contains only countably many pairwise non-isomorphic subsemigroups if and only if $S$ is a union of groups. And it contains only countably many pairwise non-isomorphic subdirect products if and only if every element of $S$ has a relative left- or right identity element.

math.GR↗
arXiv2018

An introduction to presentations of monoid acts: quotients and subacts

The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act $A$ and a subact $B$ of $A$, on the one hand we construct presentations for $B$ and the Rees quotient $A/B$ using a presentation for $A$, and on the other hand we derive a presentation for $A$ from presentations for $B$ and $A/B$. We also construct a general presentation for the union of two subacts. From our general presentations, we deduce a number of finite presentability results. Finally, we consider the case where a subact $B$ has finite complement in an $M$-act $A$. We show that if $M$ is a finitely generated monoid and $B$ is finitely presented, then $A$ is finitely presented. We also show that if $M$ belongs to a wide class of monoids, including all finitely presented monoids, then the converse also holds.

math.GR↗
arXiv2018

Congruence lattices of finite diagram monoids

We give a complete description of the congruence lattices of the following finite diagram monoids: the partition monoid, the planar partition monoid, the Brauer monoid, the Jones monoid (also known as the Temperley-Lieb monoid), the Motzkin monoid, and the partial Brauer monoid. All the congruences under discussion arise as special instances of a new construction, involving an ideal I, a retraction I->M onto the minimal ideal, a congruence on M, and a normal subgroup of a maximal subgroup outside I.

math.GR↗
arXiv2017

Finiteness properties of direct products of algebraic structures

We consider the preservation of properties of being finitely generated, being finitely presented and being residually finite under direct products in the context of different types of algebraic structures. The structures considered include Mal'cev algebras (including groups, rings and other classical algebras, as well as loops), idempotent algebras (including lattices), semigroups, and algebras in congruence modular varieties. We aim to identify as broad classes as possible in which the 'expected' preservation results (AxB satisfies property P if and only if A and B satisfy P) hold, and to exhibit ways in which they may fail outside those classes.

math.RA↗
arXiv2016

On the star-height of factor counting languages and their relationship to Rees zero-matrix semigroups

Given a word $w$ over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which $w$ occurs as a contiguous subword (factor) an exact number of times and of the languages in which $w$ occurs as a contiguous subword modulo a fixed number, and prove that in each case it is at most one. We use these combinatorial results to show that any language recognised by a Rees (zero-)matrix semigroup over an abelian group is of generalised star-height at most one.

cs.FL↗
arXiv2015

Free monoids are coherent

A monoid $S$ is said to be right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. Left coherency is defined dually and $S$ is coherent if it is both right and left coherent. These notions are analogous to those for a ring $R$ (where, of course, $S$-acts are replaced by $R$-modules). Choo, Lam and Luft have shown that free rings are coherent. In this note we prove that, correspondingly, any free monoid is coherent, thus answering a question posed by the first author in 1992.

math.RA↗
arXiv2014

On Residual Finiteness of Monoids, their Schutzenberger Groups and Associated Actions

In this paper we discuss connections between the following properties: (RFM) residual finiteness of a monoid M; (RFSG) residual finiteness of Schutzenberger groups of M; and (RFRL) residual finiteness of the natural actions of M on its Green's R- and L-classes. The general question is whether (RFM) implies (RFSG) and/or (RFRL), and vice versa. We consider these questions in all the possible combinations of the following situations: M is an arbitrary monoid; M is an arbitrary regular monoid; every J-class of M has finitely many R- and L-classes; M has finitely many left and right ideals. In each case we obtain complete answers.

math.GR↗
arXiv2012

Inflations of geometric grid classes of permutations

Geometric grid classes and the substitution decomposition have both been shown to be fundamental in the understanding of the structure of permutation classes. In particular, these are the two main tools in the recent classification of permutation classes of growth rate less than $κ\approx2.20557$ (a specific algebraic integer at which infinite antichains begin to appear). Using language- and order-theoretic methods, we prove that the substitution closures of geometric grid classes are partially well-ordered, finitely based, and that all their subclasses have algebraic generating functions. We go on to show that the inflation of a geometric grid class by a strongly rational class is partially well-ordered, and that all its subclasses have rational generating functions. This latter fact allows us to conclude that every permutation class with growth rate less than $κ$ has a rational generating function. This bound is tight as there are permutation classes with growth rate $κ$ which have nonrational generating functions.

math.CO↗
arXiv2011

On Maximal Subgroups of Free Idempotent Generated Semigroups

We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite semigroup. (3) Every group is a maximal subgroup of some free regular idempotent generated semigroup. (4) Every finite group is a maximal subgroup of some free regular idempotent generated semigroup arising from a finite regular semigroup.

math.GR↗
arXiv2011

Maximal subgroups of free idempotent generated semigroups over the full transformation monoid

Let T_n be the full transformation semigroup of all mappings from the set {1,...,n} to itself under composition. Let E = E(T_n) denote the set of idempotents of T_n and let e be an arbitrary idempotent satisfying |im(e)|=r < n-1. We prove that the maximal subgroup of the free idempotent generated semigroup over E containing e is isomorphic to the symmetric group S_r.

math.GR↗
arXiv2010

Simple extensions of combinatorial structures

An interval in a combinatorial structure S is a set I of points which relate to every point from S I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a simple structure by structures of smaller sizes -- this is called the substitution (or modular) decomposition. In this paper we prove several results of the following type: An arbitrary structure S of size n belonging to a class C can be embedded into a simple structure from C by adding at most f(n) elements. We prove such results when C is the class of all tournaments, graphs, permutations, posets, digraphs, oriented graphs and general relational structures containing a relation of arity greater than 2. The function f(n) in these cases is 2, \lceil log_2(n+1)\rceil, \lceil (n+1)/2\rceil, \lceil (n+1)/2\rceil, \lceil log_4(n+1)\rceil, \lceil \log_3(n+1)\rceil and 1, respectively. In each case these bounds are best possible.

math.CO↗
arXiv2009

Green index in semigroups: generators, presentations and automatic structures

Let S be a semigroup and let T be a subsemigroup of S. Then T acts on S by left- and by right multiplication. This gives rise to a partition of the complement of T in S, and to each equivalence class of this partition we naturally associate a relative Schutzenberger group. We show how generating sets for S may be used to obtain generating sets for T and the Schutzenberger groups, and vice versa. We also give a method for constructing a presentation for S from given presentations of T and the Schutzenberger groups. These results are then used to show that several important properties are preserved when passing to finite Green index subsemigroups or extensions, including: finite generation, solubility of the word problem, growth type, automaticity, finite presentability (for extensions) and finite Malcev presentability (in the case of group-embeddable semigroups). These results provide common generalisations of several classical results from group theory and Rees index results from semigroup theory.

math.GR↗