A remark on the representation of trace monoids (Q584429): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1643140 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of traces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of Ehrenfeucht's conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial problems of commutation and rearrangements / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3736919 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On regular trace languages / rank | |||
Normal rank |
Latest revision as of 13:14, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A remark on the representation of trace monoids |
scientific article |
Statements
A remark on the representation of trace monoids (English)
0 references
1990
0 references
The trace monoids are the quotients of free monoids by the congruence generated by some partial commutations of the letters [cf. \textit{P. Cartier} and \textit{D. Foata}, Problèmes combinatoires de commutation et réarrangements (Lect. Notes Math. 85, 1969; Zbl 0186.30101) and \textit{G. Lallement}, Semigroups and combinatorial Applications (1979; Zbl 0421.20025); see also \textit{IJ. J. Aalbersberg} and \textit{G. Rozenberg}, Theor. Comput. Sci. 60, 1-82 (1988; Zbl 0652.68017) and \textit{A. Mazurkiewicz} in Proc. MFCS'84, Lect. Notes Comput. Sci. 176, 115-133 (1984; Zbl 0577.68061)]. The main result is the following Theorem: A trace monoid can be faithfully represented by \(2\times 2\)-matrices with entries in \(N\) if and only if it is a direct product of a free commutative monoid with a free product of free commutative monoids.
0 references
trace monoids
0 references
free monoids
0 references
faithfully represented by \(2\times 2\)-matrices
0 references
direct product
0 references
free product of free commutative monoids
0 references