B-separating algebras (Q1091413): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counting models in universal Horn classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean powers / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:41, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | B-separating algebras |
scientific article |
Statements
B-separating algebras (English)
0 references
1986
0 references
A universal algebra A is said to be B-separating if any isomorphism of its Boolean powers \(A[B_ 1]\) and \(A[B_ 2]\) implies \(B_ 1\cong B_ 2\). In this paper some problems of \textit{S. Burris} [Algebra Univers. 5, 341-360 (1975; Zbl 0328.08003)] are solved. In particular the following results are proved: 1) No Abelian group is B-separating; 2) If A is a finite B-separating algebra and A[B] is equationally compact then B is complete; 3) (GCH) If A[B] is k-saturated (k\(\geq \omega)\) then B is k- saturated; 4) If A is a finite B-separating algebra then \(A[B_ 1]\equiv A[B_ 2]\Rightarrow B_ 1\equiv B_ 2\) (elementary equivalence).
0 references
universal algebra
0 references
isomorphism
0 references
Boolean powers
0 references
finite B-separating algebra
0 references
equationally compact
0 references
elementary equivalence
0 references