The power of the group-identities for iteration

Research output: Contribution to journalArticle

4 Citations (Scopus)


It has been shown that the axioms of iteration theories capture the equational properties of iteration in several different models related to computer science. Iteration theories are axiomatizable by the Conway identities and the group-identities corresponding to the finite (simple) groups. In this paper we provide a complete analysis of these identities by giving a concrete description of the free theories in the variety axiomatized by the Conway identities and any given subcollection of the group-identities. It follows that when the group-identities are effectively given, the equational theory of the variety is decidable.

Original languageEnglish
Pages (from-to)349-373
Number of pages25
JournalInternational Journal of Algebra and Computation
Issue number3
Publication statusPublished - Jan 1 2000

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'The power of the group-identities for iteration'. Together they form a unique fingerprint.

  • Cite this