Congruences, ideals and annihilators in standard QBCC-algebras (Q1767427): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2478/bf02475657 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2086901755 / rank | |||
Normal rank |
Latest revision as of 09:02, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruences, ideals and annihilators in standard QBCC-algebras |
scientific article |
Statements
Congruences, ideals and annihilators in standard QBCC-algebras (English)
0 references
11 March 2005
0 references
An algebra \((A,\circ, 1)\) of type \((2,0)\) is called a QBCC-algebra if it satisfies the following axioms: (1) \((x\circ y)\circ[(z\circ x)\circ(z \circ y)]= 1\), (2) \(x\circ x= 1\), (3) \(x\circ 1= x\), (4) \(1\circ x= x\). A QBCC-algebra is called standard if every subset containing 1 is a subalgebra. For \(a\in A\), a subset \(C(a)= \{x\in A\mid a\leq x\) and \(x\leq a\}\) is called the cell of \(a\), where \(x\leq y\) is defined by \(x\circ y= 1\). The authors show the following characterization theorem for the congruence lattices \(\text{Con}(A)\) of the standard QBCC-algebra \(A\) to be distributive: Theorem 2.2. \(\text{Con}(A)\) is distributive if and only if \(A\) contains at most two-element cells.
0 references
congruence
0 references
ideal
0 references
annihilator
0 references
BCC-algebra
0 references
QBCC-algebra
0 references