Related papers: Counting $(1,\beta)$-BM relations and classifying …

The starting point is the class of the following simplicial complexes $\Delta$ with 2-linear resolutions. The facets of $\Delta$ are $F_1,\ldots,F_n$, and we demand that for each $i$ $F_i\cap (F_1\cup \cdots\cup F_{i-1}\cup…

We will describe an algorithm to arrange all the positive and negative integer numbers. This array of numbers permits grouping them in six different Classes, $\alpha$, $\beta$, $\gamma$, $\delta$, $\epsilon$, and $\zeta$. Particularly,…

In this note we characterise all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS$(1,n)$. It turns out that a finitely generated group $G$ is elementarily equivalent to BS$(1,n)$ if and only if $G$…

This paper deals with the number of subgroups of a given exponent in a finite abelian group. Explicit formulas are obtained in the case of rank two and rank three abelian groups. An asymptotic formula is also presented.

The Bowman-Bradley theorem asserts that the multiple zeta values at the sequences obtained by inserting a fixed number of twos between 3,1,...,3,1 add up to a rational multiple of a power of pi. We establish its counterpart for multiple…

We use Constraint Satisfaction Methods to construct and enumerate finite $L$-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the combinatorial…

We prove that at least one of the six numbers $\beta(2i)$ for $i=1,\dots,6$ is irrational. Here $\beta(s)=\sum_{k=0}^\infty(-1)^k(2k+1)^{-s}$ denotes Dirichlet's beta function, so that $\beta(2)$ is Catalan's constant.

A remarkable result of Gersten states that the class of hyperbolic groups of cohomological dimension $2$ is closed under taking finitely presented (or more generally $FP_2$) subgroups. We prove the analogous result for relatively hyperbolic…

Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of union, intersection, sequential and parallel composition, as…

The problem of embedding an ample semigroup in an inverse semigroup as a (2, 1, 1)-type subalgebra is known to be undecidable. In this article, we investigate the problem for certain classes of ample semigroups. We also give examples of…

We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve…

A class of one-relator groups such that every group in the class is determined by a triple of integers and is an HNN-extension of some Baumslag -- Solitar group is considered. A criterion for two groups in this class to be isomorphic and…

We define the category of partitioned binary relations and show that it contains many classical diagram categories, including categories of binary relations, maps, injective maps, partitions, (oriented) Brauer diagrams and (oriented)…

This paper enriches the list of known properties of congruence sequences starting from the universal relation and successively performing the operators lower $k$ and lower $t$. Two series of inverse semigroups, namely…

The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank,…

Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $\Delta$, applying the university embedding theorem one can construct a faithful $G$-set $\Omega$. In this short note, it is proved that if the $2$-closure of $N$ in…

In this paper we prove that for each dimension $n$ there are only finitely many isomorphism classes of pairs of groups $(\Gamma,\mathrm{N})$ such that $\Gamma$ is an $n$-dimensional crystallographic group and $\mathrm{N}$ is a normal…

We characterize semigroups in $\{0,1,2,\ldots\}$ of matricial dimension $2$ and produce a counterexample to the conjecture that a numerical semigroup whose small elements are lonely has matricial dimension at most $2$.

Taking $t$ at random, uniformly from $[0,T]$, we consider the $k$th moment, with respect to $t$, of the random variable corresponding to the $2\beta$th moment of $\zeta(1/2+ix)$ over the interval $x\in(t, t+1]$, where $\zeta(s)$ is the…

We find all finite Ockham algebras that admit only finitely many compatible relations (modulo a natural equivalence). Up to isomorphism and symmetry, these Ockham algebras form two countably infinite families: one family consists of the…