A characterization of Sheffer functions by hyperidentities (Q1101139): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:34, 31 January 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