{"entities":{"Q5924614":{"pageid":8058565,"ns":120,"title":"Item:Q5924614","lastrevid":36971357,"modified":"2024-07-30T07:55:05Z","type":"item","id":"Q5924614","labels":{"en":{"language":"en","value":"Zum Beweis des Hauptidealsatzes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2539928"}},"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":"Q5924614$12EC094E-A6F2-40C0-9DC3-FA48259A977A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c1ca5ee4a51562949afe55d91e6c0611712ba8","datavalue":{"value":{"text":"Zum Beweis des Hauptidealsatzes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5924614$51B1750C-18EF-46CD-AF85-D0C806820605","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20235ce935bfb954c37a0f6d79ad34f9f2bc7922","datavalue":{"value":"60.0895.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924614$F6B4ED4C-7822-418F-B7BF-77AF9F647544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a2a55f384db744a4f46900dc16a6f2dd235c798","datavalue":{"value":"10.1007/BF02940686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924614$DCBE951A-C57A-4493-BFB2-ED67425B63EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68963265e73d78f7c2593680bd97b4038c0b15b8","datavalue":{"value":{"entity-type":"item","numeric-id":1000313,"id":"Q1000313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924614$994D2DBD-E2DC-4F2D-A728-B13F339A569F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924614$3438DD07-7D87-4DF8-ABE9-7C57DA71C01B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q5924614$AF2CE96E-DF05-427E-B95E-E8DC003B7BF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80a1b1b012a30a067e48019c48dc75a8963ec1e2","datavalue":{"value":"Nachdem vor kurzem \\textit{Magnus} (1934; F. d. M. \\(60_{\\text{I}}\\), 86) eine Beweisvereinfachung f\u00fcr den \\textit{Furtw\u00e4nglers}chen Hauptidealsatz geliefert hat, folgt hier nun eine weitere Vereinfachung, die den Beweis vor allem auch durchsichtiger gestaltet. Zu beweisen ist nach \\textit{Artin} (1929; F. d. M. \\(55_{\\text{II}}\\), 699) wie in der urspr\u00fcnglichen \\textit{Furtw\u00e4nglers}chen Fassung (1929; F. d. M. \\(55_{\\text{II}}\\), 699) ein Satz \u00fcber zweistufige Gruppen, da\u00df bei Verlagerung einer Gruppe in ihre Kommutatorgruppe \\(\\mathfrak {G}'\\) alle ihre Elemente in die Eins mod \\(\\mathfrak {G}''\\) \u00fcbergehen. Dabei wird hier die Verlagerung einer Gruppe \\(\\mathfrak {G}\\) in eine ihrer Untergruppen \\(\\mathfrak {U}\\) auf eine etwas andere als in der oben genannten \\textit{Artins}chen Abhandlung gewonnen, die den Verlagerungshomomorphismus deutlicher hervortreten l\u00e4\u00dft; in dieser Form findet sie sich bereits 1902 bei \\textit{I. Schur} (F. d. M. 33, 146 (JFM 33.0146.*)): Es gehe bei Verlagerung \\(\\mathfrak {G} \\rightarrow \\mathfrak {U}\\) das Element \\(S\\) aus \\(\\mathfrak {G}\\) in  \\[  V(S) \\equiv \\underset {G \\mod \\mathfrak {U}}  {\\Pi \\overline {G}S} \\overline {GS}^{-1} \\mod \\mathfrak {U}' \\]  \u00fcber, wenn \\(\\mathfrak {G} = \\sum \\mathfrak {U} \\overline {G}\\) und \\(\\overline {G}\\) allgemein den Vertreter von \\(G\\) mod \\(\\mathfrak {U}\\) bedeutet.  Wesentlich f\u00fcr den Beweis ist der Satz von \\textit{Artin} \u00fcber die Existenz einer Zerf\u00e4llungsgruppe \\(\\overline {\\mathfrak {G}} \\text{ von } \\mathfrak {G} = \\sum _{\\nu =1}^n S_\\nu \\mathfrak {U}\\): Ist \\(\\mathfrak {U}\\) abelscher Normalteiler von \\(\\mathfrak {G}\\), so l\u00e4\u00dft sich eine Obergruppe \\(\\overline {\\mathfrak {G}} \\doteq \\sum _{\\nu =1}^n S_\\nu \\overline {\\mathfrak {U}}\\) von \\(\\mathfrak {G}\\) finden, die \\(\\overline {\\mathfrak {U}}\\) wiederum als abelschen Normalteiler enth\u00e4lt mit demselben Restsystem \\(S_\\nu \\mod \\overline {\\mathfrak {U}}\\), das sich aber jetzt durch eine Untergruppe \\(\\sum \\overline {S_\\nu }\\) von \\(\\overline {\\mathfrak {G}}\\) ersetzen l\u00e4\u00dft. Diese Erweiterung bewirkt, da\u00df man statt  \\[ V_{\\mathfrak {G}\\rightarrow \\mathfrak {U}} (S) = 1 \\text{ nur } V_{\\overline {\\mathfrak {G}} \\rightarrow \\overline {\\mathfrak {U}}} (\\overline U) = \\overline {\\mathfrak {U}}^{\\Sigma S_{\\nu }} = 1 \\]  f\u00fcr \\(\\overline U < \\overline {\\mathfrak {U}}\\) zu beweisen hat.  Der Beweis gelingt nun durch Einf\u00fchrung des ``Ordnungsideals'' \\(\\mathfrak {D}\\) einer abelschen Gruppe mit symbolischer Potenzierung, das der gew\u00f6hnlichen Gruppenordnung entspricht wie die symbolische Ordnung eines Elementes seiner nat\u00fcrlichen Ordnung; ist \\(A_1,\\cdots,A_\\nu \\) ein symbolisches Erzeugendensystem f\u00fcr die abelsche Gruppe, \\(R_\\varrho = \\Pi _\\sigma A_\\varrho ^{\\gamma \\varrho \\sigma } = 1\\) ein beliebiges System von \\(r\\) Relationen zwischen den \\(A_\\sigma \\) mit symbolischen Exponenten \\(\\gamma \\), so sei \\(\\mathfrak {D}\\) der gr\u00f6\u00dfte gemeinsame Teiler aller Determinant en \\(|\\gamma _{\\varrho \\sigma }|\\).  Nun folgt \\(\\mathfrak {D}(\\overline {\\mathfrak {U}}) | \\sum S_\\nu \\) aus Ord \\(\\overline {\\mathfrak {U}}/\\overline {\\mathfrak {U}}^{S-1} | U\\) durch Identifizierung aller \\((S-1)\\)-ten Gruppenelement-Potenzen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5924614$D68FF7C6-6D3E-4729-8D60-33949B1A65F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"827bf14a7ca9b20c04bf0df4f651e2770964c9eb","datavalue":{"value":"2539928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924614$9A177113-B89C-44FE-A1EE-58E2AFA3369D","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":"Q5924614$B941FE8A-9030-4EBF-8FD1-F260B3DB7DEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c2df78f9fa5c4400a04b87f077bb3692c7f1c0f","datavalue":{"value":"https://doi.org/10.1007/bf02940686","type":"string"},"datatype":"url"},"type":"statement","id":"Q5924614$0FD20502-584B-4D53-84B9-FB6D8ECD93A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd5a46352227ec39cb998dca02eea9483fd1cd71","datavalue":{"value":"W2044574559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924614$0B5C56BC-343C-402E-A7E5-B250D8B8F364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5924614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5924614"}}}}}