{"entities":{"Q1963997":{"pageid":1974739,"ns":120,"title":"Item:Q1963997","lastrevid":47442109,"modified":"2026-01-01T18:35:06Z","type":"item","id":"Q1963997","labels":{"en":{"language":"en","value":"Isoperimetric functions of finitely generated nilpotent groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398626"}},"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":"Q1963997$98312976-4ACA-4916-8E1B-F6046D396A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"463076eb7bb70c039b5d585a122eb7a1305015b7","datavalue":{"value":{"text":"Isoperimetric functions of finitely generated nilpotent groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1963997$837B6A8A-F244-42E6-BE6D-979971301655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dacd2ef236c092cd608f57e4d850036ab98b3e18","datavalue":{"value":"0942.20022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$35F0ED26-6DFF-40A0-A4F0-AFC09845745D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db200608cf0505cc732e672d57a27f9e256b4e3b","datavalue":{"value":"10.1016/S0022-4049(98)00063-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$D77E2D15-1E42-4383-9410-8AAE0BD20596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a070d8cac0dc6db4bb819871a162e51b4929d98","datavalue":{"value":{"entity-type":"item","numeric-id":1963996,"id":"Q1963996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963997$52389D77-6604-4D6A-90C9-E856EDB6725C","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":"Q1963997$9A73089B-5726-4F3A-9ABA-29C88CE416A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1963997$8FEE44DF-9DB7-457F-8236-A02D266EFA26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d84dd92698f1396c020cc9ebb32504b2e12a4f1","datavalue":{"value":"The author makes the following definitions which generalizes the notion of isoperimetric function. Let \\(P=\\langle{\\mathcal F}\\mid{\\mathcal R}\\rangle\\) be a finite presentation of a group \\(G\\), let \\(F\\) be the free group freely generated by \\(\\mathcal F\\) and let \\(H\\) be a finitely generated subgroup of \\(G\\), generated by a subset \\({\\mathcal E}\\subset{\\mathcal F}\\). Let \\(E\\) be a subgroup of \\(F\\) generated by \\(\\mathcal E\\). A rewriting process \\(\\rho\\) from \\(G\\) to \\(H\\) relative to \\((P,{\\mathcal E})\\) is a partial map \\(\\rho\\colon F\\to E\\) defined on all words \\(w\\in H\\) satisfying \\(\\rho(w)=_G w\\) and \\(\\rho(1)=1\\). The distorsion of the rewriting process \\(\\rho\\), \\(\\delta_\\rho\\), is defined on the set of natural integers by setting \\(\\delta_\\rho(n)\\) to be the maximal length of \\(\\rho(w)\\) for all \\(w\\in H\\) with \\(|w|\\leq n\\). The isoperimetric function \\(\\Phi_\\rho\\) of the rewriting process \\(\\rho\\) is defined by  \\[ \\Phi_\\rho(n)=\\max\\{\\Delta_P(w^{-1}\\rho(w))\\mid w\\in H\\text{ and }|w|\\leq n\\}. \\]  In this formula, \\(\\Delta_P\\) is the so-called area function, defined on the normal closure of the set of relators, by  \\[ \\Delta_P(w)=\\min\\{m\\mid w=\\prod_{i=1}^m u_i^{-1}r_i^{\\varepsilon_i}u_i \\text{ for } u_i\\in F,\\;r_i\\in{\\mathcal R},\\;\\varepsilon_i=\\pm 1\\}. \\]  The author proves the following Theorem. Let \\(G\\) be a finitely presented nilpotent group of class \\(c\\) and \\(H\\) a subgroup of \\(G\\). There exists a rewriting process \\(\\rho\\) from \\(G\\) to \\(H\\), relative to some finite presentation of \\(G\\) and some finite set of generators of \\(H\\), such that \\(\\delta_\\rho(n)\\preceq n^c\\) and \\(\\Phi_\\rho(n)\\preceq n^{2c}.\\) (The notation \\(f\\preceq g\\) means that there exists a constant \\(K\\) such that for all \\(n\\), we have \\(f(n)\\leq Kg(Kn)+Kn\\).) As a corollary, the author obtains the following Theorem. Let \\(G\\) be a finitely presented nilpotent group of class \\(c\\). Then the usual isoperimetric function \\(\\Phi_G\\) of \\(G\\) satisfies \\(\\Phi_G(n)\\preceq n^{2c}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963997$366E4371-4B82-4B3E-9523-2D7A9FD37698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$05275340-F313-4E55-B3A6-B583B5BC8606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$EDFC8899-AC7D-4217-90A2-FBDE657F0518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$CED0A69E-FF10-4445-95AE-9A0F38C6672D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2cc67ea6f47ac33fb4acdbcb2263c6e79c43f7","datavalue":{"value":"1398626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$CF3F1C9D-5207-4DA4-869C-2F57A3DEB605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce94514b8f47d971af3c9a726c7b871020b64705","datavalue":{"value":"isoperimetric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963997$6EE0182C-EFDD-4B70-B580-4DCEBDE325A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf5e7372e0245028183c8dee90d4ddc2b8ee48d","datavalue":{"value":"rewriting processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963997$BFE05214-1E6F-449A-8972-40A3B893F27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca2bca3d9380862b9d1dd5c4bc2d08253d3abf60","datavalue":{"value":"finitely generated nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963997$B7FB28F9-1215-44CA-8052-996665DCC0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c2b42618fc6a7afe0018e2b117b4ee04cc9ce6","datavalue":{"value":"finite presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963997$C4899F00-772C-4C09-8369-5F7CFC57B2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5f531d96b679bc185a168e62693ab2cd1fdac7","datavalue":{"value":"finitely presented nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963997$47EBD709-9793-46E5-935E-538644D47A99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7ece0f8a4151cdfc61c26bb6d1bb6a78d99c8669","datavalue":{"value":{"entity-type":"item","numeric-id":189066,"id":"Q189066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963997$5EF92A51-4ED2-4B25-9DC4-AD271EC18343","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":"Q1963997$5D632B22-0951-4F2A-BDDC-5A53CDE66EC7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"83a74e853e2c2db010cbec54a0792bd25c8bdfc0","datavalue":{"value":"Q127642700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963997$A57B5F85-D894-46F6-A369-6D1BA77E3D94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17dc3fb0b1b108dcc1c1d05f42263e925aaed84e","datavalue":{"value":{"entity-type":"item","numeric-id":1413653,"id":"Q1413653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a238365e6e818e856b801690a5dfa7a9068973","datavalue":{"value":{"amount":"+0.8297732472419739","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":"Q1963997$6F93994E-7D2A-4307-B2A5-87689BEFCFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7624a84265f5d88db140ec4807cff5f22ac7917c","datavalue":{"value":{"entity-type":"item","numeric-id":4357301,"id":"Q4357301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eae00c5af41827055daa4d98673d4a4d48b09ee","datavalue":{"value":{"amount":"+0.8130597472190857","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":"Q1963997$717D6DCF-8DDF-4410-826B-000325E95F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb39d7e915ff1baaab744c1b45c0603d667e5d12","datavalue":{"value":{"entity-type":"item","numeric-id":2716946,"id":"Q2716946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7df637e1638f8b7d858d38088edb9ff97ce040b","datavalue":{"value":{"amount":"+0.8126072287559509","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":"Q1963997$B6884AA4-2D2D-4EC8-9A86-C4E91534E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92359b6277e7180fab64f6724473e9d8204cd314","datavalue":{"value":{"entity-type":"item","numeric-id":3363404,"id":"Q3363404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741e6b3ce885645d435bb07145e990e8618fa100","datavalue":{"value":{"amount":"+0.81035977602005","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":"Q1963997$1EF1C943-6D29-4DF4-839D-E0E970C6CE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1a4e0761db3891ae86b1151f21cc7d7d0add65","datavalue":{"value":{"entity-type":"item","numeric-id":1319235,"id":"Q1319235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53cbff9ff75606b55e35f11824f8b52fa561070","datavalue":{"value":{"amount":"+0.8025012612342834","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":"Q1963997$062A40E0-BAFA-49E8-BDA7-F801AE7C956C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1963997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1963997"}}}}}