Varieties of shells (Q1272242): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Diego J. Vaggione / rank | |||
Property / author | |||
Property / author: Diego J. Vaggione / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally Boolean spectra / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:31, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties of shells |
scientific article |
Statements
Varieties of shells (English)
0 references
24 November 1998
0 references
An algebra \((A;\cdot ,+,0,1)\) of type \((2,2\), \(0,0)\) is a shell if it satisfies the identities \(x\cdot 0=0 \cdot x=0\), \(x\cdot 1=1\cdot x=x\) and \(x+0=0+x=x.\) The author proves: Theorem. Let \({\mathcal V}\) be a Mal'tsev variety. The following conditions are equivalent: (a) \(A\times A\) is a compact congruence in \(\text{Con} A\) for each \(A\in{\mathcal V}\); (b) no SI member of \(\mathcal V\) has a trivial subalgebra; (c) \(\mathcal V\) is a variety of shells. Let us mention that (a)\(\Longleftrightarrow \)(b) was proven by \textit{J. Kollár} in 1979 without the assumption that \(\mathcal V\) is a Mal'tsev variety. Moreover, if \({\mathcal V}\) is a Mal'tsev variety with two nullary operations, (b)\(\Longleftrightarrow \)(c) can be easily derived from a result of \textit{B. Csákány} [Colloq. Math. 35, 201-203 (1976; Zbl 0331.08002)].
0 references
shell algebra
0 references
compact congruence
0 references
one-element subalgebra
0 references
Mal'tsev variety
0 references