{"entities":{"Q2755040":{"pageid":2765779,"ns":120,"title":"Item:Q2755040","lastrevid":47698825,"modified":"2026-01-02T11:29:11Z","type":"item","id":"Q2755040","labels":{"en":{"language":"en","value":"A finiteness condition for \\(\\mathcal R\\)-classes of amalgams of inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1668915"}},"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":"Q2755040$FA05A58E-4B9E-4BCE-8DD6-2E2D3102EB4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"671fbf737fc4ed2816c824aca428f4cd5df7a56e","datavalue":{"value":"0980.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755040$AADE8271-AA70-43D8-88AC-759D2CC13658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ccb5ed981b81f8b76cfb9f5de0827751019d355","datavalue":{"value":{"entity-type":"item","numeric-id":581673,"id":"Q581673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755040$B66BA49F-015E-4163-BB40-23C650FE402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a2a6aa52f309a3eb5fdf219849c665e44471751","datavalue":{"value":{"entity-type":"item","numeric-id":1137651,"id":"Q1137651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755040$82EA6959-AF14-4318-AE0F-A260EEA0C4B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32b619a966303d6fa593d9bfbe46a08b64a9a63d","datavalue":{"value":{"time":"+2001-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2755040$C86AA1C1-CB5C-4C58-B1A6-F8E58F98C21C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755040$BD4F2F0C-599B-48A0-9D51-FAC486529526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755040$094B1F4A-8F00-4286-B740-BE7BC86310FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f9574e970cc103a603a831ced4871a91067133","datavalue":{"value":"1668915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755040$E8DA8865-54A2-489C-B392-9548FE5F38AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a8dde5685d14e26bbda497595d18f6616c6a5f","datavalue":{"value":"amalgamated free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755040$72DC6C6F-1972-488B-BBB8-509E49DAB66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755040$0506CFCD-6713-4496-A79B-AF393086A33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27b79edf622046efaf6f6ec1dcbe5d6ff53e34e","datavalue":{"value":"Sch\u00fctzenberger automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755040$8E4F708A-58BF-4CB5-B8DE-459DE3D38DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755040$103C9C53-7B90-4462-B3AC-15FA028677BD","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":"Q2755040$C6C081AC-EA16-4148-811C-E5CFE7471A06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6908eed6deef2ed9e3666fd02b55ca3b00612dd9","datavalue":{"value":{"text":"A finiteness condition for \\(\\mathcal R\\)-classes of amalgams of inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2755040$F7CA5F06-E82C-44F0-9AA5-84F2C2A6C0E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0a8a465d8f002a258adb16a7c7715c6abaf7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":6768161,"id":"Q6768161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755040$314EDDF6-8D9B-4E83-8D92-407C5F5A16C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de2bcfb0e0b7a2392282ef7f454d72162ae1a0a7","datavalue":{"value":"Let \\(S_1\\) and \\(S_2\\) be two inverse semigroups and suppose \\(U=S_1\\cap S_2\\) is a non-empty common subsemigroup such that, for any two idempotents \\(g\\) and \\(h\\) in~\\(U\\), \\(J_g\\geq J_h\\) in~\\(S_1\\) if and only if \\(J_g\\geq J_h\\) in~\\(S_2\\). Suppose further that the amalgam \\([S_1,S_2;U]\\) is lower bounded in the sense of \\textit{P. Bennett} [J. Algebra 198, No. 2, 499-537 (1997; Zbl 0890.20042)]. Under these hypotheses, the paper establishes a necessary and sufficent condition for finiteness of \\(\\mathcal R\\)-classes of the amalgamated free product \\(S=S_1*_US_2\\). This finiteness condition implies that the Sch\u00fctzenberger automata of words of~\\(S\\) are effectively constructible and therefore that the word problem for~\\(S\\) is solvable. A different necessary and sufficient condition for finiteness of \\(\\mathcal R\\)-classes of~\\(S\\) was obtained earlier by \\textit{P. Bennett} [Int. J. Algebra Comput. 7, No. 5, 577-604 (1997; Zbl 0892.20033)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755040$BCD06B85-6B01-4248-851B-F194B33C6DF3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755040$A41B1A70-EC38-4639-B9D5-1CDA8DA6A981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ec2f875dd24b3ba79077622398395379acd608","datavalue":{"value":{"entity-type":"item","numeric-id":4508458,"id":"Q4508458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569ee26c67091a42660da5b4f23e6ceb0e390596","datavalue":{"value":{"amount":"+0.8965895771980286","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":"Q2755040$ABC399E7-B3EB-43C6-8E19-1907579C805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4534d0b8bbb3f23ad3427921545334f801752c","datavalue":{"value":{"entity-type":"item","numeric-id":4354239,"id":"Q4354239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569ee26c67091a42660da5b4f23e6ceb0e390596","datavalue":{"value":{"amount":"+0.8965895771980286","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":"Q2755040$DADEB7D1-C5DB-42CF-AAB2-07F1B5ACB00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35ba0e9f71ed0d1f3567318b4dd7f0fab23b745","datavalue":{"value":{"entity-type":"item","numeric-id":1772442,"id":"Q1772442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f1168cb929ce0f337c41140a51ae8f8dca9dea","datavalue":{"value":{"amount":"+0.8838263154029846","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":"Q2755040$E1D76390-B80F-4E5D-B430-7C65C07C6C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac66742be4ee88bbae2cfd79b7cabf6ffc44030b","datavalue":{"value":{"entity-type":"item","numeric-id":2481330,"id":"Q2481330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd10ea32f6c3015b7d8a990e1a80b75d901aca","datavalue":{"value":{"amount":"+0.879237174987793","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":"Q2755040$7DD5EAFA-3B4D-4CEE-8C8E-423E6CE259F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792924ef160674d95e1cfa389b616d4b490cf064","datavalue":{"value":{"entity-type":"item","numeric-id":677103,"id":"Q677103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58754d5c27c211784a6775324e53951c1693def9","datavalue":{"value":{"amount":"+0.8733890056610107","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":"Q2755040$B9F99FE9-037F-4FE9-B09C-DF82D973F3F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2755040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2755040"}}}}}