{"entities":{"Q2524856":{"pageid":2535599,"ns":120,"title":"Item:Q2524856","lastrevid":74225397,"modified":"2026-04-14T19:03:13Z","type":"item","id":"Q2524856","labels":{"en":{"language":"en","value":"\u00dcber eine Klassenformation im Bereich der unendlichen algebraischen Zahlk\u00f6rper"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3239663"}},"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":"Q2524856$03D7C332-D640-490A-B921-D61750DD6A18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dfea93872bc88866a0d1ac123946a64b1030339","datavalue":{"value":{"text":"\u00dcber eine Klassenformation im Bereich der unendlichen algebraischen Zahlk\u00f6rper","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2524856$52D74E8C-16B7-4613-AD18-48ED5270626F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9c39653541c4215d25ae1a80f1a17c86aef8f72","datavalue":{"value":"0148.28006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2524856$C0113DBC-C2E9-4BDE-8C32-EB8445D51B3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"947e058442e1145a57170250247c012679a15b2c","datavalue":{"value":"10.1007/BF01118688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2524856$19E8160F-7EBF-49A1-96C8-CCD0FF5F55E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2524856$812666B2-A828-494D-9272-8D6EAF547FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q2524856$6A8CB8AD-A519-4F0E-B3B7-92C3FC856632","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28e1358210af7cd36ae84f64c13c48a0ea34de51","datavalue":{"value":"https://eudml.org/doc/170764","type":"string"},"datatype":"url"},"type":"statement","id":"Q2524856$844B4239-A4E4-4ADA-BC2E-7C146B22B8D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6bef089f8eb43334ee59f5c11964a604194d91d3","datavalue":{"value":"Sei \\(M\\) der \u00fcber dem K\u00f6rper \\(\\mathbb Q\\) der rationalen Zahlen maximal aufl\u00f6sbare K\u00f6rper, d. h. der gr\u00f6\u00dfte Normaloberk\u00f6rper von \\(\\mathbb Q\\) mit aufl\u00f6sbarer Galoisgruppe. Dann bezeichnet der Verf. diejenigen Unterk\u00f6rper von \\(M\\) als ,,Zerlegungsk\u00f6rper unter \\(M\\)'', die eine in \\(M\\) unzerlegte diskrete Bewertung mit endlichem Restklassenk\u00f6rper besitzen. In der vorliegenden Note betrachtet der Verf. anstelle der \\(p\\)-adischen Zahlk\u00f6rper diese Zerlegungsk\u00f6rper unter \\(M\\), und zeigt, da\u00df \u00fcber den Zerlegungsk\u00f6rpern unter \\(M\\) in \u00e4hnlicher Weise eine Klassenk\u00f6rpertheorie gilt wie \u00fcber den \\(p\\)-adischen Zahlk\u00f6rpern. N\u00e4mlich, sei \\(K_0\\) ein fest zugrunde gelegter Zerlegungsk\u00f6rper unter \\(M\\), \\(\\hat K_0\\) die Vervollst\u00e4ndigung von \\(K_0\\), hinsichtlich der ausgezeichneten Bewertung von \\(K_0\\). Jedem endlichen Oberk\u00f6rper \\(K\\subseteq M\\) von \\(K_0\\) ordnen wir durch Vervollst\u00e4ndigung den K\u00f6rper \\(\\hat K = K\\cdot \\hat K_0\\) zu. F\u00fcr jede endliche normale Erweiterung \\(L/K\\) von in \\(M\\) enthaltenen endlichen Oberk\u00f6rpern \\(L\\), \\(K\\) von \\(K_0\\) erhalten wir den bijektiven Invariantenhomomorphismus   \\[  H^2(G,L^*) \\overset{i}\\rightarrow H^2(G,L^*)\\overset{\\text{inv}}\\rightarrow \\frac{1}{[L:K]}\\mathbb Z/\\mathbb Z. \\]  Dann. zeigt der Verf. den   Satz 1: Ist \\(\\hat G = G(M/K_0)\\) die Galoisgruppe von \\(M/K_0\\), so ist die Formation \\((\\hat G, M^*, \\text{inv})\\) eine Klassenformation.   Satz 2: Ist \\((\\;, L/K)\\) bzw. \\((\\;, \\hat L/\\hat K)\\) das Normenrestsymbol der Erweiterung \\(L/K\\) \\((K_0\\subseteq K\\subseteq L\\subseteq M)\\) bzw. der zugeh\u00f6rigen Erweiterung \\(\\hat L/\\hat K\\) \u00fcber \\(\\hat K_0\\), so ist \\((a,L/K) = (a,\\hat L/\\hat K)\\) f\u00fcr \\(a\\in L^*\\).   Satz 3: Es ist \\(N_{L/K}L^*=K^*\\cap N_{\\hat L/\\hat K}\\hat L^*\\), und \\(N_{\\hat L/\\hat K}\\) ist die Abschlie\u00dfung von \\(N_{L/K}L^*\\) in \\(\\hat K^*\\).   Satz 4 (Existenzsatz): Die Normengruppen des K\u00f6rpers \\(K\\) sind gerade die in \\(K^*\\) (hinsichtlich der ausgezeichneten Bewertung) abgeschlossenen Untergruppen von endlichem Index.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2524856$3121DCA3-8E11-4C4A-A671-01DC05A2303E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2524856$4E473EC2-2826-479F-B908-637583EAC270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6afd4b84dbff36b20d89e65fe8337cf749e3216","datavalue":{"value":"3239663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2524856$914C5CF8-ED10-446B-B45D-B159E1FBFCFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b0a89954d7250f351d15589ad4592647c7102e","datavalue":{"value":"class formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2524856$EC1AA86C-0B7A-4DF5-A469-F2BD487729A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d138952f4463b5466b28562562ad55df293e7b35","datavalue":{"value":"infinite algebraic number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2524856$19FCF33E-C619-4CB3-96EB-601BBE00EC86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb6abc94078cf423749e30a7bb359d7815558572","datavalue":{"value":{"entity-type":"item","numeric-id":616577,"id":"Q616577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2524856$EB3A424B-0519-4C31-A690-96DE5713DD65","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca845bb23816fe37341acbad69ec00c8c0ffb468","datavalue":{"value":{"entity-type":"item","numeric-id":588189,"id":"Q588189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2524856$E1D1AB60-8CCF-46DF-A6C4-A77FB4FBF140","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":"Q2524856$CDEC2F32-6655-4A29-A13A-E10D8FF5BD2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f56fa1185fc561f3a83da92bd92fd393e7059b02","datavalue":{"value":"W2105068743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2524856$9F3DECE7-6A16-46E1-90F1-CFCFD5513FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber eine Klassenformation im Bereich der unendlichen algebraischen Zahlk\u00f6rper","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_eine_Klassenformation_im_Bereich_der_unendlichen_algebraischen_Zahlk%C3%B6rper"}}}}}