Elemento trascendente

Elemento trascendente

Elemento trascendente

La Teoría de Cuerpos es una rama de la Teoría de Anillos, que a su vez es una rama del Álgebra Abstracta. Uno de las principales campos de estudio de la Teoría de Cuerpos es el de decidir si un polinomio cuyos coeficientes están en el cuerpo tiene sus raíces en el cuerpo (es decir, si al resolver la ecuación polinómica, las soluciones pertenecen o no al cuerpo).

Cuando un cuerpo está incluido en otro cuerpo puede ocurrir que los elementos del grande sean raíces de polinomios con coeficientes en el chico -en cuyo caso se dice que los elementos son algebraicos- o que haya elementos que no son raíces de ninguno de esos polinomios. En este último caso se dice que dichos elementos son trascendentes.

Construcción

(La siguiente información es de carácter técnico, y puede resultar ardua e incomprensible para el no iniciado en el Álgebra Abstracta, pero es esencial para comprender el desarrollo de esta rama de la Matemática. Por desgracia no puede exponerse de una manera más llana sin perder rigor, lo que haría que dejara de ser útil.)

Sean dos cuerpos (K,+,\cdot) y (L,+,\cdot) de forma que L es extensión de K. Sea \alpha \in L. Si \alpha \in K, entonces α es raíz del polinomio p(x) = x − α, que es irreducible en K[x] (todo polinomio de grado 1 es irreducible en cualquier anillo de polinomios). Si \alpha \in L \setminus K, entonces realizamos la siguiente construcción:

  • Construimos el conjunto K(\alpha):= \{\frac{f(\alpha)}{g(\alpha)}: f,g \in K[x]\}. Este conjunto es un cuerpo, es extensión de K, es subcuerpo de L, y de hecho es la menor extensión de K que contiene a α. Se le denomina extensión generada por α sobre K.
  • Construimos la aplicación \beta: K[x] \longrightarrow K(\alpha) que a cada polinomio p(x) \in K[x] le hace corresponder su evaluación en α, i.e., β(p) = p(α). Esta aplicación es de hecho un isomorfismo de anillos conmutativos y unitarios, y se denomina aplicación evaluación.

Ahora sólo pueden darse dos situaciones:

  • Ker(β) = {0}, luego β es un monomorfismo. En ese caso, como K \subset K[x], es β(a) = a para cada a \in K.
Por otra parte, β(x) = α. Sabemos, por la propiedad universal del cuerpo de cocientes de un dominio íntegro, que como β es monomorfismo, existe un monomorfismo \hat{\beta}: K(x) \longrightarrow K(\alpha) de manera que \beta = \hat{\beta} \circ i, donde K(x) es el cuerpo de cocientes de K[x] e i: K[x] \hookrightarrow K(x) es el monomorfismo inclusión canónica (i.e., i(p) = p cualquiera que sea el p \in K[x]). Si a \in K, entonces \hat{\beta}(a)= \hat{\beta}(i(a))= (\hat{\beta} \circ i)(a) = \beta(a), y \hat{\beta}(x) = \hat{\beta}(i(x))= (\hat{\beta} \circ i)(x) = \beta(x) = \alpha. Así pues, K \subset Img \hat{\beta} y \alpha \in Img \hat{\beta}.
Por ser \hat{\beta} homomorfismo entre cuerpos, es monomorfismo, luego Ker(\hat{\beta})=\{0\}. Por el Primer Teorema de Isomorfía, K(x) = \frac{K(x)}{\{0\}}= \frac{K(x)}{Ker(\hat{\beta})} \cong Img \hat{\beta}.
Así pues, Img \hat{\beta} es un subcuerpo de K(α), que contiene a K y a α. Como K(α) es la mínima extensión de K que contien a α e Img \hat{\beta} \subset K(\alpha), se concluye que Img \hat{\beta} = K(\alpha), con lo que \hat{\beta} es sobreyectiva, y como era monomorfismo, es isomorfismo.
Así, K(x) es isomorfo a K(α).

En el primer caso (Ker(β) = {0}, o equivalentemente, K(x) \cong K(\alpha)) se dirá que el elemento α es trascendente sobre K y que K(α) es una extensión trascendente sobre K. En ese caso no existirá ningún polinomio con coeficientes en K que tenga por raíz a α (es decir, si p \in K[x], entonces p(\alpha) \neq 0).

Véase también

Elemento algebraico
Número trascendente
Número algebraico
Extensión transcendente
Extensión algebraica
Obtenido de "Elemento trascendente"

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Elemento trascendente — La Teoría de Cuerpos es una rama de la Teoría de Anillos, que a su vez es una rama del Álgebra Abstracta. Uno de las principales campos de estudio de la Teoría de Cuerpos es el de decidir si un polinomio cuyos coeficientes están en el cuerpo… …   Enciclopedia Universal

  • Elemento algebraico — Saltar a navegación, búsqueda Un elemento algebraico sobre un cierto cuerpo matemático es un elmento de un conjunto que contiene a dicho cuerpo matemático y que constructible a partir de ciertas operaciones algebraicas relacionadas con los… …   Wikipedia Español

  • Elemento primitivo — Saltar a navegación, búsqueda En matemática, un elemento primitivo de una extensión de cuerpos L/K es un elemento ζ de L tal que L = K(ζ), o en otras palabras, L está generado por ζ sobre K. Esto significa que todo elemento de L puede ser escrito …   Wikipedia Español

  • trascendente — ► adjetivo 1 Que es muy importante por sí mismo o por sus consecuencias: ■ la reunión de hoy es decisiva y trascendente. TAMBIÉN transcendente 2 Que tiene consecuencias que van más allá de los hechos o circunstancias puntuales: ■ pensamiento… …   Enciclopedia Universal

  • Extensión de cuerpo — Saltar a navegación, búsqueda En Álgebra, las extensiones de cuerpo son el problema fundamental de la Teoría de Cuerpos. Un cuerpo es un conjunto en el que las operaciones suma y producto están definidas y funcionan bien . Cuando se construye una …   Wikipedia Español

  • Grado de una extensión — Saltar a navegación, búsqueda Contenido 1 Extensión de un cuerpo como espacio vectorial sobre el cuerpo. 2 Definición del grado de una extensión. 3 Teorema de tra …   Wikipedia Español

  • Grado de extensión de un cuerpo — Contenido 1 Extensión de un cuerpo como espacio vectorial sobre el cuerpo. 2 Definición del grado de una extensión. 3 Teorema de transitividad del grado …   Wikipedia Español

  • Endomorfismo de Frobenius — En álgebra conmutativa y teoría de cuerpos, que son ramas de las matemáticas, el endomorfismo de Frobenius es un endomorfismo de anillos de característica un número primo. En ciertos contextos es un automorfismo, pero este hecho no es cierto en… …   Wikipedia Español

  • Historia de la estética — El nacimiento de Venus, de Sandro Botticelli, ejemplo arquetípico de belleza clásica …   Wikipedia Español

  • Universal (metafísica) — Universal es la cualidad que hace referencia al Universo. Universum, Grabado Flammarion ,xilografía, publicada en París 1888. El Universo y lo universal se definen como conceptos respecto a diversos ámbitos …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”