{"entities":{"Q1004533":{"pageid":1006381,"ns":120,"title":"Item:Q1004533","lastrevid":69403359,"modified":"2026-04-13T06:46:17Z","type":"item","id":"Q1004533","labels":{"en":{"language":"en","value":"A non-solvable Galois extension of \\(\\mathbb Q\\) ramified at 2 only"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527928"}},"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":"Q1004533$560B53C8-9502-43BC-9F6F-0378DDDEDCFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"762e44d8c2e152099e2cadce556e92f3cf57e780","datavalue":{"value":{"text":"A non-solvable Galois extension of \\(\\mathbb Q\\) ramified at 2 only","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004533$236339F0-3DD5-4B66-936E-E51E0785F84A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbd99ab740a2877eedf46c1171be6eb31a3db7f","datavalue":{"value":"1166.11038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$00A1E963-1F27-4556-8A9B-144E7CE6B83E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7c459977929b4ec9dde8c35a6a03f013cbd6cfe","datavalue":{"value":{"entity-type":"item","numeric-id":261440,"id":"Q261440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$897F3E62-6869-4E53-BA08-2D226AA75265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$7F9CE385-F4C2-4AC0-9083-6F61408EC896","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004533$DCADEF10-1036-4DE9-89F5-AB9AC3207268","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91568944f820d5af051bd0638d3fa0e83508e49d","datavalue":{"value":"https://arxiv.org/abs/0811.4379","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004533$C355AD11-9CD8-4F6F-BE9E-1B18DA1F2F0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5bb85dabf4320423654025a3c667f838fc460c7f","datavalue":{"value":"\\textit{B. H. Gross} [Int. Math. Res. Not. 1998, No. 16, 865--875 (1998; Zbl 0978.11018)] proposed the following conjecture: for any prime number \\(p\\), there exists a finite non-solvable Galois extension \\(K/\\mathbb Q\\) ramified at \\(p\\) only. Via results of Serre, one knows how to construct such an extension for primes \\(p\\geq 11\\). In this note, the author settles the conjecture for \\(p= 2\\), by using the Galois representations attached to Hilbert modular forms over the maximal totally real subfield \\(F\\) of the cyclotomic field \\(\\mathbb Q(\\zeta_{32})\\).   Precisely: Theorem. There exist two \\(\\text{SL}_2(\\mathbb F_{2^8})\\)-extensions \\(E/F\\) and \\(E'/F\\) ramified at the unique prime ideal above 2 only. The fields \\(E\\) and \\(E'\\) are both Galois over \\(\\mathbb Q(\\sqrt{2})\\), with Galois group \\(\\text{SL}_2(\\mathbb F_{2^8}).4\\), and are interchanged by \\(\\text{Gal}(\\mathbb Q(\\sqrt{2})/\\mathbb Q)\\).   Corollary. There exists a finite, totally complex, non-solvable Galois extension \\(K/\\mathbb Q\\) that is ramified at 2 only, with Galois group \\(\\text{SL}_2(\\mathbb F_{2^8})^2.8\\). Moreover, the root discriminant of \\(K\\) is \\(< 2^{{47\\over 8}}= 58,68\\dots\\). This bound has been lowered by \\textit{J.-P. Serre} [C. R., Math., Acad. Sci. Paris 347, No. 3--4, 117--118 (2009; Zbl 1167.11041)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004533$DB5324E5-2D1E-4AE4-A912-4BA70ECA3FEA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"28e7b6d9b3d95c1695e7ee1dc3222d22327d01be","datavalue":{"value":{"entity-type":"item","numeric-id":579316,"id":"Q579316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$CE1C02EA-7128-4685-8F0F-E19D34F9C5CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$9D9CD2FF-0F02-46E5-A43A-ED453489C4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0d42ca98bb26b3a05c94c33b4dbecdc66da95c4","datavalue":{"value":"11F80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$42524F28-6245-4A8D-BB16-F9138E3FCD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$90986F33-3772-46B8-8779-9CF735424732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5608c1781f94744d03752d44e05da79bb7b2e98f","datavalue":{"value":"5527928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$08CD5A62-CED7-4FDC-9D65-EBE498F52F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24666f543f75ce2746131f9a0bcb474abd5e78bc","datavalue":{"value":"non-solvable Galois extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004533$BECDF6D5-B248-4685-B006-C387B425DFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7063c41242828af442f4f80e81d906e3906e3276","datavalue":{"value":"discriminant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004533$E4BC6A2E-A71D-49DB-A329-F23E0886910B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$5EE794E3-EF0E-476F-B490-92DEC29E2683","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":"Q1004533$47117B49-98C0-4B90-AD04-DC48746CFE79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a520dbf3c7c29c2af3660b538696e1fd5420405","datavalue":{"value":"W2036929484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$8B54BAB4-A84D-4A34-AF04-91F1084D65EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$AC063456-D144-4CC3-98A1-BCE5680B0D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49e0f6d52abd97f48bb843df9fdc68b8d8835b3","datavalue":{"value":{"entity-type":"item","numeric-id":1283044,"id":"Q1283044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$05EE065F-8665-4E14-9120-918E81702973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f96a9ddf6780f9dbc0f7bbe889f35b67783749","datavalue":{"value":{"entity-type":"item","numeric-id":2723516,"id":"Q2723516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$A10D0F04-FA06-4459-8A27-E6EE240ACA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f6f1d04977791199f19542a03a4ced62e5cd35","datavalue":{"value":{"entity-type":"item","numeric-id":4724707,"id":"Q4724707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$37F41D40-A8AC-428E-A76A-BE61D1F246BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3cd3dde3f10671e19e7f3ec7cbdf85c1f436290","datavalue":{"value":{"entity-type":"item","numeric-id":4222332,"id":"Q4222332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$5D3670AA-CF14-4F8C-83EC-F9C7F38500EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7606d1768d4c7ee16d4629198702cf6ffc4ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1961340,"id":"Q1961340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$4F913CE6-AAA2-4909-928E-5CEC0373C9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7482aa1ca272d862458434f9a3600b6e9810ccd5","datavalue":{"value":{"entity-type":"item","numeric-id":1600040,"id":"Q1600040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$5D037E5D-7E19-4778-A489-9719AA36CCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a2fcfc529be2571bb6dd1f430057dae74148f","datavalue":{"value":{"entity-type":"item","numeric-id":2745361,"id":"Q2745361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$951B4CA0-CA73-4DC3-943C-4707F2013057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c55e68d5bdaa0667683c3c5d0fc462a8478f523","datavalue":{"value":{"entity-type":"item","numeric-id":4364988,"id":"Q4364988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$4F1E6D87-7858-4CAA-8B93-E41D144C940D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80d3f799d5c625e3706eddcc1ef57f0fbae1adb","datavalue":{"value":{"entity-type":"item","numeric-id":2781941,"id":"Q2781941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$7E317E8D-6FE9-4BA1-8162-342DFC7CFF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76af2dedbcadb75a589ecf23abe83cde00e63ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3342676,"id":"Q3342676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$09E4D100-44B1-42F6-81F5-F2ED519A5ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf1f7dc7fa004a97b5200d1c1137bdce74877cc","datavalue":{"value":{"entity-type":"item","numeric-id":1056789,"id":"Q1056789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$C113A7FA-56F5-4A07-811B-5C1D51A8256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f032381edfe98f30ca4409594215f9c3eaf18f","datavalue":{"value":{"entity-type":"item","numeric-id":1100497,"id":"Q1100497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$80AB0F62-1803-4955-B738-9354655F9C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c9ee2633aa82b105b1530b1c22a3a23cc57ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4402451,"id":"Q4402451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$3163C34E-7FD6-4749-9184-B84010216545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5dad06102ffd76370a394cead8d2bfa7d760a8","datavalue":{"value":{"entity-type":"item","numeric-id":4317834,"id":"Q4317834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$06B36023-0A74-4DF9-8F07-6216026CA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40d96f7cdaf00cf34477b622468a46cde28798d","datavalue":{"value":{"entity-type":"item","numeric-id":917586,"id":"Q917586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$D3A21AC1-CA8E-4AC6-A39F-D0FD65287036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c226c13b6cad9620d534e29e31c356128b5171d","datavalue":{"value":{"entity-type":"item","numeric-id":2369743,"id":"Q2369743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$D10A1BBF-DAE7-4C0D-8230-D71C613CA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7667f87a8e5b0601cc23679bee50a69a6b2a99","datavalue":{"value":{"entity-type":"item","numeric-id":1115471,"id":"Q1115471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004533$83B2939D-D08B-4A28-9064-342D3468F228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30a38d7d64fde6a9678663d1dc6208e2e9b58c6f","datavalue":{"value":"10.1016/J.CRMA.2008.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004533$2C825870-34D8-4028-893A-C78B76EC26CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b6df4a4c0bb514c683d1d58bd2c9cf4d94e9f1","datavalue":{"value":{"entity-type":"item","numeric-id":1004534,"id":"Q1004534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b616c9cc58f661c1b94264e43018e8b196d461f","datavalue":{"value":{"amount":"+0.8572795391082764","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":"Q1004533$DBBDCB8E-A057-4F8C-805A-1B75C05736DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2d60aacfd88dbf754f53eaee8c5a7768cbd517","datavalue":{"value":{"entity-type":"item","numeric-id":4317834,"id":"Q4317834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befad1e0dfa3b140c979c97ea3f222e23c7596e0","datavalue":{"value":{"amount":"+0.8313034176826477","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":"Q1004533$3DADD2F0-BA50-4311-89C2-D010FDEC0E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da95c2871bd092f5eba10337fba7ab198a05114c","datavalue":{"value":{"entity-type":"item","numeric-id":3085047,"id":"Q3085047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a0494e6925c85c1a224b72bd691d2bb34b5f51","datavalue":{"value":{"amount":"+0.8281170129776001","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":"Q1004533$B3E95565-BA5C-4D96-A57D-8CB4E931D902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0752d20fe4fc658a53ed1ffd468aa16d6c0e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":2894199,"id":"Q2894199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fd1a48f8bb14affd84979dea03f71d246081b1","datavalue":{"value":{"amount":"+0.8110029101371765","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":"Q1004533$E2BC0A25-3976-44CE-8E49-1AA1158C7912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"416ac9e66f7d326ae723580d4fce676681ba6a1a","datavalue":{"value":{"entity-type":"item","numeric-id":3722589,"id":"Q3722589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee7ba80a9ede5aeecd2c03b2d560a6071bb1f16","datavalue":{"value":{"amount":"+0.8065429329872131","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":"Q1004533$6EB7D386-EA43-4C11-88ED-5E1298B42C53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-solvable Galois extension of \\(\\mathbb Q\\) ramified at 2 only","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-solvable_Galois_extension_of_%5C(%5Cmathbb_Q%5C)_ramified_at_2_only"}}}}}