Eigenschaft Normal (bei Körpern) |
06.02.2012, 00:36 | mathinitus | Auf diesen Beitrag antworten » | ||
Eigenschaft Normal (bei Körpern) |
||||
06.02.2012, 20:43 | mathinitus | Auf diesen Beitrag antworten » | ||
Also ich habe mir nun überlegt, dass so gewählt werden sollte, dass L/K' zumindest noch algebraisch ist. Aber setzen wir das einmal voraus. Ist die Sache dann normal? |
||||
06.02.2012, 20:47 | galoisseinbruder | Auf diesen Beitrag antworten » | ||
Gegenfrage: Wieso sollte es so einen Körper nicht geben? Nimm dir irgendeine nicht normale Erweiterung und betrachte dann als Gegenbeispiel.(oder irgendeinen Zerfällungskörper über L) |
||||
07.02.2012, 01:20 | mathinitus | Auf diesen Beitrag antworten » | ||
Ich verstehe nicht, wieso das ein Gegenbeispiel sein soll. Bleiben wir mal in meiner Notation. Was ist dann K, K' und L? |
||||
07.02.2012, 08:02 | galoisseinbruder | Auf diesen Beitrag antworten » | ||
O.k. Gegenbsp. ist in diesem Kontext das falsche Wort. Es kann solche K' geben, i.A. sogar sehr viele. Bei komplett unkonkretemLl ist es aber schwer irgendwelche Unterkörper zu bilden. Und falls ist der algebraische Abschluß. Meine Konstruktion soll etwas Ähnliches verdeutlichen: Man kann auf jede nicht-normale Erweiterung eine normale draufsetzen. |
||||
07.02.2012, 08:47 | mathinitus | Auf diesen Beitrag antworten » | ||
Das geht nicht immer, sondern genau dann, wenn die vorherige Erweiterung algebraisch war. Dass es dann der Fall ist, ist natürlich klar. Zur Not nehme man einfach den algebraischen Abschluss. Ich habe hier aber einen andere Frage gestellt. Ich habe das L bereits vorgegeben und weiß sogar schon, dass es ein K gibt, in dem das L eine normale Erweiterung darstellt. Die Frage ist nun, ob daraus automatisch folgt, dass die Erweiterung L/K für alle algebraischen Unterkörper K auch normal ist. Bewiesen haben wir diese Folgerung explizit nur für alle Zwischenkörper. Also in dem Fall ist die Sache auf jeden Fall wahr, aber man könnte sich ja auch andere Unterkörper K vorstellen. |
||||
Anzeige | ||||
|
||||
07.02.2012, 08:58 | galoisseinbruder | Auf diesen Beitrag antworten » | ||
Ich bin mir noch nicht ganz im Klaren was deine Frage ist. ist normal. Für ist auch normal, da die Polynome aus K'[X] auch Polynome in K[X] sind. |
||||
07.02.2012, 09:03 | mathinitus | Auf diesen Beitrag antworten » | ||
Okay, aber K und K' müssen ja nicht zwingend in einer Teilmengenrelation stehen. Edit: Aber sonst hat man ja: normal und damit auch , oder? |
||||
07.02.2012, 09:15 | galoisseinbruder | Auf diesen Beitrag antworten » | ||
Ja. |
||||
07.02.2012, 14:09 | mathinitus | Auf diesen Beitrag antworten » | ||
Das heißt ja doch dann aber, die Eigenschaft "normal" zu sein, ist keine Eigenschaft, die man einer Körpererweiterung zuordnen sollte, sondern vielmehr eine Eigenschaft, die man einem Körper zuzuordnen hätte. |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
Die Neuesten » |
|