In the mathematical sub-area of algebra, adjunction is the addition of further elements to a body or ring . In the case of bodies, one speaks specifically of the body adjunction and in the case of rings accordingly of the ring adjunction .
Adjunction of algebraic elements to form a body
according to the ideal generated by a body.
The polynomial has a zero, namely the image of . Therefore it is said, comes from by adjunction of a zero from and writes .
Often it is only implicit in the notation, for example the polynomial is meant. Normalizing the leading coefficient of on , so is the irreducible uniquely determined by the condition. In this case there is an explicit representation of the body:
If the degree of is equal , then the elements of can be clearly identified in the form
- with for i = 0.1 ..., n-1
The degree of body expansion is the same .
Adjunction of transcendent elements into one body
If you want to add an element to a body that is not supposed to be algebraic, one speaks of the adjunction of an indefinite or a transcendent element . The resulting body is defined as the quotient body of the polynomial ring . Its elements are formal rational functions
If instead of a body there is a commutative, unitary ring , then one speaks of expansion through adjunction. The extensions are of the form with an indeterminate and a polynomial . The behavior of such an extension depends crucially on whether the guide coefficient of is a unit of the ring or not, see whole element .
The transition from a ring to a polynomial ring is called the adjunction of an indeterminate.
- , the ring of rational numbers whose denominator is a power of two.
- , the ring of elements of that form
- to have.
- ; Ring homomorphisms from this ring into a ring correspond to the -th roots of unity in .