On the sum of a direct system of universal algebras with nullary polynomials (Q799712): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A generalization of Płonka sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On classes of algebras definable by regular equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subdirect decomposition of Plonka sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a representation of groupoids as sums of directed systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a method of construction of abstract algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On equational classes of abstract algebras defined by regular equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On sums of direct systems of Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145751 / rank | |||
Normal rank |
Revision as of 15:40, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the sum of a direct system of universal algebras with nullary polynomials |
scientific article |
Statements
On the sum of a direct system of universal algebras with nullary polynomials (English)
0 references
1984
0 references
In the presence of nullary operations, the sum of a direct system of universal algebras in the sense of the author's earlier paper [Fundam. Math. 61, 183-189 (1967; Zbl 0168.267)] can be formed when the direct system contains a smallest member. Various theorems from the above and another paper of the author [ibid. 64, 241-247 (1969; Zbl 0187.287)] remain valid for the extended sum concept, e.g.: An equation holds in a nontrivial sum iff it is regular and holds in each summand. If K is an equational class such that an equation of the form \(x\cdot y=x\) holds in K, then any algebra satisfying all regular equations that hold in K is the sum of a direct system of algebras from K.
0 references
nullary operations
0 references
direct system of universal algebras
0 references
extended sum
0 references
regular equations
0 references