Körperkompositum

In der Mathematik ist das Kompositum zweier Körper ihr kleinster gemeinsamer Oberkörper.

Für die in diesem Artikel verwendeten Begriffe (wie „Körperadjunktion“, „Zwischenkörper“ und „Erweiterungsgrad“), siehe Körpererweiterung.

Sind und Unterkörper des Körpers , dann definiert man das Körperkompositum als

Dabei bezeichnet A(B) die Körperadjunktion der Menge an den Körper , sie besteht aus allen Brüchen von -Linearkombinationen von Elementen aus . Die Adjunktion ist in diesem Fall symmetrisch, d. h. .

Sind und Zwischenkörper einer Körpererweiterung , und sind beide endliche Erweiterungen von , dann ist der Erweiterungsgrad des Kompositums höchstens gleich dem Produkt der beiden einzelnen Erweiterungsgrade und mindestens so groß wie ihr kleinstes gemeinsames Vielfaches (kgV):

Sind und linear disjunkt, dann ist Dies ist z. B. der Fall, wenn die Erweiterungsgrade von und teilerfremd sind.

Man kann auch das Kompositum beliebig vieler Teilkörper eines gemeinsamen Oberkörpers betrachten, so ist z. B. der Körper der algebraischen Zahlen ein Oberkörper jeder endlichen Erweiterung von , und ist gleich dem Kompositum aller endlicher Erweiterungen.