{"entities":{"Q1785957":{"pageid":1796699,"ns":120,"title":"Item:Q1785957","lastrevid":72953997,"modified":"2026-04-14T08:59:52Z","type":"item","id":"Q1785957","labels":{"en":{"language":"en","value":"HNN extensions and stackable groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6941813"}},"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":"Q1785957$C8DD5256-54E8-4E01-BFDC-EC5F70C2A56A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a173541ed52cb8f0fad37eb75fc00cbb824c5334","datavalue":{"value":{"text":"HNN extensions and stackable groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1785957$5C0E643C-59FA-4AAA-AF3C-522087633818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba912153a62d898ae84422a5d9283ef8bce85593","datavalue":{"value":"1456.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$2C033660-E8AE-4AEB-965D-090755DCB2AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"293504b182326d4ff2810f7cfd2d40c37857d2ce","datavalue":{"value":"10.4171/GGD/467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$F2D3894D-3777-4864-A9C3-8A8054781354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fdd7d5bf864eb18b345d1a69dc8e778b2f5df45","datavalue":{"value":{"entity-type":"item","numeric-id":189335,"id":"Q189335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785957$122E4720-8583-437B-83AE-9159250FD279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b624bd01a67b9f51248bc3b6371126ee256bbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1284276,"id":"Q1284276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785957$4D6EB8B3-822A-4134-9DE0-169E4D95459A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785957$691D0388-1A2B-4B7C-A89A-47C32BDDE0B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c87e4cbf15b9c83a8593d4bc1a20c0eb35440d26","datavalue":{"value":{"time":"+2018-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1785957$0E82E7E1-6B53-473B-9CA6-06ACC5971393","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6637ef9f0750ed224a3a9e16022675d70f004dcb","datavalue":{"value":"https://arxiv.org/abs/1605.06145","type":"string"},"datatype":"url"},"type":"statement","id":"Q1785957$66575C2A-0336-4012-B4F8-AEFAB2F1C6AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92f168286fde24af9d48b364c0bf56938f3db9cf","datavalue":{"value":"Summary: Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability, which implies solvability of theword problem. In this paperwe give two newcharacterizations of the stackable property for groups, and use these to show that every HNN extension of a stackable group over finitely generated subgroups is stackable. We apply this to exhibit a wide range of Dehn functions that are admitted by stackable and autostackable groups, as well as an example of a stackable group with unsolvable word problem. We use similarmethods to show that there exist finitely presented metabelian groups that are non-constructible but admit an autostackable structure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785957$8FAEA374-13B6-49AE-8630-67C2B3B1A84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$8002931B-4F80-4F31-8BED-BEA89FEC6FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$6F146B86-48CC-4B61-9D37-7015BA4CC7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$0C11ACFC-8A1A-488B-81F0-C7613E61FDA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e871afcafd7a122a577944c34538ba64e363ce31","datavalue":{"value":"6941813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$CB52CE5C-6408-4E20-9F5B-0E6376802DDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158a6cd029a725273401b778c708f11ba4ef2762","datavalue":{"value":"HNN extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785957$9EB4D850-8931-421F-AD4E-F216FE1F8CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd36752808247c1663346789ceeea1b26e7209f","datavalue":{"value":"algorithms in groups theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785957$81F82663-A79E-4CDE-B925-393AC32A6503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dff9d2248db63193047d9ffc2fe72dc53ab7f96","datavalue":{"value":"Dehn function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785957$14ABABE2-95AA-4879-9838-22C0DCEFE9C1","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":"Q1785957$2882430A-3807-4FD2-B614-3A03D8108548","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e100020270b7f559c0c15fa7b455b053a131a67","datavalue":{"value":"W2963085933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785957$2BD680F6-F9D3-4EFE-B39C-28C24B589DF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7c3e781257c900efed075391c834a42b6d6262","datavalue":{"value":{"entity-type":"item","numeric-id":5964517,"id":"Q5964517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2360be28f97b996189ffeeaae838cb6b0934a1e2","datavalue":{"value":{"amount":"+0.814175546169281","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":"Q1785957$D47FD355-9BB5-445F-AB3F-BD8938C9D004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f7e66ea2ad4afcc8a6d87230237535a196a354","datavalue":{"value":{"entity-type":"item","numeric-id":404175,"id":"Q404175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce58bdff262b3f013c29c27bb22657e83f52715","datavalue":{"value":{"amount":"+0.7731637954711914","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":"Q1785957$115CAD3D-246A-4584-A0CD-598102D2FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403588d18ef590823dbd48b7a93e88dd9c654c98","datavalue":{"value":{"entity-type":"item","numeric-id":500217,"id":"Q500217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2eacf151173f05274e7e3e2935de938f00c09e","datavalue":{"value":{"amount":"+0.7727451324462891","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":"Q1785957$E608C95C-FC0A-4DA8-A60B-902065C399C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8018da74389e4c12916fce4c2647e3937821141","datavalue":{"value":{"entity-type":"item","numeric-id":2282986,"id":"Q2282986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af089774e745ea7b16c3b7e90b48a9fd4eec6fb","datavalue":{"value":{"amount":"+0.7555132508277893","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":"Q1785957$8030CBE2-6E07-44D2-A9D3-C1FFD6AE575C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8087b84b2f45382d0613220cf3fe8f094a2fedd","datavalue":{"value":{"entity-type":"item","numeric-id":4529739,"id":"Q4529739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84632f1c08bdba55a4c471af1eced040f0aad23","datavalue":{"value":{"amount":"+0.7475556135177612","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":"Q1785957$884462C9-DCDB-4763-A0FF-6707E9BB5F05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HNN extensions and stackable groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HNN_extensions_and_stackable_groups"}}}}}