{"entities":{"Q923133":{"pageid":924981,"ns":120,"title":"Item:Q923133","lastrevid":65407971,"modified":"2026-04-12T02:23:34Z","type":"item","id":"Q923133","labels":{"en":{"language":"en","value":"Complete rewriting systems and homology of monoid algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168954"}},"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":"Q923133$6157BF26-42F1-4C54-B1B2-B71443DEA044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0044b9c2660c85fc03bf71715662f13d46a9bdd","datavalue":{"value":{"text":"Complete rewriting systems and homology of monoid algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923133$1AEE0EC8-395E-4DB3-A983-01A719E83189","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fffccd3ebe822157a9bc187828a4115586e1a5e","datavalue":{"value":"0711.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$8AEBEDEA-6425-46AE-820C-A32A196EF937","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7008cc5b1cd61c885e57dad313103c810bb78b40","datavalue":{"value":"10.1016/0022-4049(90)90106-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$AA73ABA8-E88B-4B15-BF09-4BC87A5D95A3","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":"Q923133$D44DA5A0-A135-4972-B9A5-E04F173E1EF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$14B72E54-2672-4FB8-B922-FD3E32934CD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q923133$C973C6EA-C09F-485F-9C73-C1D76BC83775","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b859070aabb217fd9ca9fe4b169e1838dfacaa3d","datavalue":{"value":"Let \\(M\\) be a monoid presented by a complete rewriting system \\(R\\) over an alphabet \\(\\Sigma\\). In other words, \\(M\\) is the image of the free monoid \\(\\Sigma^*\\) determined by the congruence on \\(\\Sigma^*\\) that is generated by a relation \\(@>R>>\\) which is Noetherian (that is, there are no infinite chains \\(x_ 1\\to^{R}x_ 2\\to^{R}...)\\) and confluent (that is, for any words \\(x,y,w\\in \\Sigma^*\\) with \\(w@>R^*>>x\\), \\(w@>R^*>>y\\) there exists \\(z\\in\\Sigma^*\\) such that \\(x@>R^*>>z\\), \\(y@>R^*>>z\\), where \\(@>R^*>>\\) denotes the transitive reflexive closure of \\(@>R>>\\)). Let \\(A\\) be the monoid algebra of \\(M\\) over a commutative ring \\(K\\). A method of constructing a free resolution of the trivial \\(A\\)-module is given. (More generally, free resolutions of the right \\(A\\)-modules associated with certain right rewriting systems over \\(\\Sigma\\) that are complete over \\(R\\) are constructed.) This is applied to give an upper bound for the global dimension of \\(A\\) in terms of the lengths of chains in the graph associated to \\(R\\). The paper is based on the ideas of \\textit{C. C. Squier} [J. Pure Appl. Algebra 49, 201-217 (1987; Zbl 0648.20045)] and \\textit{D. J. Anick} [Trans. Am. Math. Soc. 296, 641-659 (1986; Zbl 0598.16028)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$905723A8-61A1-43ED-A956-52B914171146","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$4B925937-ED38-478F-97D7-9F91A6571A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$BA8F1512-3E22-4F99-8226-8EDF575059DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c13be2eca7bed2b0ef1efb2c1dbea21a34fcf","datavalue":{"value":"16E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$82FA4DCC-6351-4A2B-98B2-B34A4F2A6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$CE79C905-06B8-4CDC-B353-C87481435D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8af0a25414d125f9daa815f1f0c9e742ab6b8fe","datavalue":{"value":"4168954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923133$09ED6212-7BA9-49CE-BC3A-FC03F1B92B3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cce994c9296b1cf90a07f9b729595e886da1b7","datavalue":{"value":"complete rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$0FAF76B5-5AF0-46C3-A573-F6F381077855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$3A078A46-594A-4C90-BC7B-5A0E80863242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$6A0DCFC5-87D5-42A7-9243-02F8ABA4EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b239277d13e8838ab881a5cfd5df8c802e39d2","datavalue":{"value":"monoid algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$485B0792-3739-4C3D-B74D-DB471CFD960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f43eda0bfada1e2e80994719e13c5bc90350bb","datavalue":{"value":"free resolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$8B9342A5-ADBB-4E59-B8A7-9B1D60D121AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6cec1ce739df713228ff0305176e1c6f866a4e","datavalue":{"value":"global dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q923133$6DA81DC1-0E5A-411F-9FBF-5B22D323ABED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"78169fdcdd370142b0428d5b6cd8851a9366342c","datavalue":{"value":{"entity-type":"item","numeric-id":161569,"id":"Q161569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$CF3F55CD-38A9-4C19-925F-FB56560BCBCA","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":"Q923133$EEB32230-06F1-45C4-B2CE-DE4506D2FEE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a838651d29e96f94d985ef4668bfed9c3f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3731815,"id":"Q3731815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$98AEC50B-B77C-430B-8202-897678C45CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$5000976D-89F5-422C-A001-10DC76651A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05572b50a1424510b2c012d8400646ac6d18d5","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$0A868B3D-8B7C-4BFE-8283-FA041559FBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$8A2DC443-38F2-4661-A7E9-837AD92B821B","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":"Q923133$AD3E49F4-8205-464D-8FBC-A139B4618883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7fb8dd267bfb595978db6cc0a348c3bd3eaf6b","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923133$F9797868-ABD1-47B5-B2E6-5F3061C5E7C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df51ace70a7d114b6eeaa00b285fdc925b641713","datavalue":{"value":{"entity-type":"item","numeric-id":3358944,"id":"Q3358944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b98000b85d8618cab9a243241e09394febf41c0","datavalue":{"value":{"amount":"+0.9287282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$2DF128A9-1F70-4AAF-83C4-379460A25E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc87480bee05a56006668a62df389fafacf7017","datavalue":{"value":{"entity-type":"item","numeric-id":2843715,"id":"Q2843715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441ef93785f0796a0522cfcc6381a6316f826954","datavalue":{"value":{"amount":"+0.9216713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$B9E9A1A1-851D-4A49-8967-6C90D5EC9582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443814049d8d3a8e3264fb02a4859cfbf7534b68","datavalue":{"value":{"entity-type":"item","numeric-id":2013556,"id":"Q2013556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57ed47bec0c62f9a0c85243d2c72a04c084d74b","datavalue":{"value":{"amount":"+0.9189154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$7CCA8ED9-9F1B-46BE-88F2-ADF89B172B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b83b321f32e214fc1db49bb480a2fc6d6c1795","datavalue":{"value":{"entity-type":"item","numeric-id":3617419,"id":"Q3617419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936ce6bedf4d528dd16b95dc037782f7dd9656e2","datavalue":{"value":{"amount":"+0.90989125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$B9025874-ED8F-4E66-A1B3-AB834629CB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3482cb4cb2cd7bf3087d51f99f379fb7c3a9631e","datavalue":{"value":{"entity-type":"item","numeric-id":1270963,"id":"Q1270963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7e0e6ad1943c3cf80d1ad2e5b2ce306d0a470a","datavalue":{"value":{"amount":"+0.90764934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$1A780791-33CB-4533-9F7E-F110176715C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b31d0685713eae27377b7ef9283c3e543bf430","datavalue":{"value":{"entity-type":"item","numeric-id":5119294,"id":"Q5119294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c733a0918bc612975bcc36fd8db619d4d8ea7e25","datavalue":{"value":{"amount":"+0.90559083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$95F3634A-C48F-4B79-89F5-207EDDDCFD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c7cfac54c3e523a2210f6e27747feeaf9d28","datavalue":{"value":{"entity-type":"item","numeric-id":1102124,"id":"Q1102124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7a5179c0f28186c12be75a4598393c5829f294","datavalue":{"value":{"amount":"+0.90400076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$429FEAB1-9900-4C20-A0F7-EF4D6D2ACDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a372f1fc6e50a7319918bdb374bec71cc618f698","datavalue":{"value":{"entity-type":"item","numeric-id":5369492,"id":"Q5369492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f20ea094e56d6e312bce617587c0bd33588757d","datavalue":{"value":{"amount":"+0.90195346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$159E81D2-66C6-4EFF-9972-8F5361D7D807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fbe4ba80c97ca0715a63390b7b65ac28e3f608","datavalue":{"value":{"entity-type":"item","numeric-id":918216,"id":"Q918216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c2e62c552f657f1c987b710820b6ec9e70b93d","datavalue":{"value":{"amount":"+0.9005892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$92C73441-0C97-4E99-AC25-F67142CAB6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffde9b1ffceaa0abbc031875857e6c08a0cd3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4344792,"id":"Q4344792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70d036c0afe6e693908dc1c9fb5afbd6a8b3c78","datavalue":{"value":{"amount":"+0.89875054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923133$B967C842-5223-47FA-8C7F-A8D99E8EE6D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete rewriting systems and homology of monoid algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_rewriting_systems_and_homology_of_monoid_algebras"}}}}}