{"entities":{"Q1565475":{"pageid":1576215,"ns":120,"title":"Item:Q1565475","lastrevid":43214624,"modified":"2025-07-22T11:04:14Z","type":"item","id":"Q1565475","labels":{"en":{"language":"en","value":"Abbildungseigenschaften algebraischer Erweiterungen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3000135"}},"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":"Q1565475$51B17A3E-4D30-432E-B0EF-32AEEA78AF79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"814c1fd0ce1c8931b35a21e02c523aa8ec02eea7","datavalue":{"value":{"text":"Abbildungseigenschaften algebraischer Erweiterungen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1565475$71E99602-3B0A-4ABB-A275-7536F3CD006C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7018debee777b50bc486b2d743d411b2201794c","datavalue":{"value":"0001.05201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565475$53EB1307-C7FB-469B-A4AC-994A5D8E8F62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04fd41569b07a902e60e747a97a22e32ed8d1ff6","datavalue":{"value":"10.1007/BF01174364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565475$C1AF574E-665D-48C1-97DD-583CC1A862E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc070ac4596ea95b88b82bb94b8c29a2f6b5c74","datavalue":{"value":{"entity-type":"item","numeric-id":766676,"id":"Q766676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565475$8AD27F03-E805-4224-8FCF-6CF75323FAAE","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":"Q1565475$B2F4FBD1-05F0-4CA7-B5BE-BAC66450879D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q1565475$4919E820-2B46-46B1-B4C7-993EBC2ADAA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e47455b966626aa7c2aa5f3c24c62371d96eeab","datavalue":{"value":"https://eudml.org/doc/168281","type":"string"},"datatype":"url"},"type":"statement","id":"Q1565475$A63D5389-C389-405C-A152-AC760212FD79","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"487c51b676d50e3d04aa4024c7c1239daff43fbc","datavalue":{"value":"Ist \\(A\\) eine algebraische Erweiterung des K\u00f6rpers \\(K\\), so beweist man bekanntlich den Hauptsatz der Galoisschen Theorie -- d. h. die eineindeutige Zuordnung der Untergruppen der Gruppe der Automorphismen von \\(\\mathfrak A\\), die \\(\\mathfrak K\\) elementweise fest lassen, zu den Zwischenk\u00f6rpern zwischen \\(A\\) und \\(K\\) -- immer unter der Voraussetzung, da\u00df \\(A\\) \u00fcber \\(K\\) normal, von 1. Art und endlich ist. (Bez\u00fcglich der Begriffe vgl. \\textit{E. Steinitz} [Algebraische Theorie der K\u00f6rper. Berlin: W. de Gruyter (1930; JFM 56.0137.02)].) Erstes Ziel dieser Arbeit ist die Untersuchung der Frage, ob diese Bedingungen f\u00fcr die G\u00fcltigkeit der Galoisschen Theorie notwendig sired.   Hauptresultat: Notwendig und hinreichend f\u00fcr die Eindeutigkeit der Zuordnung der Zwischen\\-k\u00f6rper zwischen \\(\\mathfrak A\\) und \\(\\mathfrak K\\) zu den Untergruppen der Automorphismengruppe von \\(\\mathfrak A/\\mathfrak K\\) ist, da\u00df \\(\\mathfrak A/\\mathfrak K\\) normal und von 1. Art sei. Notwendig und hinreichend f\u00fcr die Eindeutigkeit der Zuordnung der Untergruppen zu den Zwischenk\u00f6rpern ist die Endlichkeit der Gruppe von \\(\\mathfrak A/\\mathfrak K\\).   Beim Aufbau der Galoisschen Theorie wird von 2 Schl\u00fcssen immer Gebrauch gemacht:   1. Jeder Isomorphismus eines Zwischenk\u00f6rpers kann zu einem Automorphismus von \\(\\mathfrak A\\) erweitert werden.   2. Jede nichtlineare irreduzible Gleichung in \\(\\mathfrak K\\) hat in \\(\\mathfrak A\\) keine oder mindestens 2 verschiedene L\u00f6sungen.   Die Forderungen 1. und 2. lassen sich als \u00e4quivalent damit nachweisen, da\u00df \\(\\mathfrak A/\\mathfrak K\\) normal, von 1. Art ist.   Zweites Ziel der Arbeit ist nun zu untersuchen, was an Stelle der Galoisschen Theorie gilt, wenn \\(\\mathfrak A/\\mathfrak K\\) nur der Bedingung 1 gen\u00fcgt. Die Klasse dieser K\u00f6rper, der Verf. nennt sie ,,\u00fcber \\(K\\) bewegliche K\u00f6rper'', umfa\u00dft die Klasse der \u00fcber \\(K\\) normalen K\u00f6rper als Spezialfall. Haupthilfsmittel der Untersuchung ist der ,,starre K\u00f6rper'' \\(\\mathfrak S\\) zwischen \\(\\mathfrak A\\) und \\(\\mathfrak K\\), d. i. der gr\u00f6\u00dfte Zwischenk\u00f6rper, der bei allen Automorphismen von \\(\\mathfrak A/\\mathfrak K\\) elementweise fest bleibt, zugleich der kleinste Zwischenk\u00f6rper, \u00fcber dem \\(\\mathfrak A\\) normal und von 1. Art ist. Der Verf. zeigt von ihm noch eine Reihe weiterer Eigenschaften.   Die beweglichen K\u00f6rper \u00fcber \\(\\mathfrak K\\), deren Eigenschaften den bekannten Eigenschaften der normalen K\u00f6rper \u00fcber \\(\\mathfrak K\\) sehr \u00e4hnlich sind, lassen sich auf 2 Arten kennzeichnen durch Eigenschaften der irreduziblen Gleichungen in \\(\\mathfrak K\\), die in ihnen eine Wurzel haben. Unter den S\u00e4tzen \u00fcber bewegliche Erweiterungen seien hervorgehoben:   \\(\\alpha)\\) Ist \\(\\mathfrak A\\) beweglich \u00fcber \\(K\\), dann ist \\(A\\) beweglich \u00fcber jedem Zwischenk\u00f6rper \\(B\\).   \\(\\beta)\\) Dann and nur dann geht der Zwischenk\u00f6rper \\(B\\) bei allen Automorphismen des beweglichen K\u00f6rpers \\(\\mathfrak A/\\mathfrak K\\) in sich \u00fcber, wenn jedes irreduzible Polynom in \\(B\\) entweder keine oder alle in \\(\\mathfrak A\\) enthaltenen Wurzeln hat.   Die normalen K\u00f6rper lassen sich unter den beweglichen folgenderma\u00dfen kennzeichnen:    \\(\\gamma)\\) Dann und nur dann ist \\(\\mathfrak A/\\mathfrak K\\) normal, wenn der starre K\u00f6rper \\(\\mathfrak S\\) aus allen und nur den in \\(\\mathfrak A\\) enthaltenen Wurzelelementen von \\(\\mathfrak K\\) besteht (Charakteristik \\(p\\neq 0)\\).   Das bedeutet bei normalen Erweiterungen eine Umkehrung des bei allen algebraischen Erweiterungen \\(\\mathfrak A\\) \u00fcblichen Aufbaus: Es gibt einen maximalen Zwischenk\u00f6rper \\(\\mathfrak E\\), der \u00fcber \\(\\mathfrak K\\) von 1. Art ist, \u00fcber dem \\(\\mathfrak A\\) Wurzelk\u00f6rper ist (vgl. Steinitz, loc. cit.).  Es wird eine Reihe von Kennzeichnungen der K\u00f6rper gegeben, bei denen diese Umkehrung im Aufbau m\u00f6glich ist. Ferner gilt:   Dann und nur dann ist \\(\\mathfrak A\\) normal \u00fcber \\(\\mathfrak K\\), wenn \\(\\mathfrak E\\) \u00fcber \\(\\mathfrak K\\) normal ist (Definition vgl. oben) und jeder Automorphismus von \\(\\mathfrak E/\\mathfrak K\\) sich zu einem Automorphismus von \\(\\mathfrak A/\\mathfrak K\\) erweitern l\u00e4\u00dft.    Schlie\u00dflich wird in Anhang 2 ein Beispiel einer nicht beweglichen Erweiterung 1. Art gegeben.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565475$88FD3145-D87B-492F-85C9-3E0419BE97EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565475$5643CBDB-5F83-466F-82B2-EEAB98A9D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2caeb08173bdc16534b506f6d1fea5a2e89840a8","datavalue":{"value":"12F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565475$2DF10FC5-D0A8-4EE5-9E22-4381FD87DAA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60e7bfa983f9dad74be202902ed9bd2e0672aad8","datavalue":{"value":"3000135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565475$848112E3-5C67-4FF9-81AA-C28AA4509C45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a87f73f34de30a3a34ad4e89942c8dc2ff4d1b","datavalue":{"value":"map properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565475$C15C7DFE-17E4-45B3-8AC7-E97A1721C95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089127cc9443cebf9f1e3446ca21b67d50c7580","datavalue":{"value":"algebraic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565475$A2D4FD32-05A1-4B80-B838-6C8CD2AD8B22","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":"Q1565475$0114AEC2-3079-4D6C-992A-0D1DD4FD48C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fd4fcb5ba48afda8e2cc1d05e89b60833bd6a19","datavalue":{"value":"W1997625027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565475$2F161F29-D5D2-4CD7-AE30-47CBD9D22663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1565475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1565475"}}}}}