Related papers: Free bounded archimedean $\ell$-algebras

We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated…

We introduce the notion of torsion-simple objects in an abelian category: these are the objects which are always either torsion or torsion-free with respect to any torsion pair. We present some general results concerning their properties,…

We investigate and compare $\mathcal F$-Borel classes and absolute $\mathcal F$-Borel classes. We provide precise examples distinguishing these two hierarchies. We also show that for separable metrizable spaces, $\mathcal F$-Borel classes…

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

We show that the Diophantine problem(decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively…

We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very…

We give an example of a measurable set of reals E such that the set E'={(x,y): x+y in E} is not in the sigma-algebra generated by the rectangles with measurable sides. We also prove a stronger result that there exists an analytic set E such…

Let $G$ be a connected Lie group of rank one. In this paper the existence of free actions of group $G$ on spheres, real projective spaces and lens spaces has been studied. Most of the results have been obtained for finitistic spaces with…

We study the algebras of hermitian automorphic forms for the lattice $L_n=diag(1,1,\ldots,1,-1)$ and for the field $K=\mathbb{Q}(\sqrt{-d})$ such that $p=2$ is unramified and the ring of integers $\mathcal{O}_K$ is a p.i.d. We prove that…

Let G be a group and let W be an algebra over a field K. We will say that W is a G-graded twisted algebra if W can be written as a direct sum over the elements of G of one dimensional K-vector spaces. It is also assumed that W has no…

In this note, we study the problem on the existence of non-cyclic free subgroups of the skew group algebra of a locally finite group over a field.

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…

Divergence-free Lie algebras are originated from the Lie algebras of volume-preserving transformation groups. Xu constructed a certain nongraded generalization, which may not contain any toral Cartan subalgebra. In this paper, we give a…

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

In this thesis we classify modules over a Witt-type Lie algebra and superalgebra such that when considered as modules of $\mathcal{U}(\mathfrak{h})$ they are free of rank 1. We provide sufficient conditions for simplicity, and compute the…

A new approach is suggested to characterize algebraically automorphisms of the category of free algebras of a given variety. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category…

We obtain a duality between certain category of finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are essentialy sheaves of MTL-chains over Alexandrov spaces.…

We give an infinite family of torsion-free groups that do not satisfy the unique product property. For these examples, we also show that each group contains arbitrarily large sets whose square has no uniquely represented element.

We study the boundary vertex algebras of $A$-twisted $\mathcal{N}=4$ Abelian gauge theories in three dimensions. These are identified with the BRST quotient (semi-infinite cohomology) of collections of symplectic bosons and free fermions…