{"entities":{"Q796644":{"pageid":798492,"ns":120,"title":"Item:Q796644","lastrevid":42698884,"modified":"2025-07-08T14:40:19Z","type":"item","id":"Q796644","labels":{"en":{"language":"en","value":"A construction which can be used to produce finitely presented infinite simple groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865565"}},"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":"Q796644$FA22C9BF-047E-4C3E-AC39-473FBB9B2135","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4adc151bfe5e05db0e916ea6b2aa178fb4209750","datavalue":{"value":{"text":"A construction which can be used to produce finitely presented infinite simple groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796644$D330A978-1268-4205-8EF9-6F74B8B0CC5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77145df0cf40d569b47a010747f7d039e9d9c991","datavalue":{"value":"0544.20027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$0ED26DB7-6384-4EA1-82F4-003773137146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7699758d014f4a2f127a32c49baff99eb193dda6","datavalue":{"value":"10.1016/0021-8693(84)90172-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$3A854EE2-3613-47C8-A890-8E8B2AEC1E5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab52d8c5bf844ca76bb5af05872ff5daa095b574","datavalue":{"value":{"entity-type":"item","numeric-id":796643,"id":"Q796643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796644$BB971461-DCF1-4708-9307-B390A0EC5C36","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":"Q796644$91B037A1-EE94-4CC5-8197-EA43A9A10B1B","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":"Q796644$BF7071F3-312C-40F5-A55C-FC4DE8534CAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cee1d07c42dddb6c8ebb28e06625dfff45770f47","datavalue":{"value":"This is the first in a series of three papers discussing finitely presented simple groups. The work is based on earlier work by \\textit{R. J. Thompson} [Word problems II, Stud. Logic Found. Math. 95, 401-441 (1980; Zbl 0431.20030)] and \\textit{G. Higman} [''Finitely presented simple groups'', Notes on Pure Mathematics 8, The Australian National University Canberra (1974)]. The aim is to describe a procedure which will yield a large class of finitely presented simple groups.    Let W be a free monoid of rank n greater than 1. A right ideal Y of W is called inescapable if, given any u in W, there is some w in W with uw in Y. The ideal Y is called cofinite if Y is cofinite in W as subset. A function \\(\\mu\\) on a subspace of W is called a homomorphism if \\((uw)\\mu =(u\\mu)w\\) whenever these are defined, \\(\\mu\\) is an isomorphism if it is also bijective between its domain and co-domain. Further, \\(\\mu\\) is inescapable (cofinite) it its domain and range are inescapable (cofinite). It is not difficult to show that every inescapable isomorphism has a unique maximal inescapable extension. The inescapable isomorphisms then form a group \\({\\mathcal G}_{n,1}\\) with the operation being ''composition followed by formation of the maximal extension''. Similarly the cofinite isomorphisms form a subgroup \\(G_{n,1}\\). (The latter is amongst the groups constructed by Higman in [loc. cit].)    The author constructs her groups by taking suitable subgroups H (obtained as subgroups of inverse limits of wreath products) of \\({\\mathcal G}_{n,1}\\) and showing that the groups \\(<G_{n,1},H>\\) are finitely presented. She then uses a result, which she ascribes largely to Thompson that if K is a subgroup of \\({\\mathcal G}_{n,1}\\) containing \\(G_{n,1}\\) then the derived group of K is simple. Since the finitely presented groups mentioned above have derived group of finite index, this yields the required class of finitely presented simple groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q796644$960DA7D2-6941-4099-8D5B-0ED5AA03DEFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"403a2d378c7f2b1dcd03e71486a8ed20ba643191","datavalue":{"value":"20E32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$228706A6-4B55-4284-A48E-6BBD13E568CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$B6E9DBD2-7A9F-4A5B-BF01-F4411A0BE82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$69B7935E-C506-4F49-9DE2-BD4469305684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$045F8560-96A4-42D4-AAC1-B78F7F2BC1FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3950b701d419bf3165d76891b2c537e328451d6","datavalue":{"value":"3865565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$382ECD8D-7862-4950-989A-4FEE25DEFDF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0daa69c7b53c1f8c8d970d41204fc92aa01f7b8","datavalue":{"value":"finitely presented simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q796644$50E3A6FD-83E4-4C76-8B79-9A048B16FFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e374a7e073330b566dd451c0b311eb5070aecc","datavalue":{"value":"inescapable isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q796644$344A7EEA-A9B3-490A-82A2-72218AB63D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4bd82d7bff6173b0c2af47ad60f1b50c6b76df","datavalue":{"value":"cofinite isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q796644$41FEE130-6F4A-458B-8D66-F6A23EF96D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c501623b90dbeb07b50deb1148214ff678e30e5e","datavalue":{"value":"inverse limits of wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q796644$0582446B-6A9A-4B70-90D4-006FA5DE0DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358864abd72b9e68c38718ea42bb973dfd14f8a8","datavalue":{"value":"derived group of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q796644$1B01B2F3-4004-4CA8-8B8F-0203CD8F1EA6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b62b510f997cfb66307a6873f8bf04b4c3541cf","datavalue":{"value":{"entity-type":"item","numeric-id":230893,"id":"Q230893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796644$AD185CC6-D2E5-40BB-BBA0-F2B7251CE76E","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":"Q796644$CF09C1E2-B951-4631-845D-9E20E345D230","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"676d43aa214c6e5401919a40573ef686bc91384d","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90172-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q796644$4E3FFA4B-E0C4-4CDA-A2B7-DE6ACB856E54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50bcc12680ebe269c55978dbf77527d62322698e","datavalue":{"value":"W1977665851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796644$288CBCB9-7CB4-4AC4-A6A8-3477E0963F85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796644$6A24BC34-65FC-497B-B932-99A37ADD8E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33061a2a26ae2054037e474bf4fee97655e95a83","datavalue":{"value":{"entity-type":"item","numeric-id":796645,"id":"Q796645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796644$FA3F85AC-5934-4B25-B2CD-BE4F6B8CCB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706f47f0e53e1e3beb58e17d87ea39fff1ed270f","datavalue":{"value":{"entity-type":"item","numeric-id":3867972,"id":"Q3867972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796644$5B97D10C-EBE3-4077-B0E2-16B7BEC0E0E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4535ed27c7acc6b094be714e6116bb800ecdb840","datavalue":{"value":{"entity-type":"item","numeric-id":4012137,"id":"Q4012137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bfc7e3fe3db3509b7164fac8670a809568509c","datavalue":{"value":{"amount":"+0.8033503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$1F54C3FF-8519-49FB-B31B-C1393FF07558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac553e7d100186c07ea273ca0adcbaeb986daee","datavalue":{"value":{"entity-type":"item","numeric-id":3173645,"id":"Q3173645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7eadeafdffcc0247fa3a09f41d0eaa319510e6","datavalue":{"value":{"amount":"+0.77835095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$23D34B9D-B2BB-47B0-A208-101A12EF67E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6d0cf0af2776e751450a4cc1b3eed3eb6b151d","datavalue":{"value":{"entity-type":"item","numeric-id":1369795,"id":"Q1369795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177b87f6dbac4195a72839db9f943897d45bf2c5","datavalue":{"value":{"amount":"+0.72206235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$3D952246-BA4D-4873-B341-8D5E13ECA0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6e5fe0348ce5dfbd32c810d63ef53415ecd252","datavalue":{"value":{"entity-type":"item","numeric-id":796646,"id":"Q796646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5194a5aba55fa3588f6b014e17f945e00f95e181","datavalue":{"value":{"amount":"+0.715992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$C356B1C4-0829-40B9-B5CB-FB8B24C1BDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457a600e44547620b325699797fd685b8b0c056c","datavalue":{"value":{"entity-type":"item","numeric-id":2346777,"id":"Q2346777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57695ffa8fb16e9d2d02bfe9332bec8c925980aa","datavalue":{"value":{"amount":"+0.71385634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$E8DD50A2-A0E2-4AC6-88D7-5FB466D6B78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db5dfd9b3cd8a43e0df9d785c63954784792fd","datavalue":{"value":{"entity-type":"item","numeric-id":1691967,"id":"Q1691967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98de777b44a7557b93288061e92155eaa203ebcd","datavalue":{"value":{"amount":"+0.7112873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$716BF296-168B-4969-88C3-15A48C231BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86aa73a78c0815771ab14ef064ce5f8d39f4e57b","datavalue":{"value":{"entity-type":"item","numeric-id":3689356,"id":"Q3689356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab85a0b15832afc23b69402443cd95876a83806","datavalue":{"value":{"amount":"+0.70966876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$1B6E9FEB-8AB2-4EBF-895F-50B9DF9A8A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933d9d4052a9c0f007a95da0b2911acd6f7714b4","datavalue":{"value":{"entity-type":"item","numeric-id":4806290,"id":"Q4806290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed4c6ef9509593101f410f033634839bf0e36c2","datavalue":{"value":{"amount":"+0.7078779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$47199BE7-822F-404E-B8D2-45902586E74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9d1606e9c4492aa24d451369388e40bc7c7482","datavalue":{"value":{"entity-type":"item","numeric-id":1821196,"id":"Q1821196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23a565f402545d1763675c399c6732fad82b42b","datavalue":{"value":{"amount":"+0.707576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$A635821B-2347-4548-839F-63DAE4EF8CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8fa020c81fcade0924763daab0a475f699c7d18","datavalue":{"value":{"entity-type":"item","numeric-id":5903371,"id":"Q5903371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cc769bf7d7f8c5a11872766c6bf017c24417f4","datavalue":{"value":{"amount":"+0.7047074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796644$643BB521-6A8F-471E-9871-C5C1CF5B1F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:796644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:796644"}}}}}