Adjunktion (Algebra)

Unter Adjunktion versteht man im mathematischen Teilgebiet der Algebra das Hinzufügen von weiteren Elementen zu einem Körper oder Ring.

Adjunktion algebraischer Elemente zu einem Körper

Es sei K ein Körper und $f\in K[X]$ ein irreduzibles Polynom. Dann ist der Faktorring

L = K[X] / (f)

nach dem von f erzeugten Ideal ein Körper.

Das Polynom f hat in L eine Nullstelle, nämlich das Bild ξ von X. Man sagt deshalb: L entsteht aus K durch Adjunktion einer Nullstelle ξ von f und schreibt K(ξ) = L.

Häufig ist f nur implizit in der Notation enthalten, z. B. ist bei $\mathbb Q(\sqrt 2)$ das Polynom f = X² − 2 gemeint. Normiert man den Leitkoeffizienten von f auf 1, so ist f durch die Bedingung der Irreduzibilität eindeutig bestimmt.

Ist der Grad von f gleich n, so lassen sich die Elemente von K(ξ) eindeutig in der Form

$a_{n-1}\xi^{n-1}+\ldots+a_1\xi+a_0$ mit $a_i\in K$ für i = 0,1…,n-1

schreiben.

Der Grad [K(ξ):K] der Körpererweiterung ist gleich n.

Adjunktion transzendenter Elemente zu einem Körper

Möchte man einen Körper K um ein Element erweitern, das nicht algebraisch sein soll, spricht man von der Adjunktion einer Unbestimmten oder eines transzendenten Elementes T. Der so entstehende Körper K(T) ist definiert als der Quotientenkörper des Polynomringes K[T]. Seine Elemente sind formale rationale Funktionen

$\frac{a_nT^n+\ldots+a_1T+a_0}{b_mT^m+\ldots+b_1T+b_0}.$

Adjunktion bei Ringen

Liegt an Stelle eines Körper allgemeiner ein kommutativer unitärer Ring R vor, so spricht man auch von Erweiterung durch Adjunktion. Die Erweiterungen sind von der Form R[X] / (f) mit einer Unbestimmten X und einem Polynom $f\in R[X]$. Dabei hängt das Verhalten einer derartigen Erweiterung entscheidend davon ab, ob der Leitkoeffizient von f eine Einheit des Ringes ist oder nicht, siehe Ganzheit.

Beim Übergang von einem Ring R zum Polynomring R[X] spricht man von der Adjunktion einer Unbestimmten.

Beispiele

• $\mathbb Z\!\left[\frac12\right]=\mathbb Z[X]/(2X-1)$, der Ring der rationalen Zahlen, deren Nenner eine Zweierpotenz ist.
• $\mathbb Z[\sqrt 2]=\mathbb Z[X]/(X^2-2)$, der Ring der Elemente von $\mathbb Q(\sqrt2)$, die die Form

$\{a+b\sqrt 2\mid a,b\in\mathbb Z\}$

haben.

• $\mathbb Z[X]/(X^n - 1)$; Ringhomomorphismen von diesem Ring in einen Ring R entsprechen den n-ten Einheitswurzeln in R.