\(p_n\)-sequences of algebras with one fundamental operation
type: Item
instance of: scholarly article
title: \(p_n\)-sequences of algebras with one fundamental operation
zbMATH Open document ID: 1117.08002
author: Adam W. Marczak
author: Keith A. Kearnes
published in: Algebra Universalis
publication date: 2007-02-26T00:00:00Z
review text: The \(p_n\)-sequence of an algebra is the sequence \((p_0,p_1,\dots)\), where \(p_n\) is the number of distinct essentially \(n\)-ary term operations of the algebra if \(n>0\), and \(p_0\) is the number of distinct constant unary term operations. It is known that in general almost every sequence \((p_0,p_1,\dots)\) satisfying \(p_1>0\) can be represented as the \(p_n\)-sequence of a suitable algebra; see \textit{G.~Grätzer}, \textit{J.~Płonka} and \textit{A.~Sekanina} [Colloq. Math. 22, 9--11 (1970; Zbl 0211.32102)]. The authors show that the situation is quite different for algebras with only one fundamental operation. Namely, they prove that in this case the inequality \(p_1\geq p_0\) must hold. Moreover, if \(2<p_0<\aleph_0\), then \(p_1>2p_0\).
Mathematics Subject Classification ID: 08A40
zbMATH DE Number: 5129543
zbMATH Keywords: term operation
zbMATH Keywords: \(p_n\)-sequence
zbMATH Keywords: primal algebra
MaRDI profile type: Publication
full work available at URL: s00012-006-1981-1
OpenAlex ID: W2088755420
DOI: 10.1007/S00012-006-1981-1
description: scientific article; zbMATH DE number 5129543