{"entities":{"Q578014":{"pageid":579781,"ns":120,"title":"Item:Q578014","lastrevid":62906736,"modified":"2026-04-11T08:56:21Z","type":"item","id":"Q578014","labels":{"en":{"language":"en","value":"Probl\u00e8me de construction des \u00e9quations alg\u00e9briques pour un groupe avant-donn\u00e9."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2560723"}},"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":"Q578014$F5CED0BC-4A72-4A4A-9733-EE5EAEEE9FA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bc9a37af1337a63af556aa263641cd2ed0a1a7c","datavalue":{"value":{"text":"Probl\u00e8me de construction des \u00e9quations alg\u00e9briques pour un groupe avant-donn\u00e9.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578014$45B16259-2F38-4D5B-B252-978829E9693A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cc8ad7991f9a13da1f0d330999f7da796520a7a","datavalue":{"value":"57.1346.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578014$A157C9F4-10D4-48DC-B16C-95AFEFE1DF5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4764faf60d8c8aaacfa3522c8b21b46eae04e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":563178,"id":"Q563178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578014$31D6D7E9-1C42-4B2C-9BD0-2B1F759B37EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dd745ff93b31145e75d180e6d28b5d93f81438","datavalue":{"value":{"time":"+1926-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":"Q578014$A299B049-3728-46D3-ABAB-0C2194E53164","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d7e3a95dc2f8f5b901d94fff4d1af7fb3862ac9","datavalue":{"value":"Gibt es eine Primzahl \\(p\\), f\u00fcr die ein Polynom \\(n\\)-ten Grades  \\[  f(x)\\equiv f_1(x)f_2(x)\\cdots f_k(x)\\mod p \\tag{1}  \\]  in\\(\\mod p\\) irreduzible Faktoren der Grade \\(n_1\\),\\dots, \\(n_k\\) quadratfrei zerf\u00e4llt, so besitzt die \\textit{Galois}gruppe von \\(f (x)=0\\) eine Permutation aus \\(k\\) Zyklen der L\u00e4ngen \\(n_1\\),\\dots, \\(n_k\\).  Mit diesem \\textit{Dedekind}schen Satz, dessen Beweis hier ohne Verwendung von Idealen wiedergegeben wird, werden nach der Art von \\textit{M. Bauer} (1907; F. d. M. 38, 119 (JFM 38.0119.*)) Gleichungen \\(n\\)-ten Grades mit symmetrischer Gruppe konstruiert, als Gruppenerzeugende hier aber eine Transposition, ein Zyklus \\((n - 1)\\)-ter und ein Zyklus \\(n\\)-ter Ordnung gew\u00e4hlt und zu diesen nach festgew\u00e4hlten \\(p = p_1\\), \\(p_2\\), \\(p_3\\geqq n\\) passende Produkte (1), simultan zu vereinigen\\(\\mod P = p_1p_2p_3\\). Die Auswahl der Erzeugenden er\u00fcbrigt Primitivit\u00e4tsbetrachtungen, Nach der \\textit{Frobenius}schen Umkehrung des \\textit{Dedekind}schen Satzes (1896; F. d. M. 27, 91 (JFM 27.0091.*)) gewinnt man so auch alle Gleichungen symmetrischer Gruppe.  Ist irgendeine Gruppe \\(\\mathfrak G\\) gegeben, so lassen sich auf diese Weise auch Gleichungen mit \\(\\mathfrak G\\) als \\textit{Galois}gruppe bilden, wenn eine zu \\(\\mathfrak G\\) geh\u00f6rige Funktion \\(z(x_1,\\dots, x_n)\\) mit den symmetrischen Funktionen der \\(x\\) zusammen eine rationale Minimalbasis \\(\\zeta_1\\),\\dots, \\(\\zeta_n\\) besitzt, unabh\u00e4ngig von den Existenzs\u00e4tzen von \\textit{Hilbert} und \\textit{E. Noether} (vgl. \\textit{E. Noether}, 1917; F. d. M.46, 135).  Eine beliebige Wahl der \\(\\zeta\\) ergibt ein \\(f(x) = x^n + a_1x^{n-1}+\\cdots + a_n\\) mit einer Gruppe \\(\\mathfrak H<\\mathfrak G\\). Man lege nun \\(f\\) wie oben erst\\(\\mod P\\) fest (\\(P=p_1\\cdots p_m\\) bei \\(m\\) Zyklentypen von \\(\\mathfrak G\\)); es hat dann, wenn \\(F = 0\\) die aus \\(f\\) hervorgehende Gleichung f\u00fcr \\(z(x_1,\\dots, x_n)\\) ist, \\(F \\equiv 0 \\mod P\\) eine Wurzel. Diese mit der Restklasse der \\(a_\\nu\\) in den \\(\\zeta_\\mu\\) eingesetzt ergeben Werte \\(a_1\\),\\dots, \\(a_n\\) aus diesen Restklassen\\(\\mod P\\), und es hat dieses \\(f (x)\\) nach \\textit{Dedekind} genau die Gruppe \\(\\mathfrak G\\), wenn es keine Untergruppe von \\(\\mathfrak G\\) gibt, die dieselben Zyklentypen aufweist.  Sollte dies eintreten, so bilde man die regul\u00e4re Darstellung \\(\\overline{\\mathfrak G}\\) von \\(\\mathfrak G\\) und suche zu dieser eine (Normal-)Gleichung. Hier scheidet man den Fall, da\u00df eine echte Untergruppe von \\(\\overline{\\mathfrak G}\\) \\textit{Galois}gruppe wird, so aus, da\u00df man die Koeffizienten das \\textit{Eisenstein}sche Irreduzibilit\u00e4tskriterium etwa nach \\(q\\) erf\u00fcllen l\u00e4\u00dft. Liegen die Koeffizienten so\\(\\mod Pq^2\\) fest (\\(P\\) wie oben), so hat man, wenn \\(\\overline{\\mathfrak G}\\) eine Minimalbasis besitzt, eine Gleichung der Gruppe \\(\\overline{\\mathfrak G}\\), die \\textit{Galois}resolvente einer Gleichung der Gruppe \\(\\mathfrak G\\) ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q578014$F1C7FB21-8B5E-4AED-9E5C-302293BBAAF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb3d31a07da83c9b0eaf8e6d887e1284102f2c6","datavalue":{"value":"2560723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578014$00F7707A-287F-4A36-80D7-E0345EF4BA50","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":"Q578014$18F553F9-189D-4387-ACD2-D2F5A842B90C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a17bcbe7024af736e0a17884c477f073c497e4a","datavalue":{"value":{"entity-type":"item","numeric-id":6480827,"id":"Q6480827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578014$1A9BC7A1-6EC6-4256-AD18-247B758D0BF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probl\u00e8me de construction des \u00e9quations alg\u00e9briques pour un groupe avant-donn\u00e9.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probl%C3%A8me_de_construction_des_%C3%A9quations_alg%C3%A9briques_pour_un_groupe_avant-donn%C3%A9."}}}}}