{"entities":{"Q5930165":{"pageid":8106967,"ns":120,"title":"Item:Q5930165","lastrevid":47598355,"modified":"2026-01-02T04:35:09Z","type":"item","id":"Q5930165","labels":{"en":{"language":"en","value":"Presentations of Bruck-Reilly extensions and decision problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587489"}},"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":"Q5930165$02C94017-163A-4499-95EA-1F206C00A641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f3811dc2e60c749544fd8fb64051ba85a064a8e","datavalue":{"value":{"text":"Presentations of Bruck-Reilly extensions and decision problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930165$C7AC8640-F3E9-486C-8938-5C286FE111DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a161dd42e0f468cd4cb3ba435044c8c3024faab","datavalue":{"value":"0985.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930165$163BA31C-3540-42FA-8317-7C1443447C65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd4721348037cfab0d4e327a9220c2793001416a","datavalue":{"value":{"entity-type":"item","numeric-id":172577,"id":"Q172577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930165$5E95FC3D-A0FC-4B99-97C1-E8E74AE8369C","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":"Q5930165$657569F9-523B-411E-825F-D42A6AA74186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e204a4d23e0af36d5fce5daa28f0962661f55a","datavalue":{"value":{"time":"+2002-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930165$29E2D512-7733-4A0F-B5D8-0E695E6C98C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7df21ed1d57bbd58b73009ddd06f621586922b32","datavalue":{"value":"Let \\(S\\) be an inverse semigroup, and \\(A_j\\) and \\(B_j\\) be isomorphic inverse subsemigroups of \\(S\\) for every \\(j\\in J\\). Suppose that \\(e_j\\in A_j\\subset e_jSe_j\\) and \\(f_j\\in B_j\\subset f_jSf_j\\) for some idempotents \\(e_j,f_j\\) of \\(S\\). Let \\(\\phi\\) be an isomorphism of \\(A_j\\) onto \\(B_j\\) for every \\(j\\in J\\). The inverse semigroup \\(S^*\\) presented by \\(\\text{Inv}(S,t_j\\;(j\\in J)\\mid t^{-1}_jt_j=f_j,\\;t_jt^{-1}_j=e_j,\\;t^{-1}_jat_j=\\phi_j(a)\\) for every \\(a\\in A_j\\) and every \\(j\\in J)\\) is called the HNN extension of \\(S\\) associated with \\(\\phi_j\\) (\\(j\\in J\\)). Let \\(T\\) be a monoid, and let \\(U\\) be its group of units. Let \\(\\theta\\) be a homomorphism of \\(T\\) into \\(U\\). The Bruck-Reilly extension is the monoid \\(\\text{BR}(T,\\theta)\\) whose underlying set is the direct product \\(N\\times T\\times N\\) with the multiplication given by \\((m,a,n)(p,b,q)=(m-n+r,\\theta^{r-n}(a)\\theta^{r-p}(b),q-p+r)\\), where \\(r=\\max(n,p)\\). Any Bruck-Reilly extension of an inverse monoid is an HNN extension of a certain inverse monoid. The word problem for a Bruck-Reilly extension \\(\\text{BR}(A,\\theta)\\) of an inverse monoid is solvable if \\(A\\) has solvable word problem and \\(\\theta\\) is effectively computable. On the other hand, many algebraic properties for Bruck-Reilly extensions of an inverse monoid are undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$2DE4DAF7-A153-4E05-AF05-1E33F7C236BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930165$12CBCB93-6A3B-48B4-B01C-9BD2E5DF9619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930165$89562EC3-A971-4059-8D24-F3765B7C5A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94be383a1be911f1f576ade100a861e3819fe189","datavalue":{"value":"1587489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930165$677EFCF5-D7FC-4815-8D93-B8CBDF454A10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13fcc32b7b99183682b8db5d55c1564a2758dae","datavalue":{"value":"inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$4CE5A587-6C3C-4B4C-AF12-60039281CC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a389159ebcabf7085bf59bae8a3df3eae7eafa","datavalue":{"value":"Bruck-Reilly extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$A85602AD-E8D7-4512-9906-A952A21F2464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7985017842312a2eb106d3be964b30c4e69fcc","datavalue":{"value":"HNN extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$9A70DE2F-8A27-400A-83C0-6943A792378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$6DDB2993-7ED4-49C8-B489-1299DDC0B289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$14ACE90E-7DB2-40F3-93AE-084BBAE1C2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$5F334EF2-4B8C-421A-8E68-A7804E728B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930165$032AE08E-7464-4951-A9BC-3552B96E69A3","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":"Q5930165$4569C28A-A40B-46E6-BEEF-0177D602C16C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f60bc4aa3adddbe5159235b87ead686d42516d9","datavalue":{"value":"https://doi.org/10.1007/s002330010003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930165$62DFD255-8CC8-48F5-9F39-724AE2ED1DB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81c0902a75f59f9e595b713868121742c07d88e0","datavalue":{"value":"W2090208241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930165$93EF7F0A-801C-41E4-B9EE-62D2DDC6FFEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97b53a1ab392be00f61c1d3a7a51456a3d162996","datavalue":{"value":"10.1007/S002330010003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930165$7DC3B9DB-5EFA-4794-97FC-B599F02207E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b440f38555cacb83562b10986aba3fb39375ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":5945610,"id":"Q5945610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab452fdf64fb21f90c973dc6236f852d2720d8d","datavalue":{"value":{"amount":"+0.8388707637786865","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":"Q5930165$02629D03-B145-414B-AC3F-E3F7335F49F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645860c8154a7423183e43e0e2f6ac274908d143","datavalue":{"value":{"entity-type":"item","numeric-id":3395625,"id":"Q3395625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d64d79326f1734478fb41af7e20c31d70f2b6b2","datavalue":{"value":{"amount":"+0.8354658484458923","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":"Q5930165$50CB6818-DD67-4B76-8F43-51D453FB6027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2669c88880c77b380f8eb09b995c2c4d0cefd888","datavalue":{"value":{"entity-type":"item","numeric-id":5491367,"id":"Q5491367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e850ede97ba6592e4137a34c8f70f96f6e1aed","datavalue":{"value":{"amount":"+0.8309763669967651","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":"Q5930165$EA7712CA-6661-4C94-9907-560946526106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4183002a126ae67077e41ee3be00f9e560d9812c","datavalue":{"value":{"entity-type":"item","numeric-id":5297241,"id":"Q5297241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200d77c16719d5eaff75b87a6a391d1e7fdfc704","datavalue":{"value":{"amount":"+0.8217238187789917","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":"Q5930165$37B042B3-0A2B-4F30-951C-C7FFE3127565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac6c98bcc72b2e995167b6f821142e98d13f49","datavalue":{"value":{"entity-type":"item","numeric-id":731322,"id":"Q731322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf3f45f4bf3f572b5e5dd24dd650d464a93316a","datavalue":{"value":{"amount":"+0.8027422428131104","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":"Q5930165$E17ADF08-A236-4F2B-83E9-D564C5F27FDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930165"}}}}}