Related papers: Equations over direct powers of algebraic structur…
We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained…
We study post-Lie algebra structures on pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$, motivated by nil-affine actions of Lie groups. We prove existence results for such structures depending on the interplay of the algebraic…
Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent…
We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…
We study the density of solutions to Diophantine inequalities involving non-singular ternary forms, or equivalently, the density of rational points close to non-singular plane algebraic curves.
We study the algebraic constraints on the structure of nilpotent Lie algebra $\mathbb{g}$, which arise because of the presence of an integrable complex structure $J$. Particular attention is paid to non-abelian complex structures.…
We discuss the notion of the universal relatively hyperbolic structure on a group which is used in order to characterize relatively hyperbolic structures on the group. We also study relations between relatively hyperbolic structures on a…
In this note we study associative dialgebras proving that the most interesting such structures arise precisely when the algebra is not semiprime. In fact the presence of some "perfection" property (simpleness, primitiveness, primeness or…
Much recent literature concerns finiteness properties of infinite-dimensional algebraic varieties equipped with an action of the infinite symmetric group, or of the infinite general linear group. In this paper, we study a common…
This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) {\em Boolean algebra of…
In this article, the properties of being equational noetherian, $q_{\omega}$ and $u_{\omega}$-compactness, and equational Artinian are studied from the perspective of the Zariski topology. The equational conditions on the relative free…
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic…
An algebra is finitely related (or has finite degree) if its term functions are determined by some finite set of finitary relations. Nilpotent monoids built from words, via Rees quotients of free monoids, have been used to exhibit many…
The theory of parity quasi-complexes (PQC) is developed, preparing a set up for defining derived functors using resolutions in the nonabelian case. A homotopy structure on the category of PQC is defined, yielding a 2-category structure. The…
In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called…
A semigroup $S$ is right noetherian if every right congruence on $S$ is finitely generated. In this paper we present some fundamental properties of right noetherian semigroups, discuss how semigroups relate to their substructures with…
A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for…
The direct limit of finite-dimensional semisimple associative algebras arises as a purely algebraic counterpart to important $C^\ast$-algebras. In this paper, we classify direct limits of matrix algebras endowed with a grading by a finite…
Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but…