A remark on the representation of trace monoids (Q584429): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Q198248 / rank | |||
Property / author | |||
Property / author: Christian Choffrut / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: L.V.Potemkin / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4134348 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
trace monoids | |||
Property / zbMATH Keywords: trace monoids / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free monoids | |||
Property / zbMATH Keywords: free monoids / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
faithfully represented by \(2\times 2\)-matrices | |||
Property / zbMATH Keywords: faithfully represented by \(2\times 2\)-matrices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
direct product | |||
Property / zbMATH Keywords: direct product / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free product of free commutative monoids | |||
Property / zbMATH Keywords: free product of free commutative monoids / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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