﻿

In abstract algebra, adjunction is a construction in field theory, where for a given field extension "E"/"F", subextensions between "E" and "F" are constructed.

Definition

Let "E" be a field extension of a field "F". Given a set of elements "A" in the larger field "E" we denote by "F"("A") the smallest subextension which contains the elements of "A". We say "F"("A") is constructed by adjunction of the elements "A" to "F" or generated by "A".

If "A" is finite we say "F"("A") is finitely generated and if "A" consists of a single element we say "F"("A") is a simple extension. For finite extensions :$A=\left\{a_0,ldots,a_n\right\}$ we often write :$F\left(a_0,ldots,a_n\right)$ instead of :$F\left(\left\{a_0,ldots,a_n\right\}\right)$.

Notes

"F"("A") consists of all those elements of "F" that can be constructed using a finite number of field operations +, -, *, / applied to elements from "F" and "A". For this reason "F"("A") is sometimes called field of rational expressions in "F" and "A".

Examples

* Given a field extension "E"/"F" then "F"(Ø) = "F" and "F"("E") = "E".
* The complex numbers are constructed by adjunction of the imaginary unit to the real numbers, that is C=R(i).

Properties

Given a field extension "E"/"F" and a subset "A" of "E". Let $mathcal\left\{T\right\}$ be the family of all finite subsets of "A" then:.In other words the adjunction of any set can be reduced to a union of adjunctions of finite sets.

Given a field extension "E"/"F" and two subset "N","M" of "E" then "K"("M" ∪ "N") = "K"("M")("N") = "K"("N")("M"). This shows that any adjunction of a finite set can be reduced to a successive adjunction of single elements.

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …   Wikipedia

• Kummer theory — In mathematics, Kummer theory provides a description of certain types of field extensions involving the adjunction of n th roots of elements of the base field.The theory was originally developed by Ernst Kummer around the 1840s in his pioneering… …   Wikipedia

• Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… …   Wikipedia

• List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

• List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

• List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

• List of mathematics articles (Q) — NOTOC Q Q analog Q analysis Q derivative Q difference polynomial Q exponential Q factor Q Pochhammer symbol Q Q plot Q statistic Q systems Q test Q theta function Q Vandermonde identity Q.E.D. QED project QR algorithm QR decomposition Quadratic… …   Wikipedia

• Simple extension — In mathematics, more specifically in field theory, a simple extension is a field extension which is generated by the adjunction of a single element. Simple extensions are well understood and can be completely classified.The primitive element… …   Wikipedia

• Primitive element theorem — In mathematics, more specifically in field theory, the primitive element theorem provides a characterization of the finite field extensions which are simple and thus can be generated by the adjunction of a single primitive element. Primitive… …   Wikipedia

• Group ring — This page discusses the algebraic group ring of a discrete group; for the case of a topological group see group algebra, and for a general group see Group Hopf algebra. In algebra, a group ring is a free module and at the same time a ring,… …   Wikipedia