{"entities":{"Q6935755":{"pageid":21118164,"ns":120,"title":"Item:Q6935755","lastrevid":84111962,"modified":"2026-05-10T08:43:55Z","type":"item","id":"Q6935755","labels":{"en":{"language":"en","value":"Quotient-saturated groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8087466"}},"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":"Q6935755$4B950C41-C4A1-4C19-BC62-1BE1BCFEE4A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"493da56b874cb9074456c381dfd059a45f50fe2c","datavalue":{"value":{"text":"Quotient-saturated groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6935755$CB9C1414-DC35-4171-BD42-3B38501A3DAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"534e0bf6a7b460a235e4bfb1daedc8dec87ed74e","datavalue":{"value":"10.1016/J.JPAA.2025.108053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935755$E0B5AB77-E609-407D-9413-C91464B72F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d706782283379ebc16602e448e1b15a8309376f4","datavalue":{"value":{"entity-type":"item","numeric-id":997913,"id":"Q997913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$C3487784-90B3-4F6C-A8D1-1692F593DB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d243d575e460b307b1e99a82bc72a14b6f3b850e","datavalue":{"value":{"entity-type":"item","numeric-id":2215784,"id":"Q2215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$7B07687C-5A94-4DC6-BF80-6F553CD25F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"077a1b7d64765047ebc8d2bb20d2d1a33e91c432","datavalue":{"value":{"entity-type":"item","numeric-id":590520,"id":"Q590520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$213F6101-5E22-49C3-A898-4CE704A3FD75","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":"Q6935755$7B4F2BDC-43A4-4494-A556-0C1462E3692C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6935755$7DED17B4-057D-4175-8FC8-8FEB512C42DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abf6d623e4774ff1f21425eafcc0db59493a0950","datavalue":{"value":"Let \\(G\\) be a group and let \\(\\operatorname{rk}(G)\\) denote its rank (i.e., the minimum cardinality of a generating set for \\(G\\)). The obvious inequality \\[\\operatorname{rk}(G/N) \\leq \\operatorname{rk}(G)\\] is a first restriction for all quotients of \\(G\\). In particular, any quotient of a finitely generated group is finitely generated as well. No analogue of this fact holds at the level of relations. The authors study how rich a group \\(G\\) can be in terms of the finite presentability of its quotients. They consider finitely generated groups \\(G\\), where being finitely related is equivalent to being finitely presented.\\N\\NIf \\(G\\) is a finitely generated group and \\(Q_G\\) is its lattice of quotients, the authors examine which are finitely presented and which are not. Intuitively, the more types of sublattices \\(Q_G\\) has, the more sophisticated the internal structure of \\(G\\) will be. This paper deals with the extreme situation where all abstract finite lattices (together with the information at each vertex whether the quotient is finitely related or not) embed in \\(Q_G\\). Such a group \\(G\\) is called quotient-saturated.\\N\\NThe main result (Theorem 3.5) provides a sufficient condition for a group to be quotient-saturated. As a consequence, it follows that all non-elementary finitely presented subgroups of hyperbolic groups (in particular, non-elementary hyperbolic groups themselves) are quotient-saturated. As a corollary, it is proved that non-elementary, finitely presented, non-quotient-saturated groups \\(D\\) do not embed in any hyperbolic group \\(G\\). Finally, it is shown that finitely presented acylindrically hyperbolic groups are all quotient-saturated as well. The converse of this result is not true. In fact, \\(F_2 \\times F_2\\) is quotient-saturated (as it admits \\(F_2\\) as a quotient), but it is not acylindrically hyperbolic since it is a direct product of two infinite groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935755$9CAB86AB-1EEB-4F19-84A6-CFA87676C34D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5cfec7378ff89dcabc20779a832c7ab9b89da0c","datavalue":{"value":{"entity-type":"item","numeric-id":326568,"id":"Q326568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$D69595DE-E36C-4820-A8CA-2B7D4347854C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935755$EFA9A0D1-28B3-433A-9F95-71A6CE770E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935755$BA1F8830-6DE3-46A7-806E-D185A4945126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935755$EEC0DD16-76B9-4BC1-8A80-395C07050E46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"390bb68e86e1859071f2cfd3b89bd4971d76f3d5","datavalue":{"value":"8087466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935755$ABD95C77-0511-4FC0-91F4-58E3DFBE44A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2aa43b04cd7c256f55bcb0309e499f922acc4","datavalue":{"value":"quotient-saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935755$E6D9C5AF-BEEC-4804-B580-8FA4A8ED93D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935755$853555EB-E601-4558-97EB-EE24472AF116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"522d2eba9577687f9c19218910687c2b4a25f17b","datavalue":{"value":"hyperbolic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935755$1D30053A-5A15-4BA5-998C-EEBFAB3027E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"807ac40b7bc31b09480f6a37ef8b8e31ffd3d490","datavalue":{"value":"acylindrically hyperbolic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935755$1B70A4F0-1CE1-4EA7-93C4-EB5414C7357E","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":"Q6935755$189A7194-8EA1-4C5F-A9E3-4811638F9327","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c6fa7d69c31c7e49e4e2eca5d04367b73a93be","datavalue":{"value":{"entity-type":"item","numeric-id":2475974,"id":"Q2475974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$9525BA04-AAED-435B-9EE7-FE68AEDF3ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5286794d25afa6451f6b43e7ef740a422d01288","datavalue":{"value":{"entity-type":"item","numeric-id":5283777,"id":"Q5283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$F6498F8A-2A3A-4E22-A6AA-8F8A857D7182","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":"Q6935755$B4147BE0-4B48-41EA-A564-758F8E809DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6665069c37ad0ced2c3ad12bfd7f717163c5f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5972181,"id":"Q5972181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$BA7836AE-9FDF-4443-B8F3-ED286689A205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f5589a5bcfdca40a4787ba8b6eccd07d139522","datavalue":{"value":{"entity-type":"item","numeric-id":4333421,"id":"Q4333421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$6E29EED5-C1D2-4FAD-B536-96204E084E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b663783f6794a828e35318394ca533719e615f","datavalue":{"value":{"entity-type":"item","numeric-id":6828752,"id":"Q6828752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$AB06CC69-4FBE-432D-AEDA-28FDCB01C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2218130ce3ce5e53fee580fbcd0b6bb59c9d20a5","datavalue":{"value":{"entity-type":"item","numeric-id":1365351,"id":"Q1365351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935755$EABEB34E-933F-4995-9306-AA54B592423C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotient-saturated groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotient-saturated_groups"}}}}}