{"entities":{"Q800970":{"pageid":802818,"ns":120,"title":"Item:Q800970","lastrevid":48757957,"modified":"2026-01-05T19:23:56Z","type":"item","id":"Q800970","labels":{"en":{"language":"en","value":"Some finite groups which appear as Gal L/K, where \\(K\\subseteq {\\mathbb{Q}}(\\mu _ n)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3879038"}},"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":"Q800970$87B4656D-C636-4ED5-A78A-7F10B59A42A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d06ff2d777d739eaf5627fc7de19e4243658ceb5","datavalue":{"value":{"text":"Some finite groups which appear as Gal L/K, where \\(K\\subseteq {\\mathbb{Q}}(\\mu _ n)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800970$5C156B94-13FD-4E9E-BE66-163839F397C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0a65d9e5b6391cd6002e2a14e10a103a203a3e8","datavalue":{"value":"0552.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$056390F3-EE8C-4F76-9878-614BFD6DA0F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7296e763b3f667f388cbacde46ab02879f45dc13","datavalue":{"value":"10.1016/0021-8693(84)90228-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$7FAFE172-30BD-43C1-9019-9047F46BA570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e383abe8c48d38f85367db8a9d460d6a69e2b86e","datavalue":{"value":{"entity-type":"item","numeric-id":401746,"id":"Q401746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800970$FEEBF7E9-5185-4F06-8034-F7AF74BE3E92","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":"Q800970$026C84ED-C1CD-4B06-9CFA-14CE3F0E3924","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":"Q800970$FA6B7726-0BEC-49D4-B7E5-AC397438A6CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84e06ca74e6aba00ece58af1738b1b85ad3c8023","datavalue":{"value":"The topic of this paper is the famous 'inverse problem' of Galois theory: Which groups occur as Galois groups over a fixed ground field k? \\(k={\\mathbb{Q}}\\) or k a small extension of \\({\\mathbb{Q}}\\) are of special interest. The most striking consequence of this work is the realization of the Fischer-Griess monster as a Galois group over \\({\\mathbb{Q}}.\\)    The author deals more general with non-abelian finite simple groups F that are 'rigid'. This means: there are conjugacy classes \\(C_ 1,...,C_ k\\) in F, such that    i) F is generated by \\(x_ 1,...,x_ k\\) for every \\((x_ 1,...,x_ k)\\in C_ 1\\times...\\times C_ k\\) with \\(x_ 1\\cdot...\\cdot x_ k=1,\\)    and ii) F operates (by conjugation) transitively on these generators \\((x_ 1,...,x_ k).\\)    This is the fundamental group theoretical concept. Examples of rigid simple groups given by the author are the Fischer-Griess monster and the groups \\(PSL(2,2^ n)\\).    The author then constructs Galois extensions \\(L| K\\) of some cyclotomic field K with a given rigid group F as Galois group, and more general: Galois extensions \\(N| {\\mathbb{Q}}\\) with a Galois group built out of F in an explicit form.    The construction of these field extensions is based on the theory of Riemann surfaces and of discrete subgroups of \\(PSL_ 2({\\mathbb{R}})\\). The proof is rather long and involved, containing a study of the congruence subgroup \\(\\Gamma_ 0(12)\\) with its corresponding modular curve \\(X_ 0(12)\\), and explicit calculations in terms of Puiseux-series.    To fix the ideas behind all this one should add: A group G generated by \\(x_ 1,...,x_ k\\) \\(with\\quad x_ 1\\cdot...\\cdot x_ k=1\\) can be realized as the group of covering transformations of some compact Riemann surface \\(X\\to {\\mathbb{P}}^ 1({\\mathbb{C}})\\), unramified outside k points in \\({\\mathbb{P}}^ 1({\\mathbb{C}})\\). Hence G is the Galois group of an algebraic function field L over the field of rational functions \\({\\mathbb{C}}(T)\\). Here \\({\\mathbb{C}}\\) may be replaced by \\({\\bar {\\mathbb{Q}}}\\), the field of algebraic numbers. The main problem then is, to reduce \\({\\bar {\\mathbb{Q}}}\\) further to some small subfield K.    In the authors exposition \\(X_ 0(12)\\) plays the role of \\({\\mathbb{P}}^ 1({\\mathbb{C}})\\), and the ramification points are the six cusps of \\(X_ 0(12)\\). To reduce the field K of definition for \\(L| {\\mathbb{C}}(T)\\) he uses explicit calculations in terms of Puiseux-series.    One should add that in general - by the work of B. H. Matzat - one can get information about K in purely group theoretical terms of F, and at this point the rigidity of F comes in.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$A066CE89-8C72-4B57-87F7-E232E7034794","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91eaa2afcfae47242dbd99bd660e3e3433cf2a6d","datavalue":{"value":{"entity-type":"item","numeric-id":579320,"id":"Q579320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800970$FCB74F3B-2176-400E-9118-89A9BF32FF14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$D7DC9A11-80CD-4B93-A338-57A19D7103B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"760e7e883b324f8e9ca39536dab668d9184172e8","datavalue":{"value":"20D08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$8FB861BC-D998-4A1B-A2C4-F98FDDA0FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3da7cadc97860cdfd8fd18c9ec16c6142bfdcd3","datavalue":{"value":"20F29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$146C5A1D-A10C-415F-8A79-DE638580DFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$B85B904F-E680-4C01-8E3B-A5CA7BD8A6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa6df46ce84807deabcb46a10dd503a5c3867796","datavalue":{"value":"20D06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$F86BA3CE-E214-4784-85B0-7FECC148839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$ABA1A1E2-ED10-4652-BB68-52292C5A2B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$6D412FBF-FF01-41A6-8067-C2BF2D20E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6874cb3b9be8306f992870534a2144799a7e1dfa","datavalue":{"value":"30F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$10724EF8-4249-4F1D-87E5-2B2B5644AE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d47f0f7476488dd6b6b2436fba2dc33e26dfd17","datavalue":{"value":"14H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$BBB47CE8-7600-4938-B6BF-59B347F1D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$6DDAAD40-AE90-467B-8DD6-2DA3F61AF2AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5831da69d4ab52b483a708d33d0416cd0a83c644","datavalue":{"value":"3879038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$C00B40EF-5E6D-4FD4-8F42-C324B834F773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9d0f53411a31e5fab1900d61b679f61a5f45a4","datavalue":{"value":"inverse problem of Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$8ED8DE6C-9D36-4294-BF62-6A11F80E2F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd132347353836c29e4a8685aa264ad19911358d","datavalue":{"value":"Fischer-Griess monster as Galois group over \\({\\mathbb{Q}}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$B3A22CF2-CAF9-49F3-BF9C-4B1BE9C24649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781472ecbde784b8712de19276ac886b0f3059e5","datavalue":{"value":"finite simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$140AC4C8-9F8E-4E2A-BAD2-1A3C254C5861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$8259C9AD-7E0B-4B14-8201-7D9C6FEB75DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ab0ad310e902e14b99519f74a56c956da8afbf4","datavalue":{"value":"rigid simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$0989F4F6-5DF9-45ED-BA7A-A0406DC2E9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e9e94c19b9ac086ce133ec444210289edd8f59","datavalue":{"value":"cyclotomic field","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$4823CB30-51F7-4F18-B57B-7CEB75E15E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf7e0105235fef6f54c083c2420042f83ef0e6f","datavalue":{"value":"discrete subgroups of \\(PSL_ 2({\\mathbb{R}})\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$283F01A3-631D-4FAC-A7BE-B5AD79E03877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c38b02b4495a754e84e63c4e535500c9f1939d","datavalue":{"value":"congruence subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$8A9FFB87-79E5-48D9-8D32-6A0EE5B9914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d969aac66ec369642ccb47dc20c3203f84a629","datavalue":{"value":"modular curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$EBDA81E5-874C-4934-A60D-E702E8DA72EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da49686ecf1da49c20e5b9337c3c60ea0eb76fe","datavalue":{"value":"Puiseux-series","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$0C628A14-A07A-4978-A70C-D72B16C6BEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fb2071d3e2fabe69f4d8ee990fed30b12cbfc4a","datavalue":{"value":"group of covering transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$334C344B-D3EF-49FB-AE03-8E2324EECDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e01bab264da9e82afbbf20981efde09bd532c9","datavalue":{"value":"compact Riemann surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$C062E7B1-CA62-4E9B-845C-6AB2158EBFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7c4fc78ca7dce6127a07e3c5212637c2370c09","datavalue":{"value":"algebraic function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$A4BCA549-1F30-4AC5-B999-25D85F63DB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d05cc8f2bc18b9cef4604111c86c6ebc09a297","datavalue":{"value":"ramification points","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$719974D9-1E8F-4C60-BBBD-0788F685A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb58efdbab086f5709558a705903cd19b936f3a6","datavalue":{"value":"cusps","type":"string"},"datatype":"string"},"type":"statement","id":"Q800970$147A6CB0-5D34-4C5D-9301-4E25271AC896","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"97788374a9ab9f503d3724a13c13e699dbfb5c93","datavalue":{"value":"Q55923808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800970$94698215-6C1A-4127-A1A9-0C20396A6356","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":"Q800970$03DD3433-A3E1-44B4-8B83-F728291E91E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da4c22741c2e7a8a0743ed6e9669c84b1a7ce50","datavalue":{"value":{"entity-type":"item","numeric-id":5835648,"id":"Q5835648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800970$22A3A423-CF81-4989-96E2-7DAC1BA97339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c8d287b8da81bbf46dcea488f8560f62dae6cc","datavalue":{"value":{"entity-type":"item","numeric-id":5625265,"id":"Q5625265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800970$B6EB4AFB-2D1F-4E2D-A821-C9C65C15C953","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98e276f1082b1b086778602b431d1d162ff0a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1079594,"id":"Q1079594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1902d23c5a76089a04e14f8b9ce2d27138d38209","datavalue":{"value":{"amount":"+0.8526107668876648","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":"Q800970$47CC7538-E79D-42C3-8D0D-63BD1FACEF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b68bc4da935356a8be7684c3ed4ea079d5b90d6","datavalue":{"value":{"entity-type":"item","numeric-id":4263461,"id":"Q4263461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f0f447263eafbc6039bb87a042f62632ea6032","datavalue":{"value":{"amount":"+0.8470914959907532","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":"Q800970$336DC4D7-095B-46F6-939C-2D2248FA9242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba0f006316f380f82c0c643b02219b12371beac","datavalue":{"value":{"entity-type":"item","numeric-id":3773967,"id":"Q3773967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50929fb1c69513fbbcaf2194574aa401b955e4c","datavalue":{"value":{"amount":"+0.8470691442489624","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":"Q800970$F095B53F-CAB0-4F25-888D-18EC09C1305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d0d9e542c95d70edd80de5ae2aa10a06a2a8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3484953,"id":"Q3484953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55013c3a9fd435747ca40cb2a3769c94c943e38e","datavalue":{"value":{"amount":"+0.8275399208068848","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":"Q800970$0411B373-ACD1-4B70-BBB3-16426ECEDD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8acd26b90abd59afcd19f3f84ce09d00f7428f","datavalue":{"value":{"entity-type":"item","numeric-id":3218213,"id":"Q3218213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af83e4c57aa9643e89bc75b7221ae2a19badef6","datavalue":{"value":{"amount":"+0.8260892033576965","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":"Q800970$2484ECAF-A45A-4F77-BEF2-1C48E386E323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800970"}}}}}