Growth sequences of finite algebras (Q2266731)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 3895130
Language Label Description Also known as
default for all languages
No label defined
    English
    Growth sequences of finite algebras
    scientific article; zbMATH DE number 3895130

      Statements

      Growth sequences of finite algebras (English)
      0 references
      1985
      0 references
      Let \({\mathbb{A}}\) be a universal algebra and d(\({\mathbb{A}})\) the smallest possible cardinality of a generating set for \({\mathbb{A}}\). The sequence \(<d({\mathbb{A}}^ n)>^{\infty}_{n=1}\) is called the growth sequence of \({\mathbb{A}}\). The algebra \({\mathbb{A}}\) is called congruence uniform if every congruence on \({\mathbb{A}}\) has the property that all its congruence classes are of the same cardinality, and a variety V is called congruence uniform if all algebras in V are congruence uniform. If \({\mathbb{A}}\) is an algebra of a congruence modular variety, then \({\mathbb{A}}\) is called perfect in case \([\nabla,\nabla]=\nabla\), where \(\nabla\) denotes the largest congruence on \({\mathbb{A}}\) and [, ] is the symbol for the commutator defined by \textit{J. Hagemann} and \textit{C. Herrmann} [Arch. Math. 32, 234-245 (1979; Zbl 0419.08001)]. The paper contains results concerning growth sequences of finite algebras which generalize the corresponding results for groups, obtained by J. Wiegold. The main theorem gives an upper bound for \(d({\mathbb{A}}^ n)\) and applies to all finite perfect algebras in congruence uniform varieties; in particular, to rings with unity.
      0 references
      generating set
      0 references
      congruence modular variety
      0 references
      commutator
      0 references
      growth sequences of finite algebras
      0 references
      finite perfect algebras
      0 references
      congruence uniform varieties
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references