{"entities":{"Q1449852":{"pageid":1460592,"ns":120,"title":"Item:Q1449852","lastrevid":67760919,"modified":"2026-04-12T19:38:29Z","type":"item","id":"Q1449852","labels":{"en":{"language":"en","value":"Der Diskriminantensatz f\u00fcr die Ordnungen eines algebraischen Zahl- oder Funktionenk\u00f6rpers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2585755"}},"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":"Q1449852$BE96FCF8-18E6-4E71-96CA-D629E6C8807B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc7310da3d827c56ef950d662d5ea643c992cf0f","datavalue":{"value":{"text":"Der Diskriminantensatz f\u00fcr die Ordnungen eines algebraischen Zahl- oder Funktionenk\u00f6rpers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1449852$078C7350-B500-47A3-A11A-A36277B18837","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"859a6a8643ed49b424ea139bd25d3b4783f71161","datavalue":{"value":"52.0125.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449852$572108E5-493F-4C28-8697-05859EFF4805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449852$A7113D83-5B9F-46F4-B8A3-9110C007C0A0","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":"Q1449852$9EB358F8-23DB-49D4-ACFD-2622BB88D0DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c2e75b758a2d790349d04a426ba11258d3469da","datavalue":{"value":"https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002170078","type":"string"},"datatype":"url"},"type":"statement","id":"Q1449852$B73D0345-8AB9-47AB-9876-01D6B1606112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"299c871e210455e797d622b51228003e0d0b7f13","datavalue":{"value":"https://eudml.org/doc/149616","type":"string"},"datatype":"url"},"type":"statement","id":"Q1449852$76590915-E7D5-4C38-A540-AE706C5319F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b2d1a41142ca1bc56a9f2bef45a296df17473b8","datavalue":{"value":"1. Es sei \\(\\mathfrak R\\) ein kommutativer Ring von endlichem Rang in bezug auf einen K\u00f6rper \\(P\\), \\(\\mathfrak p\\) ein Primideal in \\(\\mathfrak R\\). \\(\\mathfrak R/\\mathfrak p\\) ist ein K\u00f6rper, der einen zu \\(P\\) isomorphen Unterk\u00f6rper enth\u00e4lt. Je nachdem ob \\(\\mathfrak R/\\mathfrak p\\) eine algebraische Erweiterung erster oder zweiter Art \u00fcber \\(P\\) ist, hei\u00dft das Primideal \\(\\mathfrak p\\) erster oder zweiter Art.  Der Grundk\u00f6rper \\(P\\) wird durch einen nullteilerfreien Ring \\(\\varSigma\\) ersetzt, der das Einheitselement von \\(\\mathfrak R\\) enth\u00e4lt. Es sei \\(a\\) ein Ideal in \\(\\mathfrak R\\), \\(\\alpha_1\\), \\dots, \\(\\alpha_s\\), eine linear unabh\u00e4ngige \\(\\varSigma\\)-Modulbasis von \\(\\mathfrak a\\), \\(\\gamma\\) ein Element aus \\(\\mathfrak R\\). Durch die Gleichungen  \\[ \\gamma\\alpha_i=\\textstyle \\sum\\limits_{\\varkappa =1}^{s} \\displaystyle c_{i\\varkappa }\\alpha_\\varkappa \\quad c_{i\\varkappa }<\\varSigma, \\]  erh\u00e4lt man eine Darstellung von \\(\\mathfrak R\\) durch einen Matrizenring \\(\\mathfrak R_\\alpha\\). Zwei Ideale \\(\\mathfrak a\\) und \\(\\mathfrak b\\) hei\u00dfen \u00e4quivalent, wenn es eine isomorphe Zuordnung gibt, so da\u00df aus \\(\\alpha\\leftrightarrow \\beta\\) auch \\(\\gamma\\alpha\\leftrightarrow \\gamma\\beta\\) folgt (\\(\\alpha< \\mathfrak a\\); \\(\\beta<\\mathfrak b\\); \\(\\gamma<\\mathfrak R\\)). Zu \u00e4quivalenten Idealen geh\u00f6ren \u00e4quivalente Ringe, die sich nur um eine \u00c4hnlichkeitstransformation durch eine unimodulare Matrix unterscheiden. Alle untereinander \u00e4quivalenten Ideale bilden eine Klasse. Die Hauptklasse ist die Klasse des Einheitsideals. Spur und Norm der darstellenden Matrizen bilden Klasseninvarianten (\\(S_{\\mathfrak a}(\\gamma)\\) bzw. \\(N_{\\mathfrak a}(\\gamma)\\)). Ist \\(\\mathfrak r\\) ein zweites Ideal in \\(\\mathfrak R\\) mit der Basis \\(\\varrho_1\\), \\dots, \\(\\varrho_r\\), so ist die Determinante \\(|\\,S_{\\mathfrak a}\\,(\\varrho_i\\varrho_\\varkappa )\\,|\\) bis auf das Quadrat einer Einheit aus \\(\\varSigma\\) bestimmt. Das daraus in \\(\\varSigma\\) gebildete Hauptideal ist wieder Klasseninvariante. Jede Determinante \\(|\\,S_{\\mathfrak a}\\,(\\varrho_i\\varrho_\\varkappa )\\,|\\) hei\u00dft Diskriminante von \\(\\mathfrak r\\), das zugeh\u00f6rige Hauptideal hei\u00dft Diskriminantenideal von \\(\\mathfrak r\\) (\\(\\mathfrak r\\) kann auch mit \\(\\mathfrak R\\) \u00fcbereinstimmen). Es sei nun \\(\\mathfrak H\\) ein Hauptidealring (Integrit\u00e4tsbereich mit Einselement, in dem jedes Ideal Hauptideal wird), \\(\\mathfrak L\\) eine endliche Erweiterung erster Art des zugeh\u00f6rigen Quotientenk\u00f6rpers, \\(\\mathfrak S\\) der Ring aller in bezug auf \\(\\mathfrak H\\) ganzen Gr\u00f6\u00dfen aus \\(\\mathfrak L\\) (die Hauptordnung). Jeder Unterring von \\(\\mathfrak L\\), der \\(\\mathfrak H\\) enth\u00e4lt, hei\u00dft eine Ordnung. Dann gilt der folgende Hauptsatz :  ``Eine Primgr\u00f6\u00dfe \\(p\\) aus \\(\\mathfrak H\\) geht dann und nur dann in der Diskriminante \\(D_{\\mathfrak T}\\) einer Ordnung \\(\\mathfrak T\\) auf, wenn in der Zerlegung des Hauptideals \\(\\mathfrak T_{\\mathfrak p}\\) (des in \\(\\mathfrak T\\) gebildeten Hauptideals (\\(p\\))) in paarweise teilerfremde Prim\u00e4rkomponenten aus \\(\\mathfrak T\\) mindestens eine eigentliche Prim\u00e4rkomponente oder mindestens ein Primideal zweiter Art auftritt.''  Der Beweis soll skizziert werden: Die Ordnung \\(\\mathfrak T\\) ist homomorph zu \\(\\mathfrak R=\\mathfrak T/\\mathfrak T_{\\mathfrak p}\\), einem Ring von endlichem Rang in bezug auf einen zu \\(\\mathfrak H/\\mathfrak H_{\\mathfrak p}\\) isomorphen K\u00f6rper \\(P\\). Dem Ideal \\(\\mathfrak T_{\\mathfrak p}<\\mathfrak T\\) entspricht das Nullideal in \\(\\mathfrak T/\\mathfrak T_{\\mathfrak p}\\). Das Auftreten einer eigentlichen Prim\u00e4rkomponente oder eines Primideals zweiter Art in der Idealzerlegung von \\(\\mathfrak T_{\\mathfrak p}\\) in \\(\\mathfrak T\\) entspricht dasselbe in der Idealzerlegung des Nullideals von \\(\\mathfrak T/\\mathfrak T_{\\mathfrak p}\\,\\cdot\\) (\\(\\mathfrak T'\\mathfrak T_{\\mathfrak p}\\) ist nicht vollst\u00e4ndig reduzibel bzw. nicht vollst\u00e4ndig reduzibel erster Art.) Das ist aber dann und nur dann der Fall, wenn die Diskriminante von \\(\\mathfrak R\\) verschwindet, also \\(D_{\\mathfrak T}\\) durch \\(p\\) teilbar ist. Ist \\(\\mathfrak H/\\mathfrak H_p\\) vollkommen, so k\u00f6nnen Primideale zweiter Art nicht auftreten, und jede in \\(D_{\\mathfrak T}\\) aufgehende Primgr\u00f6\u00dfe \\(p\\) besitzt mindestens eine eigentliche Prim\u00e4rkomponente. Wird au\u00dferdem noch f\u00fcr \\(\\mathfrak T\\) die Hauptordnung \\(\\mathfrak S\\) gew\u00e4hlt, so geht der Satz in den \\textit{Dedekind}schen Diskriminantensatz \u00fcber. Zum Schlu\u00df wird der Satz auf den Fall \u00fcbertragen, da\u00df der Grundring \\(\\mathfrak H\\) kein Hauptidealring mehr, sondern ein Multiplikationsring ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1449852$41ABC72E-1726-46AB-BAE0-852FBEED7F77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d57beaf08d2bb8e0f4db258cec7ee6c1b527af5c","datavalue":{"value":"2585755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449852$00F3B94F-2330-4A03-A23D-1C96D554CF4A","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":"Q1449852$1555B172-08D7-4E17-981B-11C9E2BE94AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bf24ecb65a828473a3fdc8d9a63da8f1e7c02aa","datavalue":{"value":"W4205416490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449852$D86E1F00-0B63-4AFC-8ECF-26B53AA286B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58b510d8a1f885e480de9e3849981012c86e8a33","datavalue":{"value":"10.1515/CRLL.1927.157.82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449852$1F8422B3-BB66-4398-B235-3FC515C92055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6de892fc95829d5168467bfba704c6f6dcae446","datavalue":{"value":{"entity-type":"item","numeric-id":6480424,"id":"Q6480424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449852$95F32555-7E84-498E-8BD8-69CD5979BE70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Der Diskriminantensatz f\u00fcr die Ordnungen eines algebraischen Zahl- oder Funktionenk\u00f6rpers.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Der_Diskriminantensatz_f%C3%BCr_die_Ordnungen_eines_algebraischen_Zahl-_oder_Funktionenk%C3%B6rpers."}}}}}