Iterative hyperidentities for theA
n,m
varieties of semigroups |
| |
Authors: | S L Wismath |
| |
Institution: | (1) Department of Mathematics and Computer Science, University of Lethbridge, T1K 3M4 Lethbridge, Alberta, Canada |
| |
Abstract: | Iterative hyperidentities are hyperidentities of the special formF
a
(x
1,...,x
k
=F
a+b
(x
1,...,x
k
). This type of hyperidentity has been considered by Denecke and Pöschel, and by Schweigert. Here we consider iterative hyperidentities for the variety An,m of commutative semigroups satisfyingx
n
=x
n+m
,n,m 1. We introduce two parameters (m, n) and (m) associated withn andm, and show thatA
nn,m
satisfies the iterative hyperidentitiesF
(x
1,...,x
k
=F
+b
(x
1,...,x
k
) for every arityk. Moreover, the numbers and are minimal, making these hyperidentities irreducible in the sense of Schweigert. We also show how these hyperidentities for An,m may be used to prove that no non-trivial proper variety of commutative semigroups can have a finite hyperidentity basis.Presented by W. Taylor.Research supported by NSERC of Canada |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|