Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "congruence" wg kryterium: Temat


Wyświetlanie 1-9 z 9
Tytuł:
Some modifications of congruence permutability and dually congruence regular varietie
Autorzy:
Chajda, Ivan
Eigenthaler, Günther
Powiązania:
https://bibliotekanauki.pl/articles/728754.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence regularity
local congruence regularity
dual congruence regularity
local n-permutability
Opis:
It is well known that every congruence regular variety is n-permutable (in the sense of [9]) for some n ≥ 2. For the explicit proof see e.g. [2]. The connections between this n and Mal'cev type characterizations of congruence regularity were studied by G.D. Barbour and J.G. Raftery [1]. The concept of local congruence regularity was introduced in [3]. A common generalization of congruence regularity and local congruence regularity was given in [6] under the name "dual congruence regularity with respect to a unary term g". The natural problem arises what modification of n-permutability is satisfied by dually congruence regular varieties. The aim of this paper is to find out such a modification, to characterize varieties satisfying it by a Mal'cev type condition and to show connections with normally presented varieties (see e.g. [5], [8], [11]). The latter concept was introduced already by J. P≥onka under a different term; the names "normal identity" and "normal variety" were firstly used by E. Graczyńska in [8].
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 165-174
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Congruence submodularity
Autorzy:
Chajda, Ivan
Halaš, Radomír
Powiązania:
https://bibliotekanauki.pl/articles/728993.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence lattice
modularity
congruence k-submodularity
Opis:
We present a countable infinite chain of conditions which are essentially weaker then congruence modularity (with exception of first two). For varieties of algebras, the third of these conditions, the so called 4-submodularity, is equivalent to congruence modularity. This is not true for single algebras in general. These conditions are characterized by Maltsev type conditions.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 131-139
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Congruences on semilattices with section antitone involutions
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729025.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
semilattice
section
antitone involution
congruence kernel
filter
congruence distributivity
3-permutability
Opis:
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 207-215
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Congruence classes in Brouwerian semilattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/729047.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence class
Brouwerian semilattice
ideal
Opis:
Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b. Properties of classes of reflexive and compatible binary relations, especially of congruences of such algebras are described and an abstract characterization of congruence classes via ideals is obtained.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 229-237
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modyfications of Csákánys Theorem
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/728864.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
congruence class
idempotent element
permutable variety
Mal'cev condition
Opis:
Varieties whose algebras have no idempotent element were characterized by B. Csákány by the property that no proper subalgebra of an algebra of such a variety is a congruence class. We simplify this result for permutable varieties and we give a local version of the theorem for varieties with nullary operations.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 37-41
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Balanced congruences
Autorzy:
Chajda, Ivan
Eigenthaler, Günther
Powiązania:
https://bibliotekanauki.pl/articles/728742.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
balanced congruence
balanced algebra
balanced variety
Mal'cev condition
Opis:
Let V be a variety with two distinct nullary operations 0 and 1. An algebra ∈ V is called balanced if for each Φ,Ψ ∈ Con(), we have [0]Φ = [0]Ψ if and only if [1]Φ = [1]Ψ. The variety V is called balanced if every ∈ V is balanced. In this paper, balanced varieties are characterized by a Mal'cev condition (Theorem 3). Furthermore, some special results are given for varieties of bounded lattices.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 105-114
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implication algebras
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729171.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
implication algebra
pre-implication algebra
orthoimplication algebra
orthosemilattice
congruence kernel
Opis:
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 141-153
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ring-like operations is pseudocomplemented semilattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/728882.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudocomplemented semilattice
Boolean algebra
Boolean ring
distributivity
linear equation
ideal
congruence kernel
Opis:
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 87-95
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Orthorings
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/729119.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
ortholattice
generalized ortholattice
sectionally complemented lattice
orthoring
arithmetical variety
weakly regular variety
congruence kernel
ideal term
basis of ideal terms
subtractive term
Opis:
Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 137-147
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-9 z 9

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies