Related papers: Lattice-ordered groups generated by an ordered gro…
There are well known algorithms to compute the class group of the maximal order $\mathcal{O}_K$ of a number field $K$ and the group of invertible ideal classes of a non-maximal order $R$. In this paper we explain how to compute also the…
Unified field theories act to merge the internal symmetries of the standard model into a single group. Here we lay out something different. That is, instead of aiming to unify the internal symmetries, we demonstrate a sense in which the…
Infinite hyperplane arrangements whose vertices form a lattice are studied from the point of view of commutative algebra. The quotient of such an arrangement modulo the lattice action represents the minimal free resolution of the associated…
Consider the free group algebra $K\left[F\right]$, where $F$ is a free group and $K$ a field. A well-order $\prec$ on $F$ is called an exposure order if words are greater than their proper prefixes. We show that every one-sided ideal $I$ in…
A classical linear group $G<GL(n)$ acts on $d$-tuples of $n\times n$ matrices by simultaneous conjugation. Working over an infinite field of characteristic different from two we establish that the ideal of free relations, i.e. relations…
Let $A$ be a commutative ring, and assume every non-trivial ideal of $A$ has finite-index. We show that if ${\rm{SL}}_n(A)$ has bounded elementary generation then every conjugation-invariant norm on it is either discrete or precompact. If…
In this paper we consider a general way of constructing profinite struc- tures based on a given framework - a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family…
Using the Cartan formulation of General Relativity, we construct a well defined lattice-regularized theory capable to describe large non-perturbative quantum fluctuations of the frame field (or the metric) and of the spin connection. To…
This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…
An l-group G is an abelian group equipped with a translation invariant lattice order. Baker and Beynon proved that G is finitely generated projective iff it is finitely presented. A unital l-group is an l-group G with a distinguished order…
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…
Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…
A new class of integrable maps, obtained as lattice versions of polynomial dynamical systems is introduced. These systems are obtained by means of a discretization procedure that preserves several analytic and algebraic properties of a…
Finite W-algebras are certain associative algebras arising in Lie theory. Each W-algebra is constructed from a pair of a semisimple Lie algebra g (our base field is algebraically closed and of characteristic 0) and its nilpotent element e.…
A tautological system, introduced in [16][17], arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable…
In development of the started activity on lattice analogues of $W$-algebras, we define the notion of lattice $W_{\infty}$-algebra, accociated with lattice integrable system with infinite set of fields. Various kinds of reduction to lattice…
Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a…
An \textit{ideal} of $N$-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with…
Approximate lattices are aperiodic generalisations of lattices of locally compact groups that were first studied in seminal work of Yves Meyer. They are defined as those uniformly discrete approximate subgroups (symmetric subsets stable…
The classical involutive division theory by Janet decomposes in the same way both the ideal and the escalier. The aim of this paper, following Janet's approach, is to discuss the combinatorial properties of involutive divisions, when…