Comparison semigroups and algebras of transformations.

DOI10.1007/S00233-010-9226-1MaRDI QIDQ711608zbMATH OpenOpenAlexFDO

Authors T. E. Stokes

Publication date 27 October 2010

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-010-9226-1

zbMATH Keywords

comparison algebrascomparison operationsfunctional comparison semigroupspartial transformationstransformation semigroups

Mathematics Subject Classification ID

Partial algebras (08A55) Free semigroups, generators and relations, word problems (20M05) Semigroups of transformations, relations, partitions, etc. (20M20)

Review text

A set equipped with a certain quaternary comparison operation \((-,-)[-,-]\) is called a `comparison algebra'. A semigroup \((A,\cdot)\) equipped with a comparison operation \((-,-)[-,-]\) which satisfies the equalities \((a,b)[c,d]\cdot e=(a,b)[ce,de]\) and \(e\cdot(a,b)[c,d]=(ea,eb)[ec,ed]\) for all \(a,b,c,d,e\in A\), is called a `comparison semigroup'. A comparison semigroup embeddable in one of the form \(T_X\) (the semigroup of transformations on a set \(X\)) is called `functional'. It is proved that the abstract class of functional comparison semigroups (monoids) is the class of comparison semigroups (resp. monoids). Moreover, using a generalised comparison operation, the latter result is generalised to subalgebras of \(P_X\) (partial transformations on a set \(X\)). Finally, the author expresses a number of operations on partial transformations in the language of comparison semigroups with zero.

Recommendations

• Completeness criteria and invariants for operation and transformation algebras
• The relations of semiadjacency and semicompatibility in \(\cap\)-semigroups of transformations.
• The relation of semiadjacency on -semigroups of transformations
• The algebraic structure of a semigroup of sets of transformations with restricted range
• scientific article; zbMATH DE number 4077304

Cites work

• Actions of Boolean rings on sets
• An invitation to C-semigroups
• Difference semigroups
• Function systems
• Guarded and banded semigroups.
• scientific article; zbMATH DE number 5150151 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• Lectures on semigroups of transformations
• Semigroups with if-then-else and halting programs
• Triples and compact sheaf representation

Cited in

(9)

• Monoids of non-halting programs with tests
• Completeness criteria and invariants for operation and transformation algebras
• Varieties of regular semigroups with uniquely defined inversion
• Monoids with tests and the algebra of possibly non-halting programs
• Codecomposition of a transformation semigroup.
• Axiomatization of if-then-else over possibly non-halting programs and tests
• scientific article; zbMATH DE number 2196217 (Why is no real title available?)
• The relation of semiadjacency on -semigroups of transformations
• Axioms for function semigroups with agreement quasi-order.

This page was built for publication: Comparison semigroups and algebras of transformations.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711608)