{"entities":{"Q1814620":{"pageid":1825362,"ns":120,"title":"Item:Q1814620","lastrevid":73875468,"modified":"2026-04-14T17:35:17Z","type":"item","id":"Q1814620","labels":{"en":{"language":"en","value":"A question of Higman"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6938"}},"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":"Q1814620$7D555183-23FE-42E4-9681-BFD06F117CA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f4dad86938d4a7aba530d4ae0dc42f7cf5d546","datavalue":{"value":{"text":"A question of Higman","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814620$C3BD7E5F-BE39-4E57-970E-E9FAB496AEE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2521cf54280f49662f765eae9e3048897bcad892","datavalue":{"value":"0742.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$95481992-47A3-4129-9BC2-D1C6867F330E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc9b47b802115c9e2d9289a7cc69eb81eb6a4663","datavalue":{"value":"10.1007/BF01980217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$E2A17969-BFCE-43BE-B2AD-A4FE012AFE33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814620$468F1616-CEC2-458E-BFBE-D4CBE993C43F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814620$DF0C6F7E-8081-4D39-811A-C7717D500F82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ca816dd8f77ca6e8f802ac248b418496a9a4dd3","datavalue":{"value":"If a finitely generated group \\(G\\) is embeddable into \\(\\hbox{Aut}_ r(\\omega)\\), the group of recursive permutations of \\(\\omega\\), then the word problem for \\(G\\) is obviously coenumerable. G. Higman asked whether the converse was true. The author answers the question in the negative. He shows that the group \\(G_ g\\) generated by any nonrecursive permutation \\(g\\) of \\(\\omega\\) and the permutations \\((01), (01)(23)\\dots\\) and \\((12)(34)\\dots\\) can not be embedded into \\(\\hbox{Aut}_ r(\\omega)\\) and constructs a nonrecursive \\(g\\) such that the word problem for \\(G_ g\\) is coenumerable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814620$7983A1AE-E9E5-4937-AC1C-BD7AB42CB4B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$48C93647-E27D-4581-94B6-C7E6016A80BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$11575168-7138-4927-87E2-10E155A0F2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$FE73A8A7-4E61-4EFE-8263-973E94896878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$E0BED5DF-1789-408E-95AE-A1C32BEE9733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$A5D82B75-1C9A-4EE9-B241-BDA45DBD004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$9B15136C-C44E-4A97-8E44-F5A276FB0E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$4BADA884-0A47-46E2-ADA0-E12F68A53207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f014e8597b7a6f6abe14b214fb6f6b5fdd87f5f","datavalue":{"value":"6938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$3A1328E3-91BA-4D26-BACD-D6B92A9EBAC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af5017f4e350454d6f8075bbc124e1cdabec896","datavalue":{"value":"finitely generated group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814620$E40BCB70-6998-4AAB-A5B3-208B0482C46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9bf9acb730faf92617b7a085252ea4300551ff4","datavalue":{"value":"group of recursive permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814620$A23D9304-1090-4D83-9E79-7D9B058E2D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814620$E06434F6-3438-4214-882A-D47D3C97B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33de92ac1b3c77740b365d1bc52211bcfc41382","datavalue":{"value":"coenumerable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814620$D5ED4267-2F13-426D-8210-87540C4C3124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dbdf7a2eb9eb5c7a054fb092659b9f878d42451","datavalue":{"value":"nonrecursive permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814620$36335EC2-E3B8-42CE-8227-DDBEDC684881","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814620$6A107C42-8BD8-4A89-9423-5E6EE1896FB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814620$892EC378-6776-4795-9E21-69DF15560DEF","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":"Q1814620$5E72AECF-0522-46D8-A411-432E1FB0454E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d3a12acff87aaa36bb5944248ccc28872af25a6","datavalue":{"value":"https://doi.org/10.1007/bf01980217","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814620$13550870-5C65-49D3-912B-C147AE16C3A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b74b8d13b4d226d07076e00cabe354f7cd22ed0","datavalue":{"value":"W2016949729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814620$02FAE546-1B12-4F2D-92E4-F798CD462E5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a4b6240eb219c18533600c7f312f6eccc63702","datavalue":{"value":{"entity-type":"item","numeric-id":4517144,"id":"Q4517144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f763525ee5b411d8f36dfa493ee384a7ae58452a","datavalue":{"value":{"amount":"+0.9048517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$6428D772-D66E-4D29-8C38-A475CD788BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9fd88b7a578535d7e3a5836b1c33ddb4a42edf","datavalue":{"value":{"entity-type":"item","numeric-id":4033674,"id":"Q4033674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29872fe51a066a88c21120f5c3f9cf4da38daa94","datavalue":{"value":{"amount":"+0.8656206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$6D45259E-31FF-4100-841D-B987B7AE4B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e698b9cbd31360f3a2d770fbb0b6c5c67f9647","datavalue":{"value":{"entity-type":"item","numeric-id":4345464,"id":"Q4345464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ea820cef5f277e727cc2211bf8e9b0da5aefb6","datavalue":{"value":{"amount":"+0.8149427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$02B21F23-22D6-4EC0-8117-E8C35CB38483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce350334ea097f754f8cf35d5dfe3bc42b5eacf2","datavalue":{"value":{"entity-type":"item","numeric-id":1733789,"id":"Q1733789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e90bc478d5099c538b78e9e5256353b6021dc2","datavalue":{"value":{"amount":"+0.8144112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$7B74C533-9643-48AA-9137-086DD700F433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634da2b291ac705b76a66cffe9da53d23d9c027d","datavalue":{"value":{"entity-type":"item","numeric-id":1858284,"id":"Q1858284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ae31b631baefd290b1788c2b0a82b25ea3061b","datavalue":{"value":{"amount":"+0.79886824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$0D48DAF5-709F-4DA0-A170-48E2D061589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f13aa646ba3e4d035396826301d19ee5353c5c","datavalue":{"value":{"entity-type":"item","numeric-id":3322818,"id":"Q3322818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8305215fc6cbbfddd436723368b1f126a7b9088f","datavalue":{"value":{"amount":"+0.7982631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$1FF5B97C-7E52-456F-AAAB-DAD9C3626943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ff03f5d7608870313e6195dbf0274d37e2bb63","datavalue":{"value":{"entity-type":"item","numeric-id":3344296,"id":"Q3344296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7127217ff7e5dfb2ea6d403ebe9607181539e5f7","datavalue":{"value":{"amount":"+0.79483855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$BA8C15F1-C6BF-47B9-91D6-EF17EA92E0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bc61049a77dc1bdaf5b7a05fd28393689ce3d","datavalue":{"value":{"entity-type":"item","numeric-id":5200903,"id":"Q5200903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7127217ff7e5dfb2ea6d403ebe9607181539e5f7","datavalue":{"value":{"amount":"+0.79483855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$A25D2576-53DA-4DA6-AC80-098508DD8265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e7d6cc884f7f341afe09b1bc33b65adb166d05","datavalue":{"value":{"entity-type":"item","numeric-id":2764523,"id":"Q2764523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c063fc9a723cd1ae5d52f66796e5cd335d6dfef","datavalue":{"value":{"amount":"+0.794111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$ED2BFBCF-55C8-4FAE-834A-E27932425A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99c137356a2d623ccad47110af93a3cf0f28ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1317631,"id":"Q1317631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c36963630144dc78e153218cdb4c42659a8b03","datavalue":{"value":{"amount":"+0.7839263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814620$503F83BA-C4B2-4175-A23B-BD5843C50DCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A question of Higman","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_question_of_Higman"}}}}}