{"entities":{"Q1399171":{"pageid":1409911,"ns":120,"title":"Item:Q1399171","lastrevid":48142894,"modified":"2026-01-03T18:44:59Z","type":"item","id":"Q1399171","labels":{"en":{"language":"en","value":"For finitely presented monoids the homological finiteness conditions FHT and \\(\\text{bi-FP}_3\\) coincide"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956737"}},"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":"Q1399171$4832FD40-5A8A-4A2F-BF33-2AEFC1EE1D7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06bea0ac70c6ef2baefba391a5786f31dab1ddbd","datavalue":{"value":{"text":"For finitely presented monoids the homological finiteness conditions FHT and \\(\\text{bi-FP}_3\\) coincide","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1399171$B7BE4545-29EA-425B-B5F3-29BBE16D6136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"690e88d4084a9d976f3dd76566d36011f0c7c2c1","datavalue":{"value":"1028.20041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$F971151D-A0B7-431C-B610-811B8F883284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b9efcb183319cad8dbf409520df7f5e7214db71","datavalue":{"value":"10.1016/S0021-8693(03)00177-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$A01D36F7-9C58-4533-B800-763B1B3CA680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0189ea284dbeb4d1811a67b9a764a86b15f50c48","datavalue":{"value":{"entity-type":"item","numeric-id":441852,"id":"Q441852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$E2C78FA9-03BB-4DBC-8F21-6E0C83B817A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$8BD34CC2-0AEA-4F62-8981-321DA32DD920","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$3BD16979-B330-484B-8B5B-2FF5FAF705E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1399171$6FB59E27-DCA7-497E-B1BC-70C5F3FE2F1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ea4dd235c09bf44fb8dcaab20d96509e52aa848","datavalue":{"value":"A monoid \\(M\\) is said to be \\(\\text{bi-FP}_k\\) for some integer \\(k\\geq 1\\), if there exists an exact sequence of finitely generated free \\(A\\)-bimodules of the form \\(C_k@>\\delta_k>>C_{k-1}@>\\delta_{k-1}>>\\cdots@>\\delta_1>>C_0\\to A\\to 0\\) where \\(A\\) denotes the monoid ring \\(\\mathbb{Z} M\\). For a finite alphabet \\(\\Sigma\\), the presentation \\((\\Sigma;R)\\) is said to be of finite homological type (FHT), if the bimodule \\(\\Pi\\) in the exact sequence of \\(A\\)-bimodules \\(0\\to\\Pi@>\\overline{\\varrho}>>A\\cdot R\\cdot A@>\\mu>>{\\mathcal M}\\to 0\\) where \\(A\\cdot R\\cdot A\\) denotes the free \\(A\\)-bimodule generated by the set of defining relations \\(R\\) and \\(\\mathcal M\\) denotes the relation bimodule of \\((\\Sigma,R)\\), is finitely generated. It is proved that a finitely generated monoid is \\(\\text{bi-FP}_3\\) if and only if it has the property FHT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$9138C1DC-6706-4015-833A-ADF568270094","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$6067DCFC-904C-4303-9A0F-4945D8C9E95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$98DCA79D-1FD5-4E57-A652-9E830F4C7182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$2399B51E-E5B1-417B-A160-6CFF44BA3061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$ECB316CE-DA6C-4B84-8533-829C1A3BE3AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6401f824e3c440177a4b8cc6345b91e8cb9cbed0","datavalue":{"value":"1956737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$924AE067-0709-4187-976C-6F8754810FF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d75a34ca0877e4d0f4246a0f3750be9906c525","datavalue":{"value":"monoid rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$A431BDCB-B8C4-4C4E-A86B-A29DC85B4146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90acd312775029598bf7fb5f600daa690dfff0a","datavalue":{"value":"presentations of finite homological type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$C057714F-3100-4063-A5E9-F1526149661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74aa7c1c2168a74a0971c4693248d20093540de8","datavalue":{"value":"exact sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$D696755F-DFEB-4441-8B6B-12D7FB1CAF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33aeff3996b02bea85756794731f656541c787b0","datavalue":{"value":"relation bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$1279EE3C-3668-417D-BC76-D28BC1A17710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$8A396E0E-917B-45D2-9C7B-18DF95749DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e961ed2f38abb970a1ce387eb1aeace013b15527","datavalue":{"value":"homological finiteness conditions FP\\(_n\\) and bi-FP\\(_n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$A2577210-A92B-462C-8A73-90A87CD5CCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c446a640f4a250b1cd03159b88ee0aa23b29d52e","datavalue":{"value":"finitely generated monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399171$D5CD1821-D1A6-4730-B550-4083B987D673","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$AA10449D-AD24-4C62-8DBE-778DB32528FC","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":"Q1399171$9566873E-7FF9-4A63-A618-0A7D14513360","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce9f31c4a98bb82325da3368b4deb8c88d2a5e5","datavalue":{"value":{"entity-type":"item","numeric-id":3043618,"id":"Q3043618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$9B4C238F-E36A-4355-8670-D8198385E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$D16BE7B1-D6F4-495A-9B8D-10F154339FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb255b171adc3bcc22320194061d52564d7d811","datavalue":{"value":{"entity-type":"item","numeric-id":759218,"id":"Q759218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$2C52EBDA-23B9-4F88-9E29-45A55FE148C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$AA39D225-1D5F-4B61-8248-726C8702F97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2af69b369d68a721c6842c78d5a56d31d0f1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4143495,"id":"Q4143495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$D70E423D-C2FD-4EE7-ACCE-31C1985BD018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443a8669970642d185aa3a977d69b94ea53c714e","datavalue":{"value":{"entity-type":"item","numeric-id":674765,"id":"Q674765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$0C12FCD2-548F-455D-A0EA-926397D31ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a1f2839a7701e81d176438ba7fa5486537c21e","datavalue":{"value":{"entity-type":"item","numeric-id":4377871,"id":"Q4377871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$E6F239C2-9977-4AD6-8B4B-87FCE251FA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acdd5709e2d4e255787516046c25cdc193f6c44","datavalue":{"value":{"entity-type":"item","numeric-id":3349084,"id":"Q3349084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$5B7B071E-1AAB-4F5A-BC9E-A72B96EE141D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23445743e69201c97e59797d1bd6dd0c48a32398","datavalue":{"value":{"entity-type":"item","numeric-id":4786287,"id":"Q4786287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$0CF73E4B-62D4-4F94-ADEC-A44EA41FE599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35ce087ada11be8327d7fb7dedd81a21dcfeaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4786319,"id":"Q4786319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$15C5D5D8-EA50-463B-8903-F48839C1CD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906a5f540a498cb655f236f443addf407938128e","datavalue":{"value":{"entity-type":"item","numeric-id":1275014,"id":"Q1275014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$F0D3E9F6-F975-4314-A08D-DB5C1225B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4961cfed2eae1d0467a43e3e3295716655130e16","datavalue":{"value":{"entity-type":"item","numeric-id":4490701,"id":"Q4490701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$7DD8AF49-45B8-402B-96C3-8A6E2FEEA85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d27ee8114483b860dbd0ba4b77b85c42fed53ce","datavalue":{"value":{"entity-type":"item","numeric-id":4863965,"id":"Q4863965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$8C68D1A8-4148-4D83-8F4F-97A331BFFA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150dec13d767d34a8369927b0d6a0a0579727de","datavalue":{"value":{"entity-type":"item","numeric-id":4819185,"id":"Q4819185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$76923D2F-FAC7-477B-B6D5-1ACE2437C6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$3B7631AB-9438-48D7-8E89-135BE7FBF4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c260958271d6aee451dc905aef247eb6564cbfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$D34C86D6-429F-40E3-A558-033D04A77ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80422c8ae76a53c4e2aa68ca1d792b32d3601624","datavalue":{"value":{"entity-type":"item","numeric-id":4786257,"id":"Q4786257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399171$B9602228-310A-4567-9CE7-3C270C06977D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c643494d66ef5b0b8316073c4ba40e3b0be7d7f4","datavalue":{"value":"https://doi.org/10.1016/s0021-8693(03)00177-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1399171$B9F3AB1B-56E3-4003-853F-063865E168E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c913922db35eddfe23cc7ddf187baef0771ddc2","datavalue":{"value":"W2002588691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399171$CFF810D5-9226-432D-A85C-A92820290CE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf252c377abcee72cddea8ad79a93563d2aba603","datavalue":{"value":{"entity-type":"item","numeric-id":4786287,"id":"Q4786287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0822b1d3581ac3282e8e9a8778afe658b5de2b","datavalue":{"value":{"amount":"+0.8568640947341919","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":"Q1399171$3035A3F4-8E6F-4F7C-8CD1-8B4E375D8969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e246a5cbbc78f238a3732bd99ab6e98a17cb5774","datavalue":{"value":{"entity-type":"item","numeric-id":4786319,"id":"Q4786319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f23bf3eea7142d73b65b967da0f01cfd7f42e65","datavalue":{"value":{"amount":"+0.8550478219985962","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":"Q1399171$77ECD5A3-D7C8-4F4B-AF73-914B929631B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ea3ce3dd2bfc77d21f84945f0941526806a2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1338340,"id":"Q1338340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e7ea345cd6741c888bfba2f8f5c7c7fc669cfc","datavalue":{"value":{"amount":"+0.8512901663780212","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":"Q1399171$8D3838A6-CBF4-4793-8538-A0734C24362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3099b2a5328112efb4efbbe19f874e28cc15cf51","datavalue":{"value":{"entity-type":"item","numeric-id":5390543,"id":"Q5390543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad7589e5d3f6c63f864f1549c7ce981907f8f93","datavalue":{"value":{"amount":"+0.8386045694351196","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":"Q1399171$181BB3A3-08D2-454B-92D6-B10950C6274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcdcea55145ec559fcb87605c0f53764a23592a","datavalue":{"value":{"entity-type":"item","numeric-id":927282,"id":"Q927282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0617fc86bad7820846cc75db317b944633cd56","datavalue":{"value":{"amount":"+0.8220101594924927","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":"Q1399171$C30E4496-DC43-43D8-8656-E52080DF6414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1399171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1399171"}}}}}