Related papers: From distributive l-monoids to l-groups, and back …
We show that any first order ordinary differential equation with a known Lie point symmetry group can be discretized into a difference scheme with the same symmetry group. In general, the lattices are not regular ones, but must be adapted…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
We extend classical results on the classification of reversible elements of the group $\mathrm{GL}(n, \mathbb{C})$ (and $\mathrm{GL}(n, \mathbb{R})$) to $\mathrm{GL}(n, \mathbb{H})$ using an infinitesimal version of the classical…
We prove that every perfect torsion theory for a ring $R$ is differential (in the sense of [P. E. Bland, Differential torsion theory, Journal of Pure and Applied Algebra 204 (2006) 1 -- 8]). In this case, we construct the extension of a…
This paper investigates conditions under which a given automorphism of a residually torsion-free nilpotent group respects some ordering of the group. For free groups and surface groups, this has relevance to ordering the fundamental groups…
In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in…
A $\Lambda$-tree is a $\Lambda$-metric space satisfying three axioms (1), (2) and (3). We give a characterization of those ordered abelian groups $\Lambda$ for which axioms (1) and (2) imply axiom (3). As a special case, it follows that for…
Gowers and Hatami initiated the inverse theory for the uniformity norms $U^k$ of matrix-valued functions on non-abelian groups by proving a $1\%$-inverse theorem for the $U^2$-norm and relating it to stability questions for almost…
We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.
In this paper, the Identity Problem for certain groups, which asks if the subsemigroup generated by a given finite set of elements contains the identity element, is related to problems regarding ordered groups. Notably, the Identity Problem…
We show that if a Lagrangian is invariant under a transformation (with the invariance defined in the standard manner), then the equations of motion obtained from it maintain their form under the transformation. We also show that the…
We show that the level sets of automorphisms of free groups with respect to the Lipschitz metric are connected as subsets of Culler-Vogtmann space. In fact we prove our result in a more general setting of deformation spaces. As…
In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of R\'emond's generalisation of…
In this paper we prove several results about the lattice of imprimitivity systems of a permutation group containing a cyclic subgroup with at most two orbits. As an application we generalize the first Ritt theorem about functional…
Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type…
By a completely inverse $AG^{**}$-groupoid we mean an inverse $AG^{**}$-groupoid $A$ satisfying the identity $xx^{-1}=x^{-1}x$, where $x^{-1}$ denotes a unique element of $A$ such that $x=(xx^{-1})x$ and $x^{-1}=(x^{-1}x)x^{-1}.$ We show…
Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering…
We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated…
We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…
We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. A classical consequence of the…