Related papers: New Results on Congruence Boolean Lifting Property
In this paper we give equational presentations of the varieties of {\em integral bounded residuated lattice-ordered commutative monoids} (bounded residuated lattices for short) satisfying the \emph{General Apple Property} (GAP), that is,…
The {\em reticulation} of an algebra $A$ is a bounded distributive lattice whose prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic to the prime spectrum of congruences of $A$, with its own Stone…
Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek's basic logic with an important significance in the study of fuzzy logic. The purpose of this paper is to investigate commutative…
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…
We say that an inclusion of an algebra $A$ into a $C^*$-algebra $B$ has the ideal separation property if closed ideals in $B$ can be recovered by their intersection with $A$. Such inclusions have attractive properties from the point of view…
In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…
The systematic study of planar semimodular lattices started in 2007 with a series of papers by G. Gr\"atzer and E. Knapp. These lattices have connections with group theory and geometry. A planar semimodular lattice $L$ is {\it slim} if…
Amalgamation is investigated in classes of involutive commutative residuated lattices that are neither divisible, nor integral, nor idempotent. We demonstrate that several subclasses of totally ordered involutive commutative residuated…
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…
We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…
We develop a new method, based on non-vanishing of second cohomology groups, for proving the failure of lifting properties for full C$^*$-algebras of countable groups with (relative) property (T). We derive that the full C$^*$-algebras of…
The aim of the present paper is to extend the concept of a congruence from lattices to posets. We use an approach different from that used by the first author and V. Sn\'a\v{s}el. By using our definition we show that congruence classes are…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
The purpose of this work is to extend the study of the commutative rings whose lattice of ideals can be a structure of BL-algebra as carry out by Heubo et al in 2018, to non commutative rings appointed in the work as pseudo BL-rings. We…
Let $M$ be an $R$-module and $c$ the function from $M$ to the ideals of $R$ defined by $c(x) = \cap \lbrace I \colon I \text{is an ideal of} R \text{and} x \in IM \rbrace $. $M$ is said to be a content $R$-module if $x \in c(x)M $, for all…
Congruence lattices of semiprime algebras from semi--degenerate congruence--modular varieties fulfill the equivalences from B. A. Davey`s well--known characterization theorem for $m$--Stone bounded distributive lattices, moreover, changing…
We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to…
The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…
This note is motivated by Kirchberg's conjecture that the local lifting property (LLP) implies the lifting property (LP) for $C^*$-algebras. The author recently constructed by a "local" method an example of $C^*$-algebra with the LLP and…
Recollements of abelian categories are used as a basis of a homological and recursive approach to quasi-hereditary algebras. This yields a homological proof of Dlab and Ringel's characterisation of idempotent ideals occuring in heredity…