{"entities":{"Q2894199":{"pageid":2904924,"ns":120,"title":"Item:Q2894199","lastrevid":58056684,"modified":"2026-04-03T15:26:51Z","type":"item","id":"Q2894199","labels":{"en":{"language":"en","value":"A non-solvable extension of \\(\\mathbb Q\\) unramified outside 7"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051021"}},"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":"Q2894199$305A6E80-3D1B-4683-9B87-A502611F4B12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76d4881686308becb4f1a86e030df00118832534","datavalue":{"value":"1306.11043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894199$30E6247C-B4AF-4F5B-8EF8-92809E28A638","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00e9958fef83c10f85435e224d0a1b468a95b56a","datavalue":{"value":"10.1112/S0010437X11007408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894199$9C7208A1-153D-421C-B44E-997F9DDD5582","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f643d340a5c91e372a5a0e616c8a734abc6e6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2586404,"id":"Q2586404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$D56436FA-25C6-4499-AC4F-6F11564E0316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894199$9F95CCA7-334D-4FC4-89E3-388CFC548AE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ab0006f200fa5f92b2942c4e59371ce03180e2","datavalue":{"value":"https://arxiv.org/abs/1005.4209","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894199$FB952DE9-8259-4FCC-A01F-B70D54AF2021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0d42ca98bb26b3a05c94c33b4dbecdc66da95c4","datavalue":{"value":"11F80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894199$90ED6657-5D5E-470E-8B1A-47B255DBB9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55fff7440f2e983548ec74079e8134b0598207db","datavalue":{"value":"11F46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894199$52D6B38F-E519-4DBB-A22A-35A1B20CE1AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df77dac4df881ebea4db29a23f19e79a95e5ef00","datavalue":{"value":"6051021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894199$E55E2CF1-E1E5-484F-9879-21914D0347AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83caaa7616bbb2f2ac50a1d216c535fcf88de880","datavalue":{"value":"Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894199$5B2CF8CD-D70B-419F-BA0A-EF52FEDD2DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a510483a37aa51a3681f0d0510833c35833306f","datavalue":{"value":"Galois representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894199$E707C6D8-EF16-4C03-A055-6BC572B43BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfd2d80aeebb5516e5cf9f8e1c38743d970483b","datavalue":{"value":"Siegel modular forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894199$E4175D86-F4CA-4160-97CE-FDAF2011C64C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832e657dfb978dc7a3ec4c2193e3582bfda7fd37","datavalue":{"value":{"entity-type":"item","numeric-id":633248,"id":"Q633248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$0E6AA4B6-0F13-4BBC-920B-211AA287F799","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":"Q2894199$0AACEE00-7C91-4E57-B4F7-7372E79170D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61168c057c6de8834eff19579331f1a3a41be3d","datavalue":{"value":{"entity-type":"item","numeric-id":1100554,"id":"Q1100554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$B1B76C95-24BE-4D7B-9473-29C02639335D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f991c1eb0dfb23fdfed9b5862792f33b34d51a","datavalue":{"value":{"entity-type":"item","numeric-id":5953011,"id":"Q5953011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$49DB181B-B899-4A9B-A1C5-76F4809D5502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c51b45751a7b82b5417c7fcc902f7cb6aee07a","datavalue":{"value":{"entity-type":"item","numeric-id":3008413,"id":"Q3008413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$43F8463B-8240-4513-9283-9EF0FABD1360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86b176e1eb9c3cd82a876b3c24aaea28c2f0f3a","datavalue":{"value":{"entity-type":"item","numeric-id":1004533,"id":"Q1004533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$B96C8BB7-DA39-4351-8499-82B653586FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5e1d434889b25bcb7b1a4d25164c4f2d020613","datavalue":{"value":{"entity-type":"item","numeric-id":1587424,"id":"Q1587424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$6A060D1F-C149-499D-89F8-26DB9E4F2FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9af2c39a1ca6b1a94f855dce3b5880cb5b50128","datavalue":{"value":{"entity-type":"item","numeric-id":1319220,"id":"Q1319220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$DCDEF365-E6F7-4146-98EC-2ED900F4EA1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98562f0edcdd3c1cb56e684ac36f1e575b61cd48","datavalue":{"value":"W3103146981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894199$E3FC2BFD-283A-47F9-80DF-A91BCF511B8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6702f0d6a52efb06bd1e130c67eb6e2dd404a9c1","datavalue":{"value":{"text":"A non-solvable extension of \\(\\mathbb Q\\) unramified outside 7","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894199$8F139B3E-C0D4-4AE3-B9CE-631BD818A25A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f9e0ef6faa486f6bc6d05b713fe8ddb85233829","datavalue":{"value":"In [Int. Math. Res. Not. 1998, No. 16, 865--875 (1998; Zbl 0978.11018)], \\textit{B. H. Gross} proposed the following conjecture: For any prime number \\(p\\), there is a non-solvable Galois extension of \\(\\mathbb{Q}\\) ramifying only at \\(p\\). It is known that this conjecture is true for \\(p\\neq 7\\). In the present paper, the author proved that this conjecture for \\(p=7\\) is true.NEWLINENEWLINEIn [Lect. Notes Math. 317, 319--338 (1973; Zbl 0276.14013)], \\textit{J.-P. Serre} proved that the conjecture for \\(p> 7\\) is true using Galois representations attached to elliptic modular forms. For \\(p \\leq 7\\), one cannot apply his method to the conjecture. It seems almost impossible to show the conjecture by using Galois representation attached to automorphic forms of \\(\\mathrm{GL}_2\\) over \\(\\mathbb{Q}\\). However, one believes that we can attack the conjecture by similar methods with Galois representations attached to some other algebraic groups or other base fields.NEWLINENEWLINEIndeed, changing the base field to some totally real fields, i.e., using Hilbert modular forms, \\textit{L. Demb\u00e9l\u00e9} [C. R., Math., Acad. Sci. Paris 347, No. 3--4, 111--116 (2009; Zbl 1166.11038)] proved the conjecture for \\(p=2\\) and \\textit{L. Demb\u00e9l\u00e9} et al. [Compos. Math. 147, No. 3, 716--734 (2011; Zbl 1269.11112)] proved the conjecture for \\(p=3,5\\). As mentioned in [loc. cit.] \\S.3, their methods don't work for \\(p=7\\) case.NEWLINENEWLINEThe author proves this conjecture for \\(p=7\\) using a Siegel modular form. More precisely, using a genus \\(2\\) Siegel cusp form of level \\(1\\) and weight 28, which is not a Maass spezialform, he proved the existence of a non-solvable Galois extension \\(F/\\mathbb{Q}\\) ramifying only at \\(7\\). He also proved that the root discriminant of \\(F/\\mathbb{Q}\\) is smaller than \\(471.22\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894199$F8F33195-76D9-4DFA-B013-D481C1A7F137","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e4f756bf502cdddf87a77245be2f4aec73b8bd7","datavalue":{"value":{"entity-type":"item","numeric-id":365901,"id":"Q365901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894199$92A66561-0203-4516-9875-2136E6F48BCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4630de85f79cf686c41d5b250cfd4222db12df4","datavalue":{"value":{"entity-type":"item","numeric-id":1004533,"id":"Q1004533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669b17f832a8889b36ec6fd3d40f323373565cc6","datavalue":{"value":{"amount":"+0.8195513486862183","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":"Q2894199$0CA8DBF1-4553-4B20-AA7E-AF5F6AD3B92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf53d0d45a8cd849c42fc0367ac171db829aa67f","datavalue":{"value":{"entity-type":"item","numeric-id":1283144,"id":"Q1283144"},"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":"Q2894199$AD71C8CB-44AD-4CF4-AD3A-EF325B1EF035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914a62b9e12efa4641e3cadedcecb9dc1778a5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3008413,"id":"Q3008413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60e35c6fe23621efd79774c3b4ff23cd5f2b5ba","datavalue":{"value":{"amount":"+0.7994163036346436","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":"Q2894199$3B23A5E8-808C-4E96-BEFC-A5AB7DA74E87","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":"8fc99a3b6902f26a0c380b714b53e86dee08e005","datavalue":{"value":{"amount":"+0.7855699062347412","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":"Q2894199$B2B306D1-B9B8-4747-A538-F9D2171A7060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0136840cfe3f8d0af72a0efee32d45c87e9c71c","datavalue":{"value":{"entity-type":"item","numeric-id":5877902,"id":"Q5877902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832fe63c5fa6500a106aa41b0f7744a237209cde","datavalue":{"value":{"amount":"+0.7832362055778503","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":"Q2894199$76C4C6F5-1F78-4D0E-8AB0-F631A8B500C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894199"}}}}}