Relative principal congruences in congruence-modular quasivarieties (Q1966138): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 17:37, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative principal congruences in congruence-modular quasivarieties |
scientific article |
Statements
Relative principal congruences in congruence-modular quasivarieties (English)
0 references
27 February 2000
0 references
For a quasivariety \(Q\) of type \(\tau \) and an algebra \(A\) of the same type, \(\text{Con}_QA\) is defined to be the lattice of all congruences \(\theta \) on \(A\) such that \(A/\theta \in Q\). The members of \(\text{Con}_QA\) are called relative congruences. The concept of relative congruence modularity for quasivarieties is introduced in the paper (it is equivalent to the condition that the lattice \(\text{Con}_QF(\omega)\) is modular, where \(F(\omega)\) is the free algebra of \(Q\) with countable many generators). In any quasivariety relative principal congruences are defined by means of a possibly infinite disjunction of existentially parametrized conjunctions of finite sets of equations; this property is denoted by LEDPC with respect to the family \(P\) of finite set of equations. A quasivariety \(Q\) has equationally definable relative principal congruences iff \(Q\) has LEDPC with respect to a one-element family. The purpose of the paper is to study the relationship between the LEDPC and relative congruence modularity.
0 references
quasivariety
0 references
relative congruence modularity
0 references
equational definability of congruences
0 references