{"entities":{"Q1113985":{"pageid":1124734,"ns":120,"title":"Item:Q1113985","lastrevid":49235428,"modified":"2026-01-06T19:58:14Z","type":"item","id":"Q1113985","labels":{"en":{"language":"en","value":"Th\u00e9or\u00e8mes de transfert pour les polyn\u00f4mes partiellement commutatifs. (Transfer theorems for partially commutative polynomials)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081771"}},"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":"Q1113985$37DC5AFD-04A1-4921-89E1-881AE482273E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a1fc26ea12209f9e393bda239cfccfbe77b1e7d","datavalue":{"value":{"text":"Th\u00e9or\u00e8mes de transfert pour les polyn\u00f4mes partiellement commutatifs. (Transfer theorems for partially commutative polynomials)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113985$4FA1664B-66B0-4E21-8DEE-38EBA589E94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb3cba16c72704f1b95fab90cc5ba2661232762b","datavalue":{"value":"0662.16022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$F745766C-6DA2-415D-9DC3-F932AE551634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a0b4231df99f351f04f3c109e5099d9194b91bc","datavalue":{"value":"10.1016/0304-3975(88)90041-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$28538D4C-5E13-4E36-AF8C-4E3752709B5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$CAEC2A75-9602-4071-A697-2884FAB9F033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1113985$498084F1-F7CB-404F-A0A1-DEC3B03EE8BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f86dce43d8f9e6305aaef27364459eabda785a1","datavalue":{"value":"A semiring \\(K=(K,+,\\cdot)\\) [such that \\((K,+)\\) is commutative and has a neutral 0 satisfying \\(0x=x0=0\\) for all \\(x\\in K]\\) is called multiplicatively left cancellative if \\(x\\neq 0\\) and \\(xy=xz\\) imply \\(y=z\\), and called zero divisor free if \\(xy=0\\) implies \\(x=0\\) or \\(y=0\\), both for all x,y,z\\(\\in K\\). Let X be a [not necessarily finite] alphabet, \\(\\vartheta\\) \\(\\subseteq X\\times X\\) a relation on X and \\(\\equiv_{\\vartheta}\\) the congruence on the free monoid \\(X^*\\) generated by (ab,ba) for all (a,b)\\(\\in \\vartheta\\). Then \\(X^*/\\equiv_{\\vartheta}\\) is called the free partially commutative monoid M(X,\\(\\vartheta)\\). Denote by \\(K<M,\\vartheta >\\) the semigroup semiring of M(X,\\(\\vartheta)\\) over a semiring K, i.e. the set of all mappings of M(X,\\(\\vartheta)\\) into K with finite support, established with pointwise addition and the product of convolution.    The main part of this paper is devoted to prove the following theorem: \\(K<M,\\vartheta >\\) is zero divisor free iff K is; \\(K<M,\\vartheta >\\) is additively cancellative and multiplicatively left cancellative iff K has the same properties. Moreover, an algorithm is given which tests the divisibility of elements of \\(K<M,\\vartheta >\\), and computes the quotient in the case of a positive answer.    [Remarks: 1) In a forthcoming paper the referee will show that the above theorem also holds for the semiring \\(K<<M,\\vartheta >>\\) of all mappings of M(X,\\(\\vartheta)\\) into K. 2) There are various meanings of the term ``semiring'' in the literature, and an ``alphabet'' is sometimes assumed to be finite, and sometimes not. A few words about the meaning of those terms spare the trouble for the reader to find that out as a puzzle.]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$01B7E68F-E1FA-41F2-91C8-5B87E9A7296A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$DD851A6C-64C2-4B23-B799-A968C4B96191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$8F906C27-E570-4176-9F4A-BAC335C1DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$51EF8256-BFCD-407C-A7AA-1CD19EF53662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$EEC7CEEE-58EA-4471-9F50-DB3F1668DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$77437C82-727F-44D4-9510-22AEAED428E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$3D7AF062-0208-45BA-8B41-2F5362A22A66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7591aa910fcf58bfabca412dea8d292fa15ea473","datavalue":{"value":"4081771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$6101003F-6B52-454F-913E-5EC4F7F498B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc521a4955a052e0118f62bcb1f1c7c33d1f537","datavalue":{"value":"semirings of polynomials in partially commuting indeterminates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$A96646EF-BA71-4D21-99F7-1EE5DFD09A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5d8e97038cd7e61249ab29dcb36abb4c5707f0","datavalue":{"value":"multiplicatively left cancellative semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$B3A90A75-8073-4809-8694-F983F8734B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a77a7285d8234a2c77ee8debe8466b9ed5a5451","datavalue":{"value":"zero divisor free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$618676A6-CABA-4813-AD1D-5F723F532A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$FCD69B5C-CE15-4EB8-8678-05B6E7DBF86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$D7133782-4F57-454C-A6CE-611AD51A2C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$C87DC33B-2A35-4615-B632-E6826A4AEA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778b35cc6206b88115f51d6d8eaf79a3f39adfd4","datavalue":{"value":"semigroup semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$858F3B83-34A8-4B5D-A653-DC9011C41434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23d0ed3a68d50f107d7cfc33a8c3583f5f782310","datavalue":{"value":"additively cancellative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$CAF39379-C4F9-4B60-87D0-640CA232BD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa17e9d0fa52510d85b377ddfd9c95fba376619b","datavalue":{"value":"divisibility of elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113985$3A3FEBE0-6909-49E4-82FC-4F33D7E20A93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae13ba34ab77e3f9c7de8d332e526276835df457","datavalue":{"value":{"entity-type":"item","numeric-id":624816,"id":"Q624816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$42F08D9E-F64E-475C-9CC2-4780DD8CFC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ebb710e9e8e051e364f160f66218383d106dc05","datavalue":{"value":{"entity-type":"item","numeric-id":213675,"id":"Q213675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$710F3581-C799-426F-AB31-87727DB8E8C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17d763e4106f5511b63cdd9de288fe713908fa19","datavalue":{"value":{"entity-type":"item","numeric-id":594987,"id":"Q594987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$1D7D35B0-E352-479A-8C76-87714FFF98DB","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":"Q1113985$28893A78-FEB4-43C7-AF59-B037F23A4873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c8a4bd3b28d4c16ecb53d5decdf85523d78324d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90041-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1113985$533680E3-2A54-4C9F-A0A9-44B60FE2B554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7df95022b0d60695fe595d009c2fa03c26611f9f","datavalue":{"value":"W1971905014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113985$F457A975-5B13-40D2-B977-B377A099CC7E","rank":"normal"}],"P223":[{"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":"Q1113985$29578A55-5FBC-48F6-8AA1-B2041873E70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18579cf08d72169ade2477ebd1b0f37fe272e568","datavalue":{"value":{"entity-type":"item","numeric-id":5571530,"id":"Q5571530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$5754BC97-1F33-424F-9AB3-01F68D180B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$CD960A7E-609C-418F-8FCC-A91EBAED183E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954f217b66f5efb38da31a1e5376e652cd022387","datavalue":{"value":{"entity-type":"item","numeric-id":1072712,"id":"Q1072712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113985$828CC58F-6740-4A91-95D5-6459F77E1363","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":"Q1113985$02D8B223-FBD5-4F63-B1F6-18437AF8E4F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4073ae104e4b8b9464c97042c55e6a64cc02c153","datavalue":{"value":{"entity-type":"item","numeric-id":1184997,"id":"Q1184997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd650d65fec71da7f3eb76229bcb25c79bcd0b9c","datavalue":{"value":{"amount":"+0.8204086422920227","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":"Q1113985$D4735186-8358-4E8E-BE3A-D905AEECA2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5966afbd09033b7f8a8519115cc230c91a17c4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3971068,"id":"Q3971068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26776188db83d1b958c66cb08829c07bd616cf42","datavalue":{"value":{"amount":"+0.7863350510597229","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":"Q1113985$9171692D-5830-4786-9E24-40727CF37358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db522d13b6a457586f78f2e4d1ce2d536dcadfaa","datavalue":{"value":{"entity-type":"item","numeric-id":1086682,"id":"Q1086682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5519d3670cb9b568a0d6936e844c2d657b3f176","datavalue":{"value":{"amount":"+0.7795771956443787","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":"Q1113985$13C8AF88-12F2-45C3-8CC4-A3AEE1B07E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ca99ea052d9cb8b119a24bc1c64076f4f615d5","datavalue":{"value":{"entity-type":"item","numeric-id":1068945,"id":"Q1068945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9145ada78274278ce3fa30da61beca54ac4b10","datavalue":{"value":{"amount":"+0.7675722241401672","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":"Q1113985$ED7E2BFE-6C88-40CD-8FD0-F1AAE906656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf512ba4536c9369820e41d4784425e1b48a4cd","datavalue":{"value":{"entity-type":"item","numeric-id":1084189,"id":"Q1084189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fe0a08b1b1ada939f15a4fad2f76d947c32ba7","datavalue":{"value":{"amount":"+0.7646428942680359","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":"Q1113985$FA9B042D-246F-4918-B857-62E33AE61852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1113985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1113985"}}}}}