In this paper, the (weak) Boolean representation of R0-algebras are investigated. In particular, we show that directly indecomposable R0-algebras are equivalent to local R0-algebras and any nontrivial R0-algebra is representable as a weak Boolean product of local R0-algebras.
Boolean Products of BL-Algebras
✍ Scribed by Antonio Di Nola; George Georgescu; Laurenţiu Leuştean
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 188 KB
- Volume
- 251
- Category
- Article
- ISSN
- 0022-247X
No coin nor oath required. For personal study only.
✦ Synopsis
The representation of algebras by Boolean products is a very general problem in universal algebra. In this paper we shall characterize the Boolean products of BL-chains, the weak Boolean products of local BL-algebras, and the weak Boolean products of perfect BL-algebras.
📜 SIMILAR VOLUMES
Pseudocomplemented semilattices are studied here from an algebraic point of view, stressing the pivotal role played by the pseudocomplements and the relationship between pseudocomplemented semilattices and Boolean algebras. Following the pattern of semiprime ring theory, a notion of Goldie dimension
## S(z A y ) z S(A), by (c) * S(z) A S(Y) 2 S(A) e S(x) 2 S(A) and S(y) 2 S(A) e C ( s ) s C ( A ) 'and C ( y ) E C ( A ) , by (c) o x € C ( A ) and Y E C ( A ) . Now every ultrafilter is consistent and closed with respect to C, since if U is an ultrafilter and C ( U ) = X , then C({,uu,, . . ., ,
We consider eight special kinds of subalgebras of Boolean algebras. In Section 1 we describe the relationships between these subalgebra notions. In succeeding sections we consider how the subalgebra notions behave with respect to the most common cardinal functions on Boolean algebras.
## Abstract Generalizations of Boolean elements of a BL‐algebra __L__ are studied. By utilizing the MV‐center MV(__L__) of __L__, it is reproved that an element __x__ ∈ __L__ is Boolean iff __x__ ∨ __x__ \* = **1**. __L__ is called semi‐Boolean if for all __x__ ∈ __L__, __x__ \* is Boolean. An MV‐a