Displaying 61 – 80 of 323

Showing per page

On congruence distributivity of ordered algebras with constants

Krisztina Balog, Benedek Skublics (2011)

Discussiones Mathematicae - General Algebra and Applications

We define the order-congruence distributivity at 0 and order- congruence n-distributivity at 0 of ordered algebras with a nullary operation 0. These notions are generalizations of congruence distributivity and congruence n-distributivity. We prove that a class of ordered algebras with a nullary operation 0 closed under taking subalgebras and direct products is order-congruence distributive at 0 iff it is order-congruence n-distributive at 0. We also characterize such classes by a Mal'tsev condition....

On congruences of G -sets

Boris M. Vernikov (1997)

Commentationes Mathematicae Universitatis Carolinae

We describe G -sets whose congruences satisfy some natural lattice or multiplicative restrictions. In particular, we determine G -sets with distributive, arguesian, modular, upper or lower semimodular congruence lattice as well as congruence n -permutable G -sets for n = 2 , 2 . 5 , 3 .

On connections between hypergraphs and algebras

Konrad Pióro (2000)

Archivum Mathematicum

The aim of the present paper is to translate some algebraic concepts to hypergraphs. Thus we obtain a new language, very useful in the investigation of subalgebra lattices of partial, and also total, algebras. In this paper we solve three such problems on subalgebra lattices, other will be solved in [[Pio4]]. First, we show that for two arbitrary partial algebras, if their directed hypergraphs are isomorphic, then their weak, relative and strong subalgebra lattices are isomorphic. Secondly, we prove...

On covariety lattices

Tomasz Brengos (2008)

Discussiones Mathematicae - General Algebra and Applications

This paper shows basic properties of covariety lattices. Such lattices are shown to be infinitely distributive. The covariety lattice L C V ( K ) of subcovarieties of a covariety K of F-coalgebras, where F:Set → Set preserves arbitrary intersections is isomorphic to the lattice of subcoalgebras of a P κ -coalgebra for some cardinal κ. A full description of the covariety lattice of Id-coalgebras is given. For any topology τ there exist a bounded functor F:Set → Set and a covariety K of F-coalgebras, such that...

Currently displaying 61 – 80 of 323