A characterization of Sheffer functions by hyperidentities (Q1101139): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:11, 5 March 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