{"entities":{"Q2360389":{"pageid":2371132,"ns":120,"title":"Item:Q2360389","lastrevid":73167309,"modified":"2026-04-14T14:49:13Z","type":"item","id":"Q2360389","labels":{"en":{"language":"en","value":"An axiomatizable profinite group with infinitely many open subgroups of index 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738433"}},"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":"Q2360389$E66B7FB7-A780-4135-864C-ED3601392D70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b848f76ceefd31ac63cdcb5c27bc216b3eb73271","datavalue":{"value":{"text":"An axiomatizable profinite group with infinitely many open subgroups of index 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2360389$49EC23DF-B41C-4E6D-8C36-105F6273F53A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0fc7bd594d0210521fad699c55164834c17fa2c","datavalue":{"value":"1391.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$FF17C37F-8ACA-4586-A8EB-7CA21785DB50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"364b0f161a929a3c5e73832c7b8df6ccbda59706","datavalue":{"value":{"entity-type":"item","numeric-id":2360388,"id":"Q2360388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$D2FBA1AB-0B1C-4D80-B9EA-7FF2674D58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97124544ecf6b5b64ed17f1226d5fdbea8590b55","datavalue":{"value":{"entity-type":"item","numeric-id":342841,"id":"Q342841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$C565BC95-7517-4D1D-ABF1-1F74F3287249","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd7178ae51228ce9b16137dd68ddaa898944ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":254311,"id":"Q254311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$8860CA6B-DB84-4DA8-86B2-204C2764200A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-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":"Q2360389$C3A1FBF3-FFDD-454D-87B1-749555BE9A90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"476ff941b348b7ebbe8234f82c5c33d4ac31ae01","datavalue":{"value":"https://arxiv.org/abs/1608.02085","type":"string"},"datatype":"url"},"type":"statement","id":"Q2360389$8C2A60CC-5258-4572-A5C1-8B70D1B04235","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56c5ff340ec7ddd45faf5a5dfde9a26cddc12620","datavalue":{"value":"Let \\(D\\) be the profinite group given by the direct product, over all odd primes \\(p\\), of the dihedral group of order \\(2p\\). The authors prove that a profinite group with the same first-order theory as \\(D\\) (in the language of groups) is necessarily isomorphic to \\(D\\). That is, \\(D\\) is axiomatizable. It is known that finitely-generated profinite groups are axiomatizable [\\textit{M. Jarden} and \\textit{A. Lubotzky}, Bull. Lond. Math. Soc. 40, No. 5, 887--896 (2008; Zbl 1200.20023)] and more generally that strongly complete profinite groups are axiomatizable [\\textit{P. Helbig}, J. Group Theory 20, No. 5, 987--997 (2017; Zbl 1421.20012)]. Recall a profinite group is strongly complete if all its finite index subgroups are open. Moreover, a strongly complete profinite group is small, that is it has only finitely many open subgroups of index \\(n\\) for each natural number \\(n\\). That \\(D\\) is axiomatizable demonstrates that not all axiomatizable profinite groups are small, this answers a question raised by \\textit{P. Helbig} [J. Group Theory 20, No. 5, 987--997 (2017; Zbl 1421.20012)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360389$272D4D8C-4B40-4C26-BE61-63F404A13F91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$30F15C70-0494-49D4-87C7-80E4A22F7AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$7E46D8B4-3D5A-4047-97EB-FF78B1F62AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$73BF27AC-D6AC-43BF-B0DF-3398B0BDB2C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"917d4993f719d8c3c3f7bc48b6e4b85e5289199b","datavalue":{"value":"6738433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$73B6E055-087B-4052-A3AB-8ECBDA419515","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad93c5135fdb6642df265555814b9246eeaa9cc","datavalue":{"value":"profinite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360389$309FCDDF-3C01-4709-BD0D-F90F8CBD1579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfb3c366f65f4349d660b00e114b9611f3733bd","datavalue":{"value":"axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360389$3DFD4FDC-B4B8-431E-8330-3CC8117F3522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360389$EA09F080-0316-49EB-A055-A9296FE0C2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e54d35df7070f57893f2d8d137b443635cc0a4","datavalue":{"value":"dihedral group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360389$2893A5B3-D791-4D0E-A8E6-95FBD58E1F83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98e522aacd238906e5f53b779bbecd782ec3f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":591938,"id":"Q591938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$DA7791C1-E0DF-4B62-A345-F78DE9978597","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":"Q2360389$86900F2A-5214-4C23-A855-749BC8B24A54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e24b7b0c930a6138ee660d21ab0ebec325d3771","datavalue":{"value":"W2963021379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$DFFA1E62-F493-4011-BA1E-CCA8A1717F42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9a41620eee325458c800856323320e71ae4c57","datavalue":{"value":{"entity-type":"item","numeric-id":3502622,"id":"Q3502622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$11CB4B20-7804-49E0-A174-889EF65427E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd635afe73add6bcd0b3cc865ecdd97c073e764","datavalue":{"value":{"entity-type":"item","numeric-id":3069098,"id":"Q3069098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$ACB28F35-0F2A-4654-8648-ED2F320E1976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd10041234b2569761806dfef54a9de493ba128d","datavalue":{"value":{"entity-type":"item","numeric-id":2406667,"id":"Q2406667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$1A3E261D-4C2C-46DA-8323-4B6F90806DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3dea1c1fa9321ab17a9970556578fe4960453c","datavalue":{"value":{"entity-type":"item","numeric-id":3529397,"id":"Q3529397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360389$4EFC17DF-8B9E-44F8-ACBB-DF7B7999350B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f67eab2643e941e295c1517fc1a090ad0c38254b","datavalue":{"value":"10.1515/JGTH-2016-0044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360389$C3025B7F-E3BA-4494-A689-AF56027F9EC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cd9668a6c8cbe5e97f3d70b68cdafea11f7230","datavalue":{"value":{"entity-type":"item","numeric-id":5063302,"id":"Q5063302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337274a028fb2116a57f98f34c39bd89ff749742","datavalue":{"value":{"amount":"+0.8020317554473877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2360389$01FBFF15-9428-466E-89FA-D6CB306C4EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8296b8f8375aab86e09b0040f7fcae949391dc","datavalue":{"value":{"entity-type":"item","numeric-id":895797,"id":"Q895797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140fbfb7ef341bd9860200ab197e743ecdf07101","datavalue":{"value":{"amount":"+0.7523335814476013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2360389$F9BC3132-DEC7-44A5-A1B4-BA94A7859A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853ccbc8164d4e73beae92a00b79d11bec0b8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":1409724,"id":"Q1409724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1df87b15ecf09b3d8acacd696d227c31fe8a3ea","datavalue":{"value":{"amount":"+0.7359480261802673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2360389$8C97E159-EDEF-4B32-97EE-581A210CE4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5155a771fb6eb285e623261d463afc0179b74ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1407505,"id":"Q1407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d4124e425ad22c04476de4d9fdcb2ba06c1917","datavalue":{"value":{"amount":"+0.7322806119918823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2360389$9329F5E2-9D16-4801-B8D0-2BDFDBE60245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a11f4f5115e9cd4709fb8096e9003d1deb90a2","datavalue":{"value":{"entity-type":"item","numeric-id":3069098,"id":"Q3069098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8364d28827401264def7775730d2eea73bdf8f","datavalue":{"value":{"amount":"+0.7283022403717041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2360389$4B18CF42-E2E0-454D-BCB0-E0FF25489A2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatizable profinite group with infinitely many open subgroups of index 2","badges":[]}}}}}