Related papers: Free bounded archimedean $\ell$-algebras
We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.
Building on the foundations in our previous paper, we study Segal conditions that are given by finite products, determined by structures we call cartesian patterns. We set up Day convolution on presheaves in this setting and use it to give…
Tridendriform algebras are a type of associative algebras, introduced independently by F. Chapoton and by J.-L. Loday and the third author, in order to describe operads related to the Stasheff polytopes. The vector space $\st$ spanned by…
We prove the Freiheitssatz for right-symmetric algebras and the decidability of the word problem for right-symmetric algebras with a single defining relation. We also prove that two generated subalgebras of free right-symmetric algebras are…
Foundations of the theory of vertex algebras are extended to the non-Archimedean setting.
For any reduced free product $\mathrm{C}^*$-algebra $(A, \varphi) =(A_1, \varphi_1) \star (A_2, \varphi_2)$, we prove a boundary rigidity result for the embedding of $A$ into its associated $\mathrm{C}^*$-algebra $\Delta \mathbf{T}(A,…
In this paper, we study free algebras in subvarieties of the variety of associative algebras singled out by Mal'cev's classification. For each subvariety, we construct the bases for the corresponding free algebras and describe the space of…
We give a full classification, up to equivalence, of finite-dimensional graded division algebras over the field of real numbers. The grading group is any abelian group.
In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…
In this paper, we develop the notion of free-Boolean independence in an amalgamation setting. We construct free-Boolean cumulants and show that the vanishing of mixed free-Boolean cumulants is equivalent to our free-Boolean independence…
In this paper, we observe the amalgamated free product structure of a Graph W*-probability space. In [16] and [17], we already observed the operator-valued freeness conditions on a graph W*-algebra. By using the conditions, we will consider…
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL…
We consider the class of crossed products of noetherian domains with universal enveloping algebras of Lie algebras. For algebras from this class we give a sufficient condition for the existence of projective non-free modules. This class…
We study free topological groups defined over uniform spaces in some subclasses of the class NA of non-archimedean groups. Our descriptions of the corresponding topologies show that for metrizable uniformities the corresponding free…
We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.
In this paper we describe the amalgamated free product of two hyperfinite von Neumann algebras over a finite dimensional subalgebra. In general the free product is a finite direct sum of interpolated free group factors and a hyperfinite von…
In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras…
We investigate free products of finite dimensional $C^*$-algebras with amalgamation over diagonal subalgebras. We look to determine under what circumstances a given free product is exact and/or nuclear. In some cases we find a description…
Let $K$ be a field of characteristic zero, let $\sigma$ be an automorphism of $K$ and let $\delta$ be a $\sigma$-derivation of $K$. We show that the division ring $D=K(x;\sigma,\delta)$ either has the property that every finitely generated…
All simple weight modules with finite dimensional weight spaces over affine Lie algebras are classified.