{"entities":{"Q6924848":{"pageid":21052090,"ns":120,"title":"Item:Q6924848","lastrevid":84133142,"modified":"2026-05-10T22:49:55Z","type":"item","id":"Q6924848","labels":{"en":{"language":"en","value":"Intersection-saturated groups without free subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8098338"}},"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":"Q6924848$14FA9922-1342-4CD8-8171-0A322CB3C34E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45144980a3ba284289f0e445e40e5462e7d1aba9","datavalue":{"value":{"text":"Intersection-saturated groups without free subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6924848$FD525581-E065-45C6-AB74-AD8FC2B93377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"015448a0c819af848bca97f06cbe71cfd0587540","datavalue":{"value":"10.4171/GGD/891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924848$176AFDC0-1D90-44AE-AE7F-54938F632842","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"630e8602228eb329f8aec4251e3ca819cc8523b4","datavalue":{"value":{"entity-type":"item","numeric-id":831202,"id":"Q831202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$F84AFE81-17AD-425D-A0C1-C21B8E1BB77C","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":"Q6924848$67B30702-6F34-4F96-A723-04607769B987","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c06b661659602cad0ea1501062ca6e8b58b32584","datavalue":{"value":{"time":"+2025-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6924848$C5B4DD29-80DC-49A8-98AF-D8FB4BE800C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7c4f5e7032061bf65af9df50299930326c8b7e7","datavalue":{"value":"In the 1950s, \\textit{A. G. Howson} [J. Lond. Math. Soc. 29, 428--434 (1954, Zbl 0056.02106)] proved that the intersection of two finitely generated subgroups of a free group is again finitely generated and he provided a bound for the rank of this intersection. A group is said to have the Howson property if the intersection of any two finitely generated subgroups is finitely generated. \\textit{B. Baumslag} [J. Lond. Math. Soc. 41, 673--679 (1966, Zbl 0145.02402)] proved that the free product of groups satisfying the Howson property also satisfies the Howson property. However, the analogous result does not hold for direct products.\\N\\NFor example, let \\(F_2=\\langle x,y\\rangle\\) be the free group of rank \\(2\\). Let \\(Z=\\langle t\\rangle\\) be an infinite cyclic group and \\(G=F_2\\times Z\\). Define the subgroups \\(H=\\langle x,y\\rangle\\) and \\(L=\\langle tx,y\\rangle\\). Then the intersection\\N\\[\\NH\\cap L=\\langle x^{-k}yx^k\\mid\\ k\\in\\mathbb{Z}\\rangle\\N\\]\\Nis not finitely generated.\\N\\NA group \\(G\\) is called intersection-saturated if for every \\(n\\in\\mathbb{N}\\) and every family \\(\\mathcal{F}\\subseteq 2^{[n]}\\) there exist subgroups \\(H_1,\\ldots,H_n\\) of \\(G\\) such that for every non-empty \\(I\\subseteq [n]\\), the intersection \\(\\cap_{i\\in I}H_i\\) is finitely generated if and only if \\(I\\in\\mathcal F\\). This notion was introduced by [\\textit{J. Delgado} et al., Proc. Roy. Soc. Edinburgh Sect. A, 154, 1552--1582(2024, Zbl 1552.20127)]. There, the authors constructed examples of intersection-saturated groups, all of which contain a subgroup isomorphic to \\(F_{2}\\times\\mathbb{Z}^{m}\\) for some \\(m\\in\\mathbb{N}\\) and they asked whether there exists a finitely presented intersection-saturated group that does not contain such a subgroup.\\N\\NThe reviewed paper proposes a new method for constructing intersection-saturated groups, based on the following theorem.\\N\\NTheorem A. Let, for each integer \\(n \\geq 1\\), a finitely generated group \\(K_n\\) and an automorphism \\(f_n\\in \\operatorname{Aut}(K_n)\\) be chosen such that the subgroup of fixed points of \\(f_n\\) is not finitely generated. If a group \\(G\\) contains, for every \\(n\\), a subgroup isomorphic to \\(K_n^n\\), then \\(G\\) is intersection-saturated.\\N\\NUsing this criterion, several new examples of intersection-saturated groups have been obtained, including Thompson's group and the Grigorchuk group. These examples allow one to prove the existence of finitely presented intersection-saturated groups without non-abelian free subgroups, as well as finitely presented amenable intersection-saturated groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$3AF5FF1C-89D6-401E-AD56-8AD434932629","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc9899dfd44e507e83617ee4fcb913bfad3d40bd","datavalue":{"value":{"entity-type":"item","numeric-id":831200,"id":"Q831200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$9D406485-5E3D-4ABE-9B7B-80526D7D3B42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924848$CD4E602E-DF2A-4EE4-A220-5AAE5842385E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924848$1479337E-5D31-416B-8E0A-69263F4CF5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924848$35B0BAB6-6FCD-4B7C-9BE5-4C37D63F25D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924848$5A323F5B-EF31-4439-BA9F-64DC7E995C86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e6647a1b57bf698c656e4efaa2a263f396a312a","datavalue":{"value":"8098338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924848$48F12E5D-2C75-4897-8ED9-A405C03410DB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$5641B71B-51AC-4653-80AB-6ED47ABABEEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$F62EB601-F0B0-431A-8EDF-1B9B26A01324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569b5608ef62d45accaef1d5915f1e0d7c17710d","datavalue":{"value":"free-abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$C6E55A56-DEAA-458F-9418-20C926D889C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3dccbd93c7f1c8655c4c33bfb1cdfadbd433ac","datavalue":{"value":"finitely generated subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$F9E0C45C-7AEA-4739-9130-AE8081F29A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820341bd8d96786b05675347d0297724216aa5a0","datavalue":{"value":"intersection configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$E99B6DE6-27D7-43F6-B1AF-10FF37341476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c209558bc58b3afbf37a685fa5462c588e24190","datavalue":{"value":"intersection-saturated groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$44A0864B-F4F2-4880-83FF-EFC996C7B5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00e9983405b8db14e574f375c05a36b791196d93","datavalue":{"value":"Thompson's groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$76FF3BF7-6826-42A1-AFD6-A4270655989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d36fbbdc2052196d6bf156e46de8ce86bb53fc0","datavalue":{"value":"Grigorchuk group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$6AF4F10E-6743-44AB-A34F-2EF430B5C159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4900713934c0008a14a528372e374061d818a9cc","datavalue":{"value":"branch groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924848$AB52F807-5C96-4AA2-9613-3B71B1DFE67D","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":"Q6924848$9A20EFFA-3C6F-4E7A-A391-1E1795E4FE21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"445f378b97bf4a8e0814c7f95ee3d653f4320fee","datavalue":{"value":{"entity-type":"item","numeric-id":4668873,"id":"Q4668873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$19B173DE-F45F-47DD-821B-120545010C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6821e57c2ca89a3d8e7a06534b6a786df81d4b3f","datavalue":{"value":{"entity-type":"item","numeric-id":1355389,"id":"Q1355389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$E0853506-6087-46FE-9214-E736BFC61D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beaf942b20f7702aaca50126381b4d5a50cf325d","datavalue":{"value":{"entity-type":"item","numeric-id":4520856,"id":"Q4520856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$4B60E03E-8CD9-413D-875A-A12B4F1DC48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d0052f1da677940b5bcea9503d1ec07065ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":6626975,"id":"Q6626975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$831E4201-24C3-46D1-82F3-482BE91F7FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6551a59f619cb5db92ecc41bf06c0682b80fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3839254,"id":"Q3839254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$A0FD0617-8F78-4286-8F85-720DECEBCB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6feefcaee05658d7310b1d444724fa44c7e9ca","datavalue":{"value":{"entity-type":"item","numeric-id":4940754,"id":"Q4940754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$F4AB29BD-2ED9-4AD8-9417-092AFA0CED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13e8f1b5f1454f6b865214a30d9dcbfeb64f10b","datavalue":{"value":{"entity-type":"item","numeric-id":5828014,"id":"Q5828014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$44DDF9DD-16CB-4069-A6AF-305A64A50C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8bf5415169c10151415663865422fee088b97a","datavalue":{"value":{"entity-type":"item","numeric-id":3835797,"id":"Q3835797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924848$22B4FCBE-6FD7-4A13-8D0B-9FBED630864F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection-saturated groups without free subgroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection-saturated_groups_without_free_subgroups"}}}}}