A characterization of Sheffer functions by hyperidentities (Q1101139): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5507586 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5515373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853626 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3337385 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness in Finite Algebras with a Single Operation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Independent Conditions for Completeness of Finite Algebras with a Single Generator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On varieties of clones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Clones of term functions of lattices and Abelian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperidentities and hypervarieties / rank | |||
Normal rank |
Latest revision as of 15:46, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of Sheffer functions by hyperidentities |
scientific article |
Statements
A characterization of Sheffer functions by hyperidentities (English)
0 references
1988
0 references
A Sheffer function is a function f: A \(n\to A\) such that the algebra \b{A}\(=<A;f>\) is primal. A hyperidentity for a universal algebra \b{A} is an identity for its clone of operations. The paper gives a new primality criterion, i.e. a characterization of Sheffer functions in terms of hyperidentities: If \(| A|\) is a prime power, then f: A \(n\to A\) is a Sheffer function iff the algebra \b{A}\(=<A;f>\) satisfies neither of two given unary hyperidentities. The cases \(| A| \in \{2,3,4\}\) are treated as examples.
0 references
primal algebra
0 references
Sheffer function
0 references
hyperidentity
0 references
universal algebra
0 references
clone of operations
0 references
primality criterion
0 references