{"entities":{"Q1449987":{"pageid":1460727,"ns":120,"title":"Item:Q1449987","lastrevid":70428060,"modified":"2026-04-13T14:41:48Z","type":"item","id":"Q1449987","labels":{"en":{"language":"en","value":"\u00dcber den Zusammenhang zwischen den definierenden Gleichungen und der Idealtheorie in algebraischen K\u00f6rpern. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2585906"}},"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":"Q1449987$4F91E7DB-4FEE-41C2-9A7A-8C57F66BBBB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcb4951cf36ef9640a9e6f92810eabf0f8a5e9b1","datavalue":{"value":{"text":"\u00dcber den Zusammenhang zwischen den definierenden Gleichungen und der Idealtheorie in algebraischen K\u00f6rpern. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1449987$3F2DC6EA-197F-47E2-8741-477C45A33DC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4fb7d9807569af3a86ec7b28fc83ed523091d1f","datavalue":{"value":"52.0152.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449987$63CBD833-DB64-43C2-A39C-975A8FC58621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea92e4abe5d954b22c5a5f2c704be8235c8c3e76","datavalue":{"value":"10.1007/BF01209169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449987$199F11D1-C516-4442-9A2A-DE18E522D995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449987$3A2B1585-7AC0-4376-BA56-6311AFABDB2D","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":"Q1449987$E442E075-F688-44F8-B3E3-88D429BF19F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71013b12677c14587d63cc4462eef7016da5035f","datavalue":{"value":"https://eudml.org/doc/159170","type":"string"},"datatype":"url"},"type":"statement","id":"Q1449987$CBA798CB-DAEB-4A48-A49A-8021897B178D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7161c475d2397ed258bb8eba50aaf09b6da643aa","datavalue":{"value":"Die vorliegende Abhandlung bildet die Erweiterung der in vorstehendem Referat [JFM 52.0151.03] zitierten \\textit{Dedekind}schen Arbeit [\u00dcber den Zusammenhang zwischen der Theorie der Ideale und den h\u00f6heren Congruenzen. Abhandlungen G\u00f6ttingen 23, 3--38 (1878; \\url{eudml:135827})]. Diese Erweiterung und Vervollkommnung liegt in dem wichtigen Satz: Der K\u00f6rper \\(P(\\vartheta)\\) sei durch die Gleichung \\(f(\\vartheta)=0\\) definiert, wo \\(f(x)\\) irreduzibel in \\(P(1)\\) und mit ganzen rationalen Koeffizienten versehen ist und als normiert angesehen werden darf. Hat das Polynom \\(f(x)\\bmod p^\\alpha\\) die Zerlegung in irreduzibile Faktoren:  \\[   f(x)\\equiv f_1(x)\\cdot f_2(x) \\cdots f_r(x) \\pmod {p^\\alpha},  \\]   so besitzt die Primzahl \\(p\\) in \\(P(\\vartheta)\\) die Primidealzerlegung  \\[   (p)={\\mathfrak p}_1^{e_1}{\\mathfrak p}_2^{e_2} \\ldots {\\mathfrak p}_r^{e_r}, \\quad N{\\mathfrak p}_i=p^{fi},  \\]   wobei \\(e_i\\cdot f_i=n_i\\) ist, wenn \\(n_i\\) den Grad des entsprechenden Faktors \\(f_i(x)\\) bezeichnet. Dabei ist \\(\\alpha\\) eine beliebige feste positive ganze Zahl, \u00fcber die nur \\(\\alpha > 0\\) vorausgesetzt wird, wenn die Diskriminante von \\(f(x)\\) genau durch \\(p^\\delta\\) teilbar ist. Au\u00dferdem ist  \\[   f_i(\\vartheta)\\equiv 0 \\pmod {p_i^{e_i(\\alpha-\\delta)}}.  \\]    Der Beweis dieses wichtigen Satzes beruht auf der Zerlegung eines Polynoms mod \\(p^\\alpha\\) und dem Zusammenhang zwischen den Faktoren mod \\(p^\\alpha\\) f\u00fcr verschiedene \\(\\alpha\\). Hier gilt der Hauptsatz:   Zerlegt man \\(f(x)\\) in irreduzible Faktoren \\(\\pmod {p^{\\delta+1}}\\):  \\[   f(x)\\equiv f_1(x)\\cdot f_2(x) \\cdots f_r(x) \\pmod {p^{\\delta+1}},  \\]   so besteht f\u00fcr alle \\(\\alpha > \\delta + 1\\) eine entsprechende Zerlegung in irreduzible Faktoren \\(\\pmod{p^\\alpha}\\):  \\[   \\begin{gathered} f(x)\\equiv f_1^{(\\alpha)}(x)\\cdots f_r^{(\\alpha)}(x) \\pmod {p^\\alpha}, \\\\ \\text{ wobei } f_i^{(\\alpha)}(x)\\equiv f_i(x) \\pmod {p^{\\delta-\\varrho'+1}},\\quad i = 1, \\ldots,r. \\end{gathered}  \\]   Als Anwendung der Theoreme \u00fcber h\u00f6here Kongruenzen folgt in einfachster Weise der Satz:   Die K\u00f6rperdifferente ist der gr\u00f6\u00dfte gemeinsame Faktor von den Differenten der Zahlen des K\u00f6rpers, und: Die Primzahl \\(p\\) ist dann und nur dann ein gemeinsamer au\u00dferwesentlicher Diskriminantenteiler, wenn von den Ungleichungen  \\[   r_f>g(f) \\quad (f=1, 2, \\ldots)  \\]   wenigstens eine erf\u00fcllt ist. Dabei bedeutet \\(r_f\\) die Anzahl der Primidealteiler von \\(p\\) vom Grade \\(f\\), w\u00e4hrend \\(g(f)\\) die Anzahl der verschiedenen Primfunktionen \\(\\pmod p\\) vom Grade \\(f\\) angibt. Auch die \u00fcbrigen \\textit{Dedekind}schen S\u00e4tze \u00fcber die Potenz eines Primideales, mit der es in der Differente des K\u00f6rpers aufgeht, folgen in frappierend einfacher Weise aus den S\u00e4tzen \u00fcber die Zerlegung der Polynome mod \\(p^\\alpha\\). Zugleich erh\u00e4lt man aber noch eine Verallgemeinerung des letzten Satzes. Der letzte Paragraph enth\u00e4lt den wichtigen Existenzsatz \u00fcber algebraische K\u00f6rper: Wenn zwei Systeme  \\[   e_1, e_2, \\ldots, e_\\nu; \\;f_1, f_2, \\ldots, f_\\nu  \\]   von ganzen rationalen und positiven Zahlen so gegeben sind, da\u00df \\(e_1f_1 + \\cdots + e_\\nu f_\\nu=n\\) ist, so kann man immer einen solchen algebraischen K\u00f6rper \\(P(\\vartheta)\\) \\(n\\)-ten Grades bestimmen, da\u00df die Primzahl \\(p\\) in \\(P(\\vartheta)\\) die Primidealzerlegung  \\[   (p) = {\\mathfrak p}_1^{e_1} \\cdots p_\\nu^{e_\\nu}, \\quad N{\\mathfrak p}_i=p^{fi}  \\]   hat.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1449987$EAF79A0B-830F-4B96-9852-5DBA4DCFD6CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94c22661f4e1ca017a1a5fb9e08782c3fc6df71e","datavalue":{"value":"11R44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449987$D4611962-E4E3-4C34-8D5C-167C8A8C12AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e157dd5e5249495835d7667367181c9e0b0def1d","datavalue":{"value":"2585906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449987$1DA13089-792B-4B32-BB51-D096EA8A9F96","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":"Q1449987$962F864D-96BC-42F7-9885-19FBC4E99AE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"048197dd155cfc128f83892351acbac7bdbabf6b","datavalue":{"value":"W2001548635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449987$A7B5A43E-5428-46AF-87E0-A6AEF2163002","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9929fcb230044f382d956bed2de1f696fae45cc","datavalue":{"value":{"entity-type":"item","numeric-id":6481355,"id":"Q6481355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449987$A1959FD2-F25D-410F-BC38-F7C55D8F1977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber den Zusammenhang zwischen den definierenden Gleichungen und der Idealtheorie in algebraischen K\u00f6rpern. I.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_den_Zusammenhang_zwischen_den_definierenden_Gleichungen_und_der_Idealtheorie_in_algebraischen_K%C3%B6rpern._I."}}}}}