A remark on the representation of trace monoids

DOI10.1007/BF02573262zbMath0693.20064MaRDI QIDQ584429

Christian Choffrut

Publication date: 1990

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/135014

zbMATH Keywords

free monoidsdirect producttrace monoidsfaithfully represented by \(2\times 2\)-matricesfree product of free commutative monoids

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Representation of semigroups; actions of semigroups on sets (20M30)

Related Items

Mixed product and asynchronous automata, Solving trace equations using lexicographical normal forms, Some behavioural aspects of net theory, On the Identity Problem for the Special Linear Group and the Heisenberg Group., Event structures and trace monoids, On some decision problems for trace codings, Möbius functions and confluent semi-commutations, From local to global temporal logics over Mazurkiewicz traces., Some decision problems on integer matrices

Cites Work

• Unnamed Item
• Unnamed Item
• A proof of Ehrenfeucht's conjecture
• On regular trace languages
• Theory of traces
• Combinatorial problems of commutation and rearrangements