lattice of congruences
Recently Published Documents


TOTAL DOCUMENTS

51
(FIVE YEARS 1)

H-INDEX

11
(FIVE YEARS 0)

Author(s):  
Haijun Liu ◽  
Xiaojiang Guo

The theory of congruences on semigroups is an important part in the theory of semigroups. The aim of this paper is to study [Formula: see text]-congruences on a glrac semigroup. It is proved that the [Formula: see text]-congruences on a glrac semigroup become a complete sublattice of its lattice of congruences. Especially, the structures of left restriction semigroup [Formula: see text]-congruences and the projection-separating [Formula: see text]-congruences on a glrac semigroup are established. Also, we demonstrate that they are both complete sublattice of [Formula: see text]-congruences and consider their relations with respect to complete lattice homomorphism.


2019 ◽  
Vol 28 (3) ◽  
pp. 316-340
Author(s):  
Juan Manuel Cornejo ◽  
HernÁn Javier San MartÍn

Abstract Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its subvarieties. In particular, we prove that the category of dually hemimorphic semi-Heyting algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. We also study the lattice of congruences of a dually hemimorphic semi-Nelson algebra through some of its deductive systems.


2017 ◽  
Vol 27 (8) ◽  
pp. 2653-2688
Author(s):  
C Areces ◽  
M Campercholi ◽  
D Penazzi ◽  
P Sánchez Terraf

2013 ◽  
Vol 59 (1) ◽  
pp. 209-218 ◽  
Author(s):  
Kostaq Hila ◽  
Edmond Pisha

Abstract The purpose of this paper is to introduce and give some properties of l-Rees matrix Γ-semigroups. Generalizing the results given by Guowei and Ping, concerning the congruences and lattice of congruences on regular Rees matrix Γ-semigroups, the structure theorem of l-congruences lattice of l - Γ-semigroup M = μº(G : I; L; Γe) is given, from which it follows that this l-congruences lattice is distributive.


2012 ◽  
Vol 19 (03) ◽  
pp. 545-552
Author(s):  
Jie Fang

Weak Stone-Ockham algebras are those algebras (L; ∧, ∨, f, ⋆,0,1) of type 〈2,2,1,1,0,0〉, where (L; ∧, ∨, f,0,1) is an Ockham algebra, (L; ∧, ∨, ⋆,0,1) is a weak Stone algebra, and the unary operations f and ⋆ commute. In this paper, we give a complete description of the structure of the lattice of congruences on the subdirectly irreducible algebras.


2011 ◽  
Vol 76 (4) ◽  
pp. 1261-1286 ◽  
Author(s):  
Tomasz Kowalski ◽  
Francesco Paoli ◽  
Matthew Spinks

AbstractVarieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety the lattice of congruences of A is isomorphic to the lattice of deductive filters on A of the τ-assertional logic of . Moreover, if has a constant 1 in its type and is 1-subtractive, the deductive filters on A ∈ of the 1-assertional logic of coincide with the -ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation.However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics.


2009 ◽  
Vol 19 (05) ◽  
pp. 669-680 ◽  
Author(s):  
A. PILITOWSKA ◽  
A. B. ROMANOWSKA ◽  
D. STANOVSKÝ

Differential modes provide examples of modes that do not embed as subreducts into semimodules over commutative semirings. The current paper studies differential modes, so-called Szendrei differential modes, which actually do embed into semimodules. These algebras form a variety. The main result states that the lattice of nontrivial subvarieties is dually isomorphic to the (nonmodular) lattice of congruences of the free commutative monoid on two generators. Consequently, all varieties of Szendrei differential modes are finitely based.


2008 ◽  
Vol 15 (04) ◽  
pp. 609-618
Author(s):  
T. S. Blyth ◽  
Jie Fang

For a wide class of double Ockham algebras we characterise the subdirectly irreducible members by determining the structure of their lattice of congruences.


Sign in / Sign up

Export Citation Format

Share Document