Displaying 221 – 240 of 294

Showing per page

Subdirect decompositions and the radical of a generalized Boolean algebra extension of a lattice ordered group

Ján Jakubík (2006)

Czechoslovak Mathematical Journal

The extension of a lattice ordered group A by a generalized Boolean algebra B will be denoted by A B . In this paper we apply subdirect decompositions of A B for dealing with a question proposed by Conrad and Darnel. Further, in the case when A is linearly ordered we investigate (i) the completely subdirect decompositions of A B and those of B , and (ii) the values of elements of A B and the radical R ( A B ) .

Subdirect decompositions of algebras from 2-clone extensions of varieties

J. Płonka (1998)

Colloquium Mathematicae

Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠ . For a variety V of type τ we denote by V c , 2 the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible...

Subdirectly irreducible MV-algebras

Hernando Gaitan (2003)

Czechoslovak Mathematical Journal

In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.

Subdirectly irreducible sectionally pseudocomplemented semilattices

Radomír Halaš, Jan Kühr (2007)

Czechoslovak Mathematical Journal

Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented...

Currently displaying 221 – 240 of 294