Related papers: From distributive l-monoids to l-groups, and back …
We prove that the monodromy group of a reduced irreducible square system of general polynomial equations equals the symmetric group. This is a natural first step towards the Galois theory of general systems of polynomial equations, because…
We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse…
For any left orderable group G, we recall from work of McCleary that isolated points in the space of left orderings correspond to basic elements in the free lattice ordered group over G. We then establish a new connection between the…
Finite-above inverse monoids are a common generalization of finite inverse monoids and Margolis--Meakin expansions of groups. Given a finite-above $E$-unitary inverse monoid $M$ and a group variety $\mathit{U}$, we find a condition for $M$…
In [BB] Benjamin Baumslag proved that being fully residually free is equivalent to being residually free and commutative transitive (CT). Gaglione and Spellman [GS] and Remeslennikov [Re] showed that this is also equivalent to being…
We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a…
We study degree bounds on rational but not necessarily polynomial generators for the field $\mathbf{k}(V)^G$ of rational invariants of a linear action of a finite abelian group. We show that lattice-theoretic methods used recently by the…
We prove an effective equidistribution theorem for orbits of certain unipotent subgroups in arithmetic quotients of perfect Lie groups with a polynomial error term. Even for semisimple quotients, our result provides the first infinite…
We prove that every {finitely generated residually finite}-by-sofic group satisfies Kaplansky's direct and stable finiteness conjectures with respect to all noetherian rings. We use this result to provide countably many new examples of…
We consider a family of finitely presented groups, called Universal Left Invertible Element (or ULIE) groups, that are universal for existence of one--sided invertible elements in a group ring K[G], where K is a field or a division ring. We…
We provide a direct proof that a finite graded lattice with a maximal chain of left modular elements is supersolvable. This result was first established via a detour through EL-labellings in [McNamara-Thomas] by combining results of…
Let $X$ be an Abelian group of the form $X=\mathbb{R}^m\times K\times D$, where $m\geq 0$, $K$ is a compact totally disconnected group of the special form, $D$ is a discrete group. Let $\xi_i, i=1,2,...,n,n\geq 2,$ be independent random…
A regular left-order on finitely generated group $G$ is a total, left-multiplication invariant order on $G$ whose corresponding positive cone is the image of a regular language over the generating set of the group under the evaluation map.…
We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine…
A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…
We define and study the symmetric version of differential torsion theories. We prove that the symmetric versions of some of the existing results on derivations on right modules of quotients hold for derivations on symmetric modules of…
This paper studies systems of linear difference equations on the lattice $\Z^n$ that are invariant under a finite group of symmetries, and shows that there exist solutions to such systems that are also invariant under this group of…
We show that, in certain circumstances, a Boolean ample monoid may be fully embedded into a Boolean inverse monoid in a way that generalizes how right reversible cancellative monoids may be embedded into groups. We use groupoids of…
We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x $\in$ D | a $\le$ b $\lor$ x} has a countable coinitial subset, such that D does not carry any binary operation -…
A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper we investigate the more general question of whether the…