In this work, we investigate the transfer of some homological properties from a ring $R$ to its amalgamated duplication along some ideal $I$ of $R$ $Rbowtie I$, and then generate new and original families of rings with these properties.

Ž . A group G is LERF locally extended residually finite if for any finitely generated subgroup S of G and for any g f S there exists a finite index subgroup S of G which contains S but not g. Using graph-theoretical methods we give 0 algorithms for constructing finite index subgroups in amalgamated free products of groups with good separability properties. We prove that a free product of a fre...

We study topological von Neumann regularity and principal von Neumann regularity of Banach algebras. Our main objective is comparing these two types of Banach algebras and some other known Banach algebras with one another. In particular, we show that the class of topologically von Neumann regular Banach algebras contains all $C^*$-algebras, group algebras of compact abelian groups and ...

To this end let X and Y be 3–manifolds with incompressible boundary homeomorphic to a connected surface F . It is not difficult to show that if HX and HY are Heegaard surfaces in X and Y then we can amalgamate these splittings to obtain a Heegaard surface in X∪F Y with genus equal to g(HX)+g(HY )−g(F) (see, for example, Schultens [14]). Letting g(X), g(Y), and g(X∪F Y) denote the minimal genus ...

Hardware lock-elision (HLE) introduces concurrency into legacy lockbased code by optimistically executing critical sections in a fast-path as hardware transactions. Its main limitation is that in case of repeated aborts, it reverts to a fallback-path that acquires a serial lock. This fallback-path lacks hardwaresoftware concurrency, because all fast-path hardware transactions abort and wait for...

We construct Boolean-valued term models and describe their universal properties. The underlying set of these models consists of the terms of the underlying language, while formulae are interpreted in the Lindenbaum-Tarski algebra of open formulae. Subspaces of the Stone space of the Lindenbaum-Tarski algebra of open formulae are shown to be homeomorphic to spaces of enumerated models models equ...

We study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theo...

We say that a finite dimensional Lie algebra is quasi-reductive if it has a linear form whose stabilizer for the coadjoint representation, modulo the center, is a reductive Lie algebra with a center consisting of semisimple elements. Parabolic subalgebras of a semisimple Lie algebra are not always quasi-reductive (except in types A or C by work of Panyushev). The classification of quasireductiv...