{"entities":{"Q674765":{"pageid":676614,"ns":120,"title":"Item:Q674765","lastrevid":42634674,"modified":"2025-07-07T12:13:28Z","type":"item","id":"Q674765","labels":{"en":{"language":"en","value":"For groups the property of having finite derivation type is equivalent to the homological finiteness condition \\(FP_ 3\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987594"}},"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":"Q674765$1BED5BB3-BD8E-4F78-B258-40B64A09D798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ffdfc704732b888be1cfb08688d360012c68e3e","datavalue":{"value":{"text":"For groups the property of having finite derivation type is equivalent to the homological finiteness condition \\(FP_ 3\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674765$12360A34-CC03-49FD-87D2-EAEB819D422A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5bcfe452155929caa70bd8fe3f828eeaee708b7","datavalue":{"value":"0874.20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$AC963A68-26B9-4F0D-B54F-E3ACA5885684","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab5e2ffacf3712a4b9d467c79710021e12fff30","datavalue":{"value":{"entity-type":"item","numeric-id":674763,"id":"Q674763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674765$686B02F8-0845-4E1D-82BB-2E99C30A703D","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":"Q674765$1C472183-5786-4123-BEC1-6E9CFE0C2CE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674765$4C1D5B55-4344-4472-B43A-491D55DD03C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f4fab970e9276b9cd29714c07e8216a980a2f0","datavalue":{"value":{"time":"+1997-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674765$14E2B145-6CA3-4E35-B610-1AB19C3C619C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a21d5f56759171884a61b73248c05acc7f14dd6","datavalue":{"value":"The search for syntactically simple algorithms for solving standard combinatorial problems evolving from a presentation of a monoid such as the word problem, the problem of deciding commutativity and the conjugacy problem led to the discovery of various properties of rewriting systems. In particular, a (string) rewriting system is called convergent if there is no infinite sequence of reductions, and the word problem for a finite convergent rewriting system can be solved by rewriting. This leads to the concept of a finite convergent presentation, and the homological finiteness property \\(FP_3\\) and the combinatorial property of having what is called finite derivation type (not reproduced here) are both necessary conditions for a finitely presented monoid to admit such a finite convergent presentation. The property of having finite derivation type actually implies the property \\(FP_3\\) but an earlier result of the authors says that the converse is not true even for finitely presented monoids. It is shown in the paper that for groups the two notions are equivalent. The proof relies on the fact that a finitely presented group has finite derivation type if and only if its module of identities among relations in the sense of Reidemeister and Peiffer [\\textit{K. Reidemeister}, Abh. Math. Semin. Univ. Hamb. 16, No. 3/4, 114-118 (1949; Zbl 0040.15001); \\textit{R. Peiffer}, Math. Ann. 121, 67-99 (1949; Zbl 0040.15002)] is finitely generated as a module over the group ring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$F6BD51B2-2D31-43BA-9CD7-90246D1E6668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$73AA9070-16EB-40FD-8BFD-CEB56DCD1CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$9FFC70A7-E3B2-444C-A0ED-99B3816B7319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$456A7338-28C3-48C7-9AB1-6964FB6BB087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$14A58BEF-2210-439C-BDC6-CEEFC217ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$DF1CDACF-A6AD-4F28-8178-53C3ADB38EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$ED60018D-CF4A-4C33-ADD3-D1231B502474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b16bda3145b584e274379f85891af9ff69b58fc","datavalue":{"value":"57M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$5822D2BB-67E0-4304-9449-9A9C06A5111D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$BED40AB1-B562-4B63-8AB2-4155C82D0717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"929298f3ad0b60cdd5ded14d4f01659b8cafba04","datavalue":{"value":"987594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$A52165DF-2FAE-4EAF-89CD-939D222975A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf6e73742e97bce7324be491b7b37825f5e21e1","datavalue":{"value":"combinatorial finiteness properties of finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$A13DCD8F-F461-4B7F-B2AA-35AEC0129DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fe9e00d3b9bde8350c039751fb9221c196a10f","datavalue":{"value":"finite derivation type","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$63F93DE3-20FA-416C-970F-7045AACAF13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52b4b2c148cd828a601ef6e00ed102cc13dbd32f","datavalue":{"value":"finite convergent presentations of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$25A4F2BC-6995-4E58-828F-C6BB1B165B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$56A6EBBE-0A68-47C1-9849-51CB60CF509C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$AB3C0D97-94BB-4CF2-BE18-CCD9B07A67DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e162c28497f2b457623518781fdec11ed6fe3f0","datavalue":{"value":"convergent string rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$FDE91468-6546-4DA7-A64B-B7FCB778C523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23a7aa795bf1f0018160d6b7ec868db7f964a798","datavalue":{"value":"identities among relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$EB749B31-7530-4BBB-B52C-B0E383DAB3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q674765$FF9DEEBD-8D95-4F13-91EA-AC92A9E59D75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e80dfecba856568dfe6fc7f967be5b9e61ace320","datavalue":{"value":{"entity-type":"item","numeric-id":171354,"id":"Q171354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674765$1988C64D-37B2-43A8-8E65-1A7C992D1AB3","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":"Q674765$2FEB7ACF-1715-4D5D-82C1-1DE26BC6C9A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42c981071ae08423043fc8f7ba4337abe83747e8","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0046","type":"string"},"datatype":"url"},"type":"statement","id":"Q674765$883660CC-51C9-4780-A0AE-5BEE8D1A4020","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05c416dc80d8dd5daf4114480da2866dbb0e70b3","datavalue":{"value":"W2035318451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$9DEABB85-2C72-494A-A397-3306A65C1FD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a256b516284faff3b422e3f317fd033e9c91dcd","datavalue":{"value":"10.1006/JSCO.1996.0046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674765$D0F1EAF1-D266-4550-BACA-BD838567FB16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1130dc3bfbfc63200659c797a0bbde12a3e1f721","datavalue":{"value":{"entity-type":"item","numeric-id":4680589,"id":"Q4680589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ea7361f604b5a946e5c0631569eb4ef031c3f0","datavalue":{"value":{"amount":"+0.8268858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$64689C95-7095-4FB3-A3CD-AD1B0AE8E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cb0985fd30379f243ba0d6f91d59b71f2c4f68","datavalue":{"value":{"entity-type":"item","numeric-id":4242595,"id":"Q4242595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f1e049ccea0c2e1969fd0a96f2675cf64db3db","datavalue":{"value":{"amount":"+0.80768764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$826829B0-1D05-4B7D-8F5B-06D3E5E5DA90","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":"5da1ffe81bbb2e773356b46f4216e797ea8560c4","datavalue":{"value":{"amount":"+0.8037839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$21941C3A-47C3-4D63-9A40-C3DF414D7012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97392bf2e1546d0937496d0e0eca814822d09c4","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42e1b19ed21f37a9fc79f43b180b035da99cb44","datavalue":{"value":{"amount":"+0.79763496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$2A6C14AE-7691-4E64-AD04-71A228C09608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacec867e41308046e9974fdca7953c9aa184818","datavalue":{"value":{"entity-type":"item","numeric-id":1127330,"id":"Q1127330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0491d3e1d193567f735c252d48bd6c1c8ad137ad","datavalue":{"value":{"amount":"+0.7947171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$E1B9B160-03AF-4312-9DF8-97A1FE9DF9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6840302b24626de282f160cb612bfebaf1f90f7","datavalue":{"value":{"entity-type":"item","numeric-id":557065,"id":"Q557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300498c5ba68b178b80d14b6814b34390bbdbe3b","datavalue":{"value":{"amount":"+0.77880263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$0EDA8072-5CB7-4D6C-B35A-284724C7F9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d82931f3a6a295ed4f347197e978aad797dcab","datavalue":{"value":{"entity-type":"item","numeric-id":456807,"id":"Q456807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0babf7ec2881d9ee47fcde7c5e2d7062cae4983a","datavalue":{"value":{"amount":"+0.777608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$805393E4-D4C3-4342-93E1-29088AC6B812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5efc9d0d5cc4193d67113bf2c6fd0fb74f6ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5429978,"id":"Q5429978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af583ee102d81d46b4cd470d94c6df705e1eba3b","datavalue":{"value":{"amount":"+0.7727827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$EB34F4D8-6ADC-4571-89A6-A04963F9ADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4cf073b3cc6bf8f19f3f112c0889c0d821e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":3577396,"id":"Q3577396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb009a95697b5c9b406c81977ad19d00d6678bbb","datavalue":{"value":{"amount":"+0.7689274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$645AEE82-7394-4EE1-80E7-BC88C08F3935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e601d4ca8b6849fa175eee7c55b5fb3388e1b9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1892306,"id":"Q1892306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82db52a1d21d8b44ea52b1881f0b483c1a1b31be","datavalue":{"value":{"amount":"+0.7659655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674765$38E8D42A-F9EA-4982-A45A-BC0B0E163ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:674765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:674765"}}}}}