A maximal clone of monotone operations which is not finitely generated (Q1820185)

From MaRDI portal





scientific article; zbMATH DE number 3993662
Language Label Description Also known as
default for all languages
No label defined
    English
    A maximal clone of monotone operations which is not finitely generated
    scientific article; zbMATH DE number 3993662

      Statements

      A maximal clone of monotone operations which is not finitely generated (English)
      0 references
      0 references
      0 references
      1986
      0 references
      A set of finitary operations on a finite set A is called a clone on A if it contains all projections and is closed under superposition. In his paper [Rozpr. Česk. Akad. Věd., Řada Mat. Přír. Věd. 80, No.4, 3-93 (1970; Zbl 0199.302)], \textit{I. G. Rosenberg} classified the maximal clones. In the paper [Z. Math. Logik Grundl. Math. 24, 79-96 (1978; Zbl 0401.03008)] by \textit{D. Lau}, it has been shown that for \(| A| \leq 7\) every maximal clone on A is finitely generated. In the present paper, the author studies a maximal clone on a set of eight elements and proves, that this clone - which consists of all finitary operations preserving a certain partial order - is not finitely generated. Since it is already known that all other maximal clones on an eight element set are finitely generated, this result settles the case \(| A| =8\).
      0 references
      maximal clones
      0 references
      finitely generated
      0 references
      finitary operations
      0 references
      partial order
      0 references

      Identifiers