The power of the group-identities for iteration

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

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
Volume10
Issue number3
Publication statusPublished - 2000

Fingerprint

Iteration
Equational Theory
Finite Simple Group
Axioms
Computer Science
Model

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

The power of the group-identities for iteration. / Ésik, Z.

In: International Journal of Algebra and Computation, Vol. 10, No. 3, 2000, p. 349-373.

Research output: Contribution to journalArticle

@article{7e4747f294af4a4dba9372fbc495f410,
title = "The power of the group-identities for iteration",
abstract = "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.",
author = "Z. {\'E}sik",
year = "2000",
language = "English",
volume = "10",
pages = "349--373",
journal = "International Journal of Algebra and Computation",
issn = "0218-1967",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "3",

}

TY - JOUR

T1 - The power of the group-identities for iteration

AU - Ésik, Z.

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0034394482&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034394482&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0034394482

VL - 10

SP - 349

EP - 373

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

SN - 0218-1967

IS - 3

ER -