{"entities":{"Q801039":{"pageid":802887,"ns":120,"title":"Item:Q801039","lastrevid":64438173,"modified":"2026-04-11T19:51:55Z","type":"item","id":"Q801039","labels":{"en":{"language":"en","value":"Gromov's theorem on groups of polynomial growth and elementary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3879139"}},"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":"Q801039$26477FF1-D566-43CA-85AE-27C2FE8966DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fbd8d7aac410179fea059f385be82d9d8419b67","datavalue":{"value":{"text":"Gromov's theorem on groups of polynomial growth and elementary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801039$21664873-0FAE-4BE3-9239-A6EE47A3661F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbf95103bcf87d45035d6c85aad8e792e7124863","datavalue":{"value":"0552.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$02595D8F-251D-4A3D-A542-EB0306EEE95F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77b806abfaf097935fdfea8c50edab266d04a5c1","datavalue":{"value":"10.1016/0021-8693(84)90223-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$F608C50A-451F-42B8-AA51-707159B431FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30f57550dde9f482f0fb1e31a266606abdea62d8","datavalue":{"value":{"entity-type":"item","numeric-id":372639,"id":"Q372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$9ECEB339-79B0-4CE7-9DB3-606DB8FB00C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$AE2D8836-0170-4879-9BE9-3EE8ABFE2D73","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":"Q801039$746260B8-513E-434B-91C4-186C1505E4B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q801039$7B4CD690-60DF-42F1-A7F8-7A2F889ED6B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03bb73a234556ee77cedabdde0464200898b81dc","datavalue":{"value":"The authors give a new proof of a theorem which is a slight extension of Gromov's theorem on groups with polynomial growth which reads as follows. If a group \\(\\Gamma\\) with finite generating set \\(X\\) has growth function \\(G_ X\\) with \\(G_ X(n)\\leq c\\cdot n^ d\\) for infinitely many \\(n\\) and positive constants \\(c,d\\) then \\(\\Gamma\\) has a nilpotent subgroup of finite index. The main point where this proof deviates from those known previously is the construction of a locally compact metric space on which a subgroup of finite index of a group with polynomial growth is acting. In the present paper this is achieved by using non-standard analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$97288872-ACCF-49E9-AA3B-22CE18EF7757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$9D941157-7219-4DEE-92BF-CEE1A82A1E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f78d41e47725ec1bd07b77db78bbc1730df4db63","datavalue":{"value":"20F38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$A736D569-0350-4966-BA4E-D91EB0912982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$CEDC5B1E-F1C8-402C-9C13-5BBF1BB4657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50a2a205bf8746e0bea66976f09939fd4948f745","datavalue":{"value":"22E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$14270BF5-4294-49A6-8DB0-C7A0B21ACC6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbc7348f3ebb6e5e45f6ced65f73347e0254ee08","datavalue":{"value":"3879139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$07449171-3EC3-46C5-8170-CD5E2781B501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb59972b52b00ce1e633d4e832db7db49cce2334","datavalue":{"value":"Gromov's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$830D25A9-740E-477E-9D85-FF884D75E8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"293944ad631a5425dc1c11857624f17d441d02a5","datavalue":{"value":"groups with polynomial growth","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$0F750475-90C1-4CDF-A1E8-91D27919CDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca06724ed8d437c85ecdfa00a8204cf580a2a1c","datavalue":{"value":"growth functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$4A9E636C-FF3C-4D2D-8A81-1D16DBF878B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bc27c773e51a5b528537b05fdb11c75234cf2b","datavalue":{"value":"nilpotent subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$8C593769-60AC-47EC-9295-AB13B0CDC948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"286995793beda53b800489ec4a80e033d6c4ab2b","datavalue":{"value":"locally compact metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$CDFFDD79-8507-47E4-B9A4-F296A5CBC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2129843446072823838b5cb937fb3595aafe7eea","datavalue":{"value":"non-standard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q801039$B5527E54-1DC1-46F9-80C3-A1796F887E29","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":"Q801039$D6453730-2BE0-4A58-8E77-0A019974EFEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f53f86324b45cec4c69c3e4f535f6be50db7349","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90223-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q801039$61202F05-872F-41FD-A59B-0041F24FE7BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f7ef7a7f40a3a9c62fc57b78ffcf2fd0b8b2856","datavalue":{"value":"W2088397367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801039$CD5E5083-1C15-461D-8B64-B752421BE4F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63487f8f19b55855fe7dcae63856ef444fbf81e6","datavalue":{"value":{"entity-type":"item","numeric-id":5840605,"id":"Q5840605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$55F6D6C9-1D36-48AB-AD18-03611DF631AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$527D8D41-8481-4AC5-87CF-625811D9EC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5c8562c80191e7e5dc4bf0862dd114a4b9cdc2","datavalue":{"value":{"entity-type":"item","numeric-id":3377733,"id":"Q3377733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$3AE7F786-A97C-4342-91B3-951D54A5D6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a457c11926f2302f7e1fb51a82eabb70e69e199f","datavalue":{"value":{"entity-type":"item","numeric-id":3910626,"id":"Q3910626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$31F147BD-7E2D-42F8-966D-34451A6FE8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd6f4ef6480426d7d9be5efccb3b25c5b3f7a1c","datavalue":{"value":{"entity-type":"item","numeric-id":1159282,"id":"Q1159282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$8318179B-8CA1-4C59-898F-F965C9007D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6d747872c29e2e03f471480105f3bfd90c64cb","datavalue":{"value":{"entity-type":"item","numeric-id":5788186,"id":"Q5788186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$B85434AC-1384-4AB5-9923-0087738E18A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5989e7b642a281e076cb0a5451b4d9c25f50f39c","datavalue":{"value":{"entity-type":"item","numeric-id":3253828,"id":"Q3253828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$25D98817-0549-48C0-8B21-4234D6CFEA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b516d8c03226a9aeb9d8670eb2d4ff9585861d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4100304,"id":"Q4100304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$E26E77B7-70FD-429F-A160-6208B158A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a404bdddc088b0e4b2141d1477c5bb762282810","datavalue":{"value":{"entity-type":"item","numeric-id":2528506,"id":"Q2528506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$3E247F54-B9F3-4607-A9E6-2FB6BB30660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0309c61d75e442ba2c6198b9b51487e68f93a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2533618,"id":"Q2533618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$07FF3B44-1E84-4FAC-B9B3-42442542462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc96eb9c9ec47ba72af3c7e9ef7a87792f88799","datavalue":{"value":{"entity-type":"item","numeric-id":2552199,"id":"Q2552199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$0F67C329-9CE5-4BB5-98F1-EFCD0809C349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32a1f22c1e8c5d8ddc2da3d1b7542f0f74553e2","datavalue":{"value":{"entity-type":"item","numeric-id":4744459,"id":"Q4744459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801039$5D338E2F-1DE6-42F4-8BEC-392F9A1891D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc28ce25af34d5e3d057cf4b9b66b3f1cfa8bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3584365,"id":"Q3584365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b78b170c96c98ba18e4d5986bac2f2ca3cbef2","datavalue":{"value":{"amount":"+0.9111015796661376","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":"Q801039$715BF792-E86E-43EE-87CB-3C84EC9E11E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26887220995a6c7e1930bfa7eae55df94a5aea48","datavalue":{"value":{"entity-type":"item","numeric-id":4584309,"id":"Q4584309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29887c4f97961aa71404a41e95aefff1f961d7f2","datavalue":{"value":{"amount":"+0.8651407361030579","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":"Q801039$67C3070C-DA72-49AE-A269-D72D6CE991F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c885ff5dbdae0927999e9a4185e8ded29158a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1059714,"id":"Q1059714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b69551d880c8d631ebbf2fd4adfa51670d5f27c","datavalue":{"value":{"amount":"+0.8527168035507202","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":"Q801039$4BDBE6DA-0D59-4880-95C0-BAC4D88F9FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1368d6c60cc270d5f4a609b163ba7ce68e481d96","datavalue":{"value":{"entity-type":"item","numeric-id":1895611,"id":"Q1895611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc728d0f444d2f4604412a5da957556fad3e853d","datavalue":{"value":{"amount":"+0.8499819040298462","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":"Q801039$47378DD5-BCD1-45D0-884B-761406918B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73f582544c270b56495d0378f9e56adef6dd905","datavalue":{"value":{"entity-type":"item","numeric-id":2029193,"id":"Q2029193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd4c49e90180bc5cfa0357485ab8234902fb535","datavalue":{"value":{"amount":"+0.8494163155555725","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":"Q801039$CC5E62C3-5A5F-432E-99CD-D5632D57DA5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gromov's theorem on groups of polynomial growth and elementary logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gromov%27s_theorem_on_groups_of_polynomial_growth_and_elementary_logic"}}}}}