Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-23T22:30:46.686Z Has data issue: false hasContentIssue false

Polynomial density of commutative semigroups

Published online by Cambridge University Press:  17 April 2009

Andrzej Kisielewicz
Affiliation:
Institute of Mathematics Technical University of Wroclaw, Wybrzeże Wyspiańskiego 27 50-370 Wroclaw, [email protected]
Norbert Newrly
Affiliation:
Technische Hochschule Darmstadt Fachbereich 4 Schlossgartenstr. 7 6100 Darmstadt, [email protected]
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

An algebra is said to be polynomially n−dense if all equational theories extending the equational theory of the algebra with constants have a relative base consisting of equations in no more than n variables. In this paper, we investigate polynomial density of commutative semigroups. In particular, we prove that, for n > 1, a commutative semigroup is (n − 1)-dense if and only if its subsemigroup consisting of all n−factor-products is either a monoid or a union of groups of a bounded order. Moreover, a commutative semigroup is 0-dense if and only if it is a bounded semilattice. For semilattices, we give a full description of the corresponding lattices of equational theories.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1993

References

[1]Day, A., ‘Characterization of finite lattices that are bounded-homomorphic images or sublattices of free lattices’, Canad. J. Math. 31 (1979), 6978.CrossRefGoogle Scholar
[2]Grätzer, G., Universal Algebra, (second ed.), (Springer-Verlag, Berlin, Heidelberg, New York, 1972).Google Scholar
[3]Ježek, J., Newrly, N. and Tůma, J., ‘Remarks on equational theories of semilattices with operators’, Comment. Math. Univ. Carolin. 31 (1990), 417425.Google Scholar
[4]Ježek, J., Pudlák, P., Tůma, J., ‘On equational theories of semilattices with operators’, Bull. Austral. Math. Soc. 42 (1990), 5770.CrossRefGoogle Scholar
[5]Kisielewicz, A., ‘Varieties of commutative semigroups’. Preprint.Google Scholar
[6]Newrly, N., ‘Equational density of clones of polynomial functions’. Preprint.Google Scholar
[7]Pigozzi, D. and Tardos, G., ‘The representation of certain abstract lattices as lattices of subvarieties’ (to appear).Google Scholar