{"entities":{"Q6856541":{"pageid":20635885,"ns":120,"title":"Item:Q6856541","lastrevid":75117379,"modified":"2026-04-17T22:09:52Z","type":"item","id":"Q6856541","labels":{"en":{"language":"en","value":"On what finitely generated (left-orderable) simple groups can know about their subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161140"}},"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":"Q6856541$F972DB23-1EE8-4AE6-A3ED-C76D8359E5E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"613c3aa35d0bf6e2e530a3e7a2cd4b10f4de0587","datavalue":{"value":{"text":"On what finitely generated (left-orderable) simple groups can know about their subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856541$9C27D94E-384B-4A0B-873B-43616DFA7672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c96a59fc6278ab06e814e6de6bc307029ad0c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":2030401,"id":"Q2030401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856541$74E4218D-F326-4AB8-A3CC-DD390FAC4085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"499fd251dd71bc8658875f54591d1862e6ebd7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2117998,"id":"Q2117998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856541$42D83856-46B8-4A5F-A7AD-5E57C6D267EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"097394b7528623229c618f76a4ea6b233ffb2970","datavalue":{"value":{"time":"+2026-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856541$608C957C-6938-4BB9-9D8E-A729A9CCF6F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83fec2ca98d36217359de80c037f9b32073fab2d","datavalue":{"value":"This paper surveys recent results on embeddings of countable groups into finitely generated left-orderable simple groups, with emphasis on how the ambient group can retain algorithmic, geometric and algebraic information about the embedded subgroup.\\N\\NA central result states that every countable left-orderable group admits a Frattini embedding (an embedding preserving the conjugacy structure) into a finitely generated left-orderable simple group; if the group is finitely generated, the embedding can be chosen isometric. Further results relate the existence of a computable left-order or of a decidable membership problem, to the existence of suitable embeddings into finitely generated simple groups with the corresponding properties.\\N\\NThese results are extended to recursively enumerable families of finitely generated left-orderable groups, yielding finitely generated simple groups that simultaneously contain quasi-isometric and Frattini copies of each member. As a consequence, a finitely generated group has decidable word problem if and only if it quasi-isometrically embeds into a finitely generated simple subgroup of a finitely presented group.\\N\\NFor the entire collection see [Zbl 1562.20002].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856541$7B60AC4B-FA11-46E3-86A9-9B53CEB603C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84143e6334371c8e3cbc935219640b812b5c932b","datavalue":{"value":{"entity-type":"item","numeric-id":258043,"id":"Q258043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856541$66295186-C73E-4068-B489-5F12FC54F4F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d23f426a1207e798e5066605d68c043bf53ff8ab","datavalue":{"value":"20F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856541$997B10E7-81FF-4013-A52E-729456521576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"403a2d378c7f2b1dcd03e71486a8ed20ba643191","datavalue":{"value":"20E32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856541$68B0B374-B63F-438D-B438-8F2A3BD1B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856541$35E27CD1-7783-4448-8A9D-4B299A7925D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ece90502a6df129e2b7e08560f5a897d08ef9ffe","datavalue":{"value":"8161140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856541$9E58CED2-8128-475F-81EF-C634CC0F339C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9324e65cf74105a76133b376c8ff1ef284046711","datavalue":{"value":"finitely generated simple group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856541$223C1BAA-CD19-43A1-8ABD-FCD9CC89B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5135e6620b5c6928d3c6a1b8f5bddaf94286cb7","datavalue":{"value":"left-orderable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856541$CFC6F6C1-0715-4F87-86F0-8B5A04A79D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf3bc8fc08cd6454f3f7e771a66a6da0da2234f","datavalue":{"value":"computable left-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856541$09F65786-B65E-4B45-A107-EE0AD2FE09C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9388ee5205fef5c69663ae2816d5219d3839c5","datavalue":{"value":"decidable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856541$E4560EB6-B273-45C5-9F28-5F0FE41747CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c6262f52b27e45f24f979f4cbfb5e7822248dc","datavalue":{"value":"quasi-isometric embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856541$48EB68EA-DC43-447C-A13F-4E4D5BDE5CCA","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":"Q6856541$70BDD469-1B0E-4F66-9670-E95179B14B77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On what finitely generated (left-orderable) simple groups can know about their subgroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_what_finitely_generated_(left-orderable)_simple_groups_can_know_about_their_subgroups"}}}}}