Related papers: Arithmetic of Dedekind cuts of ordered Abelian gro…

Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…

We address the "sums of dilates problem" by looking for non-trivial lower bounds on sumsets of the form $k \cdot X + l \cdot X$, where $k$ and $l$ are non-zero integers and $X$ is a subset of a possibly non-abelian group $G$ (written…

That announcement gives the structure of totally reducible linear Lie algebras which are the Lie algebra of the holonomy group of (at least) one torsion-free connection. The result uses the (already known) classi cation of the irreducible…

Each Abelian subgroup of the fundamental group of a compact and locally simply connected $d$-dimensional length space with no conjugate points is isomorphic to $\mathbb{Z}^k$ for some $0 \leq k \leq d$. It follows from this and previously…

It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (See Theorem 21.3 of \cite{Fuchs:abelian-group}). In this paper, conditions to split off rational parts in homotopy types from a given…

We classify gradings on matrix algebras by a finite abelian group. A grading is called good if all elementary matrices are homogeneous. For cyclic groups, all gradings on a matrix algebra over an algebraically closed field are good. We can…

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.

Among connected linear algebraic groups, quasi-reductive groups generalize pseudo-reductive groups, which in turn form a useful relaxation of the notion of reductivity. We study quasi-reductive groups over non-archimedean local fields,…

The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language…

Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the…

We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of…

An arithmetical structure on a finite, connected graph without loops is an assignment of positive integers to the vertices that satisfies certain conditions. Associated to each of these is a finite abelian group known as its critical group.…

We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$,…

Let $\rho$ be a finite-dimensional faithful representation of a semisimple algebraic group $G$. By means of a deformation argument, we show that there exists a family of Abelian varieties over a smooth and projective curve over the…

This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over few classes of groups. In the 10th paper…

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based…

This work delves into the {\it quotient of an affine semigroup by a positive integer}, exploring its intricate properties and broader implications. We unveil an {\it associated tree} that serves as a valuable tool for further analysis.…

In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…

We introduce a notion of compatible quasi-ordered groups which unifies valued and ordered abelian groups. It was proved in a paper by Fakhruddin that a compatible quasi-order on a field is always either an order or a valuation. We show here…