{"entities":{"Q2624433":{"pageid":2635176,"ns":120,"title":"Item:Q2624433","lastrevid":44517225,"modified":"2025-11-23T11:50:16Z","type":"item","id":"Q2624433","labels":{"en":{"language":"en","value":"Der Hauptgeschlechtssatz f\u00fcr relativ-galoissche Zahlk\u00f6rper."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2546018"}},"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":"Q2624433$F6CBE529-9736-489A-9B42-DEB397D70735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aef937f715b7ca98ca586a3096f397d9793d214","datavalue":{"value":{"text":"Der Hauptgeschlechtssatz f\u00fcr relativ-galoissche Zahlk\u00f6rper.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624433$1517648C-5682-4CB4-A796-5A7CAC0C8A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa1200d4d146f8bf67d41a93697977186395fc46","datavalue":{"value":"59.0941.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624433$DEC2110C-F59E-44FB-91A1-42E050039481","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb4b6259986a07c2a20cc08e6ca224b98b687fc8","datavalue":{"value":"10.1007/BF01452845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624433$F08077E8-8B1B-449E-92DA-7B75EDA70D7B","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":"Q2624433$51B463ED-144A-4677-A191-A0801A918440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624433$C009FBAE-E8C7-44DA-BC85-84A1083B1E68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a062d93c467f9b891897a1f339257f73a43e66f0","datavalue":{"value":"https://eudml.org/doc/159645","type":"string"},"datatype":"url"},"type":"statement","id":"Q2624433$2AAC94DF-5044-42F0-9C4D-2C37A8A8263C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6850d8edb38c6a64e1bfb9350fd00f66a08fd29c","datavalue":{"value":"Als algebraischen Kern des Hauptgeschlechtssatzes betrachtet Verf. den \\textit{Hauptgeschlechtssatz im Minimalen}. Darunter versteht sie den folgenden rein algebraischen Satz \u00fcber verschr\u00e4nkte Produkte \\(A=(a_{S, T}, K) = K(u_S)\\) mit \\(u_S u_T = u_{ST} a_{S, T}\\) zu einer separabel-galoisschen Erweiterung \\(K\\) eines beliebigen K\u00f6rpers \\(k (S, T\\) durchlaufen die Elemente der galoisschen Gruppe \\(\\mathfrak G\\) von \\(K/k\\)):  1. \\textit{Fassung}. Sei \\(\\mathfrak G^*\\) die aus \\(K^*\\) (\\(K\\) ohne 0) und den \\(u_S\\) erzeugte Erweiterung von \\(\\mathfrak G\\) (abstrakt charakterisiert als die Gesamtheit aller derjenigen regul\u00e4ren Elemente \\(g^*\\) aus \\(A\\), die \\(K\\) als Ganzes in sich transformieren: \\(g^{*-1} Kg^*=K\\)). Dann ist jeder Automorphismus von \\(\\mathfrak G^*\\), der \\(K^*\\) elementweise festl\u00e4\u00dft, ein innerer und wird durch Transformation mit einem Element aus \\(K^*\\) erzeugt.  2. \\textit{Fassung}. Ist f\u00fcr ein den Elementen \\(S\\) aus \\(\\mathfrak G\\) zugeordnetes System von Elementen \\(c_S\\) aus \\(K^*\\) das System der Tranformationsgr\u00f6\u00dfen \\(\\frac {C^T_S C_T}{C_{ST}}=1\\), so existiert ein Element \\(b\\) in \\(K^*\\) derart, da\u00df \\(c_S = b^{1-S}\\) f\u00fcr alle \\(S\\) aus \\(\\mathfrak G\\) gilt.  3. \\textit{Fassung}. \\(\\mathfrak G\\) besitzt in \\(K^*\\) nur eine einzige verschr\u00e4nkte Darstellungsklasse ersten Grades mit Faktorensystem 1.  Der Beweis der 1. Fassung beruht darauf, da\u00df sich jeder Automorphismus der angegeben Art von \\(\\mathfrak G^*\\) zu einem Automorphismus von \\(A\\) fortsetzen l\u00e4\u00dft; ein solcher ist ja bekanntlich stets ein innerer. Die 2. und 3. Fassung ergeben sich dann unmittelbar aus der 1. Fassung. Die 3. Fassung ist \u00fcbrigens nur ein Spezialfall des folgenden allgemeinen Satzes, den Verf. in ihren Vorlesungen entwickelt hat: \\(\\mathfrak G\\) besitzt \u00fcberhaupt zu \\textit{jedem} Faktorensystem \\(a_S, T\\) nur eine einzige irreduzible verschr\u00e4nkte Darstellungsklasse in \\(K^*\\), und zwar ist diese vom Grade \\(m\\), wo \\(m\\) der Index von \\(A\\) (Grad der zugeh\u00f6rigen Divisionsalgebra) ist.  Im Spezialfall, da\u00df \\(\\mathfrak G= \\{ S\\} \\) zyklisch ist, geht die 2. Fassung in den bekannten Satz 90 aus \\textit{Hilberts} Zahlbericht \u00fcber: Aus \\(N(c)=1\\) folgt \\(c=b^{1-S}\\).  Als \\textit{eigentlichen Hauptgeschlechtsatz} bezeichnet Verf. einen analogen Satz \u00fcber verschr\u00e4nkte Produkte zu der absoluten Idealklassengruppe einer galoisschen Erweiterung \\(K\\) eines algebraischen Zahlk\u00f6rpers \\(k\\) (mit aus Idealklassen bestehenden Faktorensystemen). Damit ein solches verschr\u00e4nktes Produkt \u00fcberhaupt eindeutig definiert ist, mu\u00df man eine passende Klasseneinteilung der Faktorensysteme \\(a_{S, T}\\) aus Idealen von \\(K\\) zugrunde legen. Auf Grund des Fundamentalsatzes von den \u00fcberall zerfallenden Algebren reicht die folgende Einteilung gerade aus: In die Hauptklasse werden alle Faktorensysteme aus Hauptidealen (\\(a_{S, T}\\)) genommen, f\u00fcr die zudem die verschr\u00e4nkten Produkte \\((a_{S,T}, K)\\) an allen Verzweigungsstellen von \\(K/k\\) zerfallen. Diese Klasseneinteilung der Idealfaktorensysteme sieht Verf. als Verallgemeinerung der f\u00fcr den zyklischen Fall beim Hauptgeschlechtssatz auftretenden Strahlklasseneiteilung im Grundk\u00f6rper \\(k\\) an.  Es mag gen\u00fcgen, den eigentlichen Hauptgeschlechtsatz hier in dem Analogon der obigen 2. Fassung anzuf\u00fcgren: Ist f\u00fcr ein den Elementen \\(S\\) aus \\(\\mathfrak G\\) zugeordnetes System von Idealen \\(c_S\\) von \\(K\\) das System der Transformationsgr\u00f6\u00dfen \\(\\frac {C^T_S C_T}{C_{ST}} \\sim 1\\) im Sinne der angegebenen Klasseneinteilung der Idealfaktorensysteme - diese Aussage h\u00e4ngt, wie sofort zu sehen, tats\u00e4chlich nur von den absoluten Idealklassen \\(C_S\\) der \\(c_S\\) ab --, so gibt es eine absolute Idealklasse \\(B\\) von \\(K\\) derart, da\u00df \\(C_S = B^{1-S}\\) f\u00fcr alle \\(S\\) aus \\(\\mathfrak G\\) ist.  Die Klassensysteme \\(C_S\\) dieser Art sind als das Analogon des Hauptgeschlechts im zyklischen Fall anzusehen, entsprechend der bekannten Formulierung des Hauptgeschlechtssatzes f\u00fcr zyklisches \\(\\mathfrak G= \\{ S \\}\\): Ist \\(C\\) eine absolute Idealklasse von \\(K\\) mit \\(N(C) \\sim 1\\) im Sinne der \\(K\\) in \\(k\\) zugeordneten Strahlklasseneinteilung, so ist \\(C=B^{1-S}\\).  Der Beweis des angef\u00fcgrten allgemeinen Hauptgeschlechtssatzes ergibt sich nach \\textit{Artin} durch Kombination des entsprechenden fast trivialen formal-algebraischen Satzes f\u00fcr Ideale selbst mit dem Fundamentalsatz von den \u00fcberall zerfallenden Algebren. (III 5.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624433$7C28C899-1471-4A0D-82EF-25C0E17708AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c48c7d2a7ca1f23773a7745977037cce1b94fe30","datavalue":{"value":"2546018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624433$71908B1C-E960-4184-B266-26AEE62CD5B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f85fcbc5a1f0b54837107f13a859f75c3d3711c7","datavalue":{"value":"Q56456135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624433$5C678F3D-2677-4E5E-914C-AD6561A11909","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":"Q2624433$D8754656-DE0F-4EB5-9DD7-698A0AAFD145","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88c20ab309143beb7c8fd24dcabd382b9cf5e0fc","datavalue":{"value":"W2911975233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624433$6D61051B-7915-49C7-B7B8-07874A762007","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":"Q2624433$24B784E0-4C14-41C1-8EF0-C6FB9FFBC27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2624433"}}}}}