{"entities":{"Q584429":{"pageid":586196,"ns":120,"title":"Item:Q584429","lastrevid":62950494,"modified":"2026-04-11T09:11:46Z","type":"item","id":"Q584429","labels":{"en":{"language":"en","value":"A remark on the representation of trace monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134348"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$7CBB5247-C884-49A0-A82E-D3930E96ADBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72c71d85aa067ab36b42e34ba9b98b8d507b2250","datavalue":{"value":{"text":"A remark on the representation of trace monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584429$F11CDAFC-ACA9-4994-864D-6B29CF5FB793","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc4893d3f1a775815d96d9648847bec09fc754d4","datavalue":{"value":"0693.20064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584429$3BB27E63-C9F4-401D-B2C8-B4908930787B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ca4512f6bdd4a76d115ba72a3991fb37df5cb8a","datavalue":{"value":"10.1007/BF02573262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584429$DFA2FEF2-BA85-4B36-AE36-EE27A481EEB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$4AB1F159-8610-487B-97BC-D43BE9EF6432","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$D97AD9EE-78FF-4AC9-B7DF-97F00D47BEEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q584429$D921E127-3B02-448F-A06B-67F6CEB6159F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c171523784e09b6dfa213e193ea2d99333c17564","datavalue":{"value":"https://eudml.org/doc/135014","type":"string"},"datatype":"url"},"type":"statement","id":"Q584429$2359BCA3-7A03-4344-B807-8DB8891D90FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e547fc1f1fe1d3c98ec967abbfd09086671a1a98","datavalue":{"value":"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\u00e8mes combinatoires de commutation et r\u00e9arrangements (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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q584429$F93BAC84-8308-4945-9FC1-ECEB901D0670","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a066249482762766d1fa9fadef0b74f57645a4d6","datavalue":{"value":{"entity-type":"item","numeric-id":593749,"id":"Q593749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$B5A45246-34D9-433A-A02B-6BC97A44F99A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584429$1CA5F98E-E088-4E7B-B66F-53B997C4038A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584429$55A656C2-40F0-4654-AD78-1307325442E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"228085ebac9012b82d400450c7163aeff2b6c57a","datavalue":{"value":"4134348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584429$5E67ECBF-B65B-41F0-AE8B-BCF3F79E088E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6f65fcb51040e209d2d7c2c33fc4458d3b46a8f","datavalue":{"value":"trace monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q584429$B5643E1E-C076-461A-8E1C-1CD97431BCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q584429$03C53653-1615-42A0-ACAD-C829BEF8CE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aca6464aaf712c8837a7c7affab4382e07ab093","datavalue":{"value":"faithfully represented by \\(2\\times 2\\)-matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q584429$506F7B4F-7C3A-467E-AF32-3D77E4A608AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2daaf7ac864516e7b1b0451bfe3e1040a3880","datavalue":{"value":"direct product","type":"string"},"datatype":"string"},"type":"statement","id":"Q584429$85978107-2C87-408D-8ED4-384225583C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445f7a9f4f8d81212432aaf89e6d52e758c27214","datavalue":{"value":"free product of free commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q584429$66906DC4-9BFE-43C2-A5D8-961E7B189851","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$03B3679F-EDC7-4FBF-B33A-C41FA5829ADD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$90B07D1E-CB18-42A9-8E4D-34ED074993A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bded8f67469698565087411d6ce4229139e7b50d","datavalue":{"value":{"entity-type":"item","numeric-id":1082090,"id":"Q1082090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$B97826CF-D8CF-4EAF-9296-7BC203FC57E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$40B9F8D6-0307-4E37-B653-4B449DB37E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$70FAF5FC-B84E-429C-B248-FCAEFF442A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$0AD36667-AE92-4F3A-921D-7BAFC1E6C86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a633825e99474a499c1c065945109d04fde6c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1097040,"id":"Q1097040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584429$D24B64EB-93A0-463A-A834-16552879DAAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc2675bd60a9524c4bfbba189d4d4acc0c249d8","datavalue":{"value":{"entity-type":"item","numeric-id":5948058,"id":"Q5948058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16ba3cfc8d9c7f3b32a40b0444870481da6e239","datavalue":{"value":{"amount":"+0.910043239593506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584429$A4A1E16B-FB2D-44E8-B517-089C7167B783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076d41287a700c6ce074537f031b55cbe0c90e69","datavalue":{"value":{"entity-type":"item","numeric-id":1568667,"id":"Q1568667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16ba3cfc8d9c7f3b32a40b0444870481da6e239","datavalue":{"value":{"amount":"+0.910043239593506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584429$B7793205-6A91-4B90-B2C3-CAD096884F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9987dc58710b32ec02be64fb1a080d727e3c3992","datavalue":{"value":{"entity-type":"item","numeric-id":2817393,"id":"Q2817393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88a5936ecb8b85f4496acadcb0b9a2ea7968f76","datavalue":{"value":{"amount":"+0.7926445603370667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584429$92E5D0BD-8475-4568-A065-95FE53D0196F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a599109430a8cd70187866a200a9a45516e84a","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253b2f09d85cf406a0922d67f13b15977fef0095","datavalue":{"value":{"amount":"+0.774872362613678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584429$62037D94-F93D-4E31-8560-80C842F1B551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b249865100006fca92cc2d835368ad9b7f548449","datavalue":{"value":{"entity-type":"item","numeric-id":3798889,"id":"Q3798889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec357c19d77cea8f5797d6c5f91509219cef466","datavalue":{"value":{"amount":"+0.7733193039894104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q584429$0F891308-D107-41B3-8D30-0E4CA8B8F8FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A remark on the representation of trace monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_remark_on_the_representation_of_trace_monoids"}}}}}