{"entities":{"Q2595720":{"pageid":2606463,"ns":120,"title":"Item:Q2595720","lastrevid":79085645,"modified":"2026-05-06T13:06:51Z","type":"item","id":"Q2595720","labels":{"en":{"language":"en","value":"The structure of local class field theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514889"}},"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":"Q2595720$63FC6F5F-875B-49C3-91A8-31EF65CD230D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c4228ec8bfb57726d75b3167ca534484038e71e","datavalue":{"value":{"text":"The structure of local class field theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595720$2CC81F49-E443-494E-8ACF-2A74A09C17DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f896f435096c36903506e8475ee88be4e2cc702","datavalue":{"value":"64.0090.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595720$DE6CEC3D-A30A-4CD0-A54F-7578E7E557E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ba3031c343b40350f3bdd0ab6adf6b21a2f8db6","datavalue":{"value":"10.2307/2371544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595720$826752B7-48F6-4251-A79B-2D5C85EAE131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"411f824b04c9e6d34d96ba38be0d2638bcf20a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2528957,"id":"Q2528957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595720$0606EAF2-A13D-4ED1-92E7-C601F9162252","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595720$48C4C475-56A6-4AC4-A63F-348C176EA79D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2595720$2CC7CC84-3A4C-452B-A9FE-4EDD85F4EF6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7418afb02178cc21237896d8f802d1fb02f342be","datavalue":{"value":"Ist f\u00fcr einen diskret-bewerteten perfekten K\u00f6rper \\(k\\) der Restklassenk\u00f6rper \\(\\mathfrak k\\) endlich, so gelten die bekannten S\u00e4tze der lokalen Klassenk\u00f6rpertheorie \u00fcber \\(k\\): F\u00fcr jedes \\(n\\) gibt es genau einen unverzweigten Erweiterungsk\u00f6rper vom Grade \\(n\\) \u00fcber \\(k\\), und dieser ist zyklisch. F\u00fcr jeden normalen endlich-algebraischen Erweiterungsk\u00f6rper von \\(k\\) ist die Normklassengruppe isomorph zur Kommutatorfaktorgruppe der Galoisgruppe. Verf. behandelt die umgekehrte Frage, welchen Einschr\u00e4nkungen \\(\\mathfrak k\\) unterworfen ist, wenn \u00fcber k die S\u00e4tze der lokalen Klassenk\u00f6rpertheorie (in vollem Umfange oder teilweise) gelten. Die Einschr\u00e4nkungen f\u00fcr \\(\\mathfrak k\\) treten dabei zum Teil in Gestalt von Bedingungen f\u00fcr die unverzweigten algebraischen Erweiterungen von \\(k\\) auf, die ja den s\u00e4mtlichen algebraischen Erweiterungen von \\(\\mathfrak k\\) umkehrbar eindeutig entsprechen.  Eine naheliegende Einschr\u00e4nkung ist die Forderung, da\u00df \\(\\mathfrak k\\) quasi-algebraisch abgeschlossen ist (keine echten normalen Divisionsalgebren \u00fcber \\(\\mathfrak k\\) existieren). Diese Forderung erweist sich als gleichwertig damit, da\u00df jede normale Divisionsalgebra \u00fcber \\(k\\) vollverzweigt ist. Sie gen\u00fcgt aber nicht, um die G\u00fcltigkeit der lokalen Klassenk\u00f6rpertheorie \u00fcber \\(k\\) in vollem Umfange zu sichern, wie an einem Gegenbeispiel gezeigt wird.  F\u00fcr die weiteren Ergebnisse bezeichne \\(Z\\) zyklische, \\(A\\) Abelsche, \\(N\\) normale, \\(K\\) beliebige endlich-algebraische Erweiterungen \u00fcber \\(k\\), ein zugef\u00fcgtes \\(U\\) bedeute die Forderung der Unverzweigtheit \u00fcber \\(k\\), ein angeh\u00e4ngtes \\(n\\) den Grad \u00fcber \\(k\\).  1. Wenn \\(\\mathfrak k\\) quasi-algebraisch abgeschlossen ist, und wenn f\u00fcr jede \\(UN_n\\) mindestens eine von \\(UN_n\\) zerf\u00e4llte normale Divisionsalgebra vom Grade \\(n\\) \u00fcber \\(k\\) existiert, so sind alle \\(UK\\) zyklisch.  2. Wenn jede \\(K_n\\) alle normalen einfachen Algebren vom Grade \\(n\\) \u00fcber \\(k\\) zerf\u00e4llt, so gibt es f\u00fcr jedes \\(n\\) genau eine \\(UZ_n\\).  3. Wenn f\u00fcr jede \\(UK_n\\) die Gruppe der von \\(UK_n\\) zerf\u00e4llten normalen einfachen Algebren vom Grade \\(n\\) zyklisch von der Ordnung \\(n\\) ist, und wenn dasselbe \u00fcber jeder endlich-algebraischen Erweiterung von \\(k\\) als Grundk\u00f6rper gilt, so sind alle \\(UK\\) zyklisch.  4. Wenn die durch normale Divisionsalgebren vom Grade \\(n\\) \u00fcber \\(k\\) gelieferten Algebrenklassen eine Gruppe der Ordnung \\(n\\) erzeugen, und wenn es f\u00fcr jede Primzahl \\(q\\) mindestens eine \\(UZ_q\\) gibt, so gibt es f\u00fcr jedes \\(n\\) genau eine \\(UZ_n\\).  5. Wenn f\u00fcr jedes n die Normklassengruppe zyklisch von der Ordnung \\(n\\) ist, und wenn dasselbe \u00fcber jeder unverzweigten endlich-algebraischen Erweiterung von \\(k\\) als Grundk\u00f6rper gilt, so ist \\(\\mathfrak k\\) quasi-algebraisch abgeschlossen (und dann auch vollkommen).  6. Wenn f\u00fcr jede \\(UA\\) die Normklassengruppe zur Galoisgruppe isomorph ist, so gibt es f\u00fcr jedes \\(n\\) genau eine \\(UA_n\\), und diese ist eine \\(UZ_n\\).  7. Wenn f\u00fcr jede \\(UN\\) die Normklassengruppe zur Kommutatorfaktorgruppe der Galoisgruppe isomorph ist, so gibt es f\u00fcr jedes \\(n\\) genau eine \\(UK_n\\), und diese ist eine \\(UZ_n\\).  8. Wenn f\u00fcr jede \\(Z_n\\) die Normklassengruppe die Ordnung \\(n\\) hat, so gibt es mindestens eine \\(UZ_n\\).  9. Wenn dasselbe auch \u00fcber jeder endlich-algebraischen Erweiterung von \\(k\\) als Grundk\u00f6rper gilt, so ist \\(\\mathfrak k\\) vollkommen, es gibt f\u00fcr jedes \\(n\\) eine \\(Z_n\\), und f\u00fcr jede \\(A\\) ist die Normklassengruppe zur Galoisgruppe isomorph.  10. Wenn f\u00fcr jede Untergruppe \\(H\\) der Multiplikationsgruppe von \\(k\\) eine \\(A\\) mit Normgruppe \\(H\\) existiert, und wenn dabei der Anordnungssatz gilt, so ist \\(\\mathfrak k\\) vollkommen, und jede \\(UA\\) ist eine \\(UZ\\).  11. Wenn zudem \\(A\\) in allen \\(K\\) enthalten ist, deren Normgruppen Untergruppen von \\(H\\) sind, so ist jede \\(UK\\) eine \\(UZ\\).  12. Wenn eine der Forderungen, die die Einzigkeit von \\(UZ_n\\) zur Folge haben, auch f\u00fcr alle perfekten Teilk\u00f6rper von \\(k\\) erf\u00fcllt ist, deren Restklassenk\u00f6rper Teilk\u00f6rper von \\(\\mathfrak k\\) sind, so ist \\(\\mathfrak k\\) endlich.  Zum Schlu\u00df folgen Betrachtungen \u00fcber die Wesentlichkeit der Beschr\u00e4nkung auf diskrete Bewertungen f\u00fcr die S\u00e4tze der lokalen Klassenk\u00f6rpertheorie. (III 7.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595720$50C5E38C-EF76-42F6-8682-8AE1B2F789AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a452255fa3c6c81fe12645d889c4380e832e1a8","datavalue":{"value":"2514889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595720$1D34F3F4-62CD-4ACC-925F-89D7F8A20912","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":"Q2595720$B06CD6C6-EF57-417E-889E-4E16EB038425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13e04a96e63a3f32f147d808bb252f39dbd93e9b","datavalue":{"value":"https://doi.org/10.2307/2371544","type":"string"},"datatype":"url"},"type":"statement","id":"Q2595720$8CBE157D-8902-4A3F-9343-323566FE141B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab538eb16f6ed92772f5dc7f0b7529c0885dc134","datavalue":{"value":"W2332066508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595720$3E5F2CE3-0D19-4C2D-BADE-35EC6B50E57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The structure of local class field theory.","badges":[]}}}}}