{"entities":{"Q2479751":{"pageid":2490494,"ns":120,"title":"Item:Q2479751","lastrevid":50322371,"modified":"2026-01-13T19:58:19Z","type":"item","id":"Q2479751","labels":{"en":{"language":"en","value":"Complete reducibility of systems of equations with respect to \\(\\mathbf R\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256951"}},"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":"Q2479751$C218345C-038C-4034-AF41-FB735FB4F5CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b449686b9a3bf1f097ce10edaaf0cd9cb4c3e64","datavalue":{"value":{"text":"Complete reducibility of systems of equations with respect to \\(\\mathbf R\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2479751$10DA608E-DACB-441B-A5B5-1B77034E6CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce731e148b5714a4b69019876b9c23eb622bb16a","datavalue":{"value":"1148.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$6CC8EB93-5A2A-485B-B6E4-C92F8C278690","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29219b2126d458e385837eb997408917550c4dc3","datavalue":{"value":"10.4171/PM/1792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$35E2532A-5F36-403A-BFDE-69AEC28D801C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2479751$A5BBD8FA-380D-48E1-A506-B1294B85432E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75beb6032318b2d8517c0143c6afc0207210466c","datavalue":{"value":{"time":"+2008-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2479751$801BA085-B50B-4562-9AA5-CC3FA92C35ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fe1d91b766bb001950c586fb501506d68493040","datavalue":{"value":"It is shown that the pseudovariety \\(\\mathbf R\\) of all finite \\(\\mathcal R\\)-trivial semigroups is completely reducible with respect the canonical signature.   A pseudoword is an element of the \\(A\\)-generated free profinite semigroup \\(\\overline\\Omega_AS\\), where \\(A\\) is a finite alphabet and \\(S\\) is a semigroup. A semigroup \\(S\\) satisfies the pseudoidentity \\(u=v\\), if \\(\\varphi(u)=\\varphi(v)\\) for any continuous morphism \\(\\varphi\\colon\\overline\\Omega_AS\\to S\\). Let \\(\\sigma\\) be a set of pseudowords, called an implicit signature. The pseudovariety \\(\\mathbf V\\) is \\(\\sigma\\)-reducible for a class of equation systems if the existence of a solution modulo \\(\\mathbf V\\) of any system in the class entails the existence of a solution in \\(\\sigma\\)-terms. The signature \\(\\sigma\\) should also possess reasonable algorithmic properties, (1) as a set, \\(\\sigma\\) should be recursively enumerable; (2) as implicit operations, the elements of \\(\\sigma\\) should be effectively computable in finite semigroups; (3) the word problem for the free \\(\\sigma\\)-algebra in the variety generated by \\(\\mathbf V\\) should be decidable. A pseudovariety is completely \\(\\sigma\\)-reducible if it is \\(\\sigma\\)-reducible for all finite systems of pseudoword equations in which the pseudowords that define the equations are given by \\(\\sigma\\)-terms. The implicit signature most often consists of just two pseudowords: \\(ab\\), representing semigroup multiplication, and \\(a^{\\omega-1}\\), the unary pseudoinverse. This signature is called canonical and denoted by \\(\\kappa\\).   The main result: The pseudovariety \\(\\mathbf R\\) is completely \\(\\kappa\\)-reducible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$0E730B6E-7480-44D4-B196-0E772BD9BCA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$BFA43444-8543-45EC-9A7B-65E7650D6742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$BDCD6E48-49A5-4D64-9412-ED29A955FBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$00C4B049-9EA6-495A-8F46-9E40BF55380A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5efa9549377fdf4427e5c28a987edd0dbc85bd74","datavalue":{"value":"5256951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$484529F4-83FA-4BF1-8913-B2F74875522E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b26daf2d4fdc3d4b84a491981d013608ad441af6","datavalue":{"value":"\\(\\mathcal R\\)-trivial semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$35ABCB6D-EDC1-4B33-A3C0-9D6B76D8C759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18bc49aff934d216a346a8c3f240c3da125b774","datavalue":{"value":"complete reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$748220CF-0D41-4619-9915-178E19C43BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eab8087c24112b88fd3538fbe26bb63c838561d","datavalue":{"value":"relatively free profinite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$9EBC758C-136D-4792-B9E2-64F00988D00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8025ccf7a98e29ed4ae211a97201035f4f0a3584","datavalue":{"value":"pseudowords","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$502B6278-CB73-42BA-91DC-A4C4C20FFE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6402e4ac8f155e2c21fac31a5f154cea814983c9","datavalue":{"value":"systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$99AAF639-D279-4F22-BD25-55A542F50A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1145d0f06164b3060a7e356ec3de4f17a36ccac0","datavalue":{"value":"implicit signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$C87E2006-5348-4458-893B-5B9BA955C96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537a6d34134e8a03034fc7aae38035912b161992","datavalue":{"value":"rational constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2479751$C62F13E5-F263-44D1-A473-38D86EAE8B1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2479751$BBDB534D-BE3A-4077-911D-9D914EACF136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a04dfd6ad89e3718aff552cbb95c1c2d3264bab","datavalue":{"value":{"entity-type":"item","numeric-id":209731,"id":"Q209731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2479751$54BD3CE7-32EB-49A5-9A93-A017360B3250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2479751$824C4A64-4E53-4755-A7A5-A4289AAF068E","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":"Q2479751$FC662960-3D2A-41DD-BAA5-5B3789A9D5DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"631279469bd2857f024baa934ef0a39eeb905a48","datavalue":{"value":"https://doi.org/10.4171/pm/1792","type":"string"},"datatype":"url"},"type":"statement","id":"Q2479751$74006E03-D163-4B9D-91A7-C24CC76D516D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95adf376b892c48f99b3847b6cff61adf4cc66b4","datavalue":{"value":"W4300658869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479751$2CAA7DFE-5B8B-4A71-B123-65BFB7DC97C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2c4c34e9e7d8f50ecb20556556b6fb8985acc","datavalue":{"value":{"entity-type":"item","numeric-id":5429963,"id":"Q5429963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e67953e2f53d82687ca968603e5324143c79fcd","datavalue":{"value":{"amount":"+0.8638959527015686","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":"Q2479751$51DBCDB5-49AF-41C5-86FB-2A2147DB6764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5066c7e5b0893aeaf50be4fb03c12feadb04be","datavalue":{"value":{"entity-type":"item","numeric-id":5298324,"id":"Q5298324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3684099759c9a15d4d2ac6daab6971863d2abefa","datavalue":{"value":{"amount":"+0.8424809575080872","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":"Q2479751$5783A05B-626F-4BDE-A464-F5B6AC2D52FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae230937c1d74f568f7dd43c9b01714936af7da","datavalue":{"value":{"entity-type":"item","numeric-id":2986657,"id":"Q2986657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcb8bb8ce0612eb5e20320e914ed1dcda85b1ff","datavalue":{"value":{"amount":"+0.8245423436164856","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":"Q2479751$0AD55B07-A064-46E6-941D-D4D304E2E374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48be8acc1909e90738e74df936b3861fec57706f","datavalue":{"value":{"entity-type":"item","numeric-id":2973338,"id":"Q2973338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea07dcc64a7be635b4694dc7d231e28d80340fe","datavalue":{"value":{"amount":"+0.8157731294631958","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":"Q2479751$313408A4-F6DE-4050-B385-E17A55B3A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b8d63aa9408399f5227c7599ccce695e95ff5e","datavalue":{"value":{"entity-type":"item","numeric-id":2799118,"id":"Q2799118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451596e5c2f8c28617af6d92851546b17552ad5a","datavalue":{"value":{"amount":"+0.810363233089447","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":"Q2479751$9586B8A4-7E2D-4D21-89BE-5713B518A3BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2479751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2479751"}}}}}