Related papers: Rational Simplicial geometry and projective unital…

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…

A unital $\ell$-group $(G,u)$ is an abelian group $G$ equipped with a translation-invariant lattice-order and a distinguished element $u$, called order-unit, whose positive integer multiples eventually dominate each element of $G$. We…

By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality…

Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital}…

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

An abelian lattice-ordered group, or abelian $\ell$-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set…

Following Elliott's earlier work, we show that the Elliott invariant of any finite separable simple $C^*$-algebra with finite nuclear dimension can always be described as a scaled simple ordered group pairing together with a countable…

A finite group $G$ is called uniformly semi-rational if there exists an integer $r$ such that the generators of every cyclic sugroup $\langle x \rangle$ of $G$ lie in at most two conjugacy classes, namely $x^G$ or $(x^r)^G$. In this paper,…

We prove that the projective unit group $\mathrm{PGL}(R)$, i.e., the quotient of the unit group $\mathrm{GL}(R)$ modulo its center, of any non-discrete irreducible, continuous ring $R$ is simple. Moreover, we show that $\mathrm{GL}(R)$ has…

We consider the action of $p$-toral subgroups of $U(n)$ on the unitary partition complex $\mathcal L_n$. We show that if $H\subseteq U(n)$ is $p$-toral and has noncontractible fixed points on $\mathcal L_n$, then the image of $H$ in the…

Let $U$ be a unipotent group which is graded in the sense that it has an extension $H$ by the multiplicative group of the complex numbers such that all the weights of the adjoint action on the Lie algebra of $U$ are strictly positive. We…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

Despite being a vast generalization of Garside groups, right $\ell$-groups with noetherian lattice structure and strong order unit share a lot of the properties of Garside groups. In the present work, we prove that every modular noetherian…

It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras $(A,s)$ satisfying $s(x,0)=x$ and $s(x,x)=0$, i.e., \emph{subtraction algebras}.…

Let R be a commutative ring with unity, M be an unitary R-module and {\Gamma} be a simple graph. This research article is an interplay of combinatorial and algebraic properties of M . We show a combinatorial object completely determines an…

We show that a large class of divisible abelian $\ell$-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the…

We study the categorical-algebraic properties of the semi-abelian variety $\ell \mathbb{G}rp$ of lattice-ordered groups. In particular, we show that this category is fiber-wise algebraically cartesian closed, arithmetical, and strongly…

General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product…

Let $X$ be an algebraic scheme over an algebraically closed field and $\ell$ a prime number invertible on $X$. According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the \'etale cohomology groups…

Suppose $\ell$ is a prime number, $\ell >3$, $K$ is a field that is an unramified finite extension of the field $\Q_\ell$ of $\ell$-adic numbers, and $G$ is a finite group that is a semi-direct product of a normal $\ell'$-subgroup $H$ and a…