Cuerpo (matemticas)

Cuerpo (matemticas)
En lgebra abstracta, un cuerpo o campo es una estructura algebraica en la cual las operaciones llamadas adicin y multiplicacin se pueden realizar y cumplen las propiedades: asociativa, conmutativa y distributiva de la multiplicacin respecto de la adicin [1], adems de la existencia de inverso aditivo, de inverso multiplicativo y de un elemento neutro para la adicin y otro para la multiplicacin, los cuales permiten efectuar las operaciones de sustraccin y divisin (excepto la divisin por cero); estas propiedades ya son familiares de la aritmtica de nmeros ordinarios. Los cuerpos son estructuras algebraicas importantes de estudio en diversas ramas de la matemtica: lgebra, anlisis matemtico, teora de los nmeros, puesto que proporcionan la generalizacin apropiada de dominios de nmeros tales como los conjuntos de nmeros racionales, de los nmeros reales, o de los nmeros complejos. Los cuerpos eran llamados dominios racionales. El concepto de un cuerpo se usa, por ejemplo, al definir el concepto de espacio vectorial y las transformaciones en estos objetos, dadas por matrices, dos objetos en el lgebra lineal cuyos componentes pueden ser elementos de un cuerpo arbitrario. La teora de Galois estudia las relaciones de simetra en las ecuaciones algebraicas, desde la observacin del comportamiento de sus races y las extensiones de cuerpos correspondientes y su relacin con los automorfismos de cuerpos correspondientes.

Definicin
Un cuerpo es un anillo de divisin conmutativo, es decir, un anillo conmutativo y unitario en el que todo elemento distinto de cero es invertible respecto del producto. Por tanto un cuerpo es un conjunto K en el que se han definido dos operaciones, + y , llamadas adicin y multiplicacin respectivamente, que cumplen las siguientes propiedades: K es cerrado para la adicin y la multiplicacin Para todo a, b en K, a + b y a b pertenecen a K (o ms formalmente, + y son operaciones matemticas en K); Asociatividad de la adicin y la multiplicacin Para toda a, b, c en K, a + (b + c) = (a + b) + c y a (b c) = (a b) c. Conmutatividad de la adicin y la multiplicacin Para toda a, b en K, a + b = b + a y a b = b a. Existencia de un elemento neutro para la adicin y la multiplicacin Existe un elemento 0 en K, tal que para todo a en K, a + 0 = a. Existe un elemento 1 en K, diferente de 0, tal que para todo a en K, a 1 = a. Existencia de elemento opuesto y de inversos: Para cada a en K, existe un elemento -a en K, tal que a + (- a) = 0. Para cada a 0 en K, existe un elemento a -1 en K, tal que a a-1 = 1. Distributividad de la multiplicacin respecto de la adicin Para toda a, b, c, en K, a (b + c) = (a b) + (a c). El requisito a 0 asegura que el conjunto que contiene solamente un cero no sea un cuerpo, y de paso elimina la posibilidad de que en el cuerpo existan divisores de cero distintos de 0, lo que lo convierte tambin en un dominio de integridad. Directamente de los axiomas, se puede demostrar que (K, +) y (K - { 0 }, ) son grupos conmutativos y que por lo tanto (vase la teora de grupos) el opuesto -a y el inverso a-1 son determinados nicamente por a. Adems, el inverso de un producto es igual al producto de los inversos: (ab)-1 = a-1 b-1

Cuerpo (matemticas) con tal que a y b sean diferentes de cero. Otras reglas tiles incluyen -a = (-1) a y ms generalmente - (a b) = (-a) b = a (-b) as como a 0 = 0, todas reglas familiares de la aritmtica elemental.

Definiciones alternativas
Sintticamente, Un anillo P se llama cuerpo, si consta no slo del cero y en l es posible la divisin en todos los casos( salvo la divisin por cero), determinndose esta unvocamente, esto es, si para cualesquiera elementos m y n de P, de los cuales n es diferente de cero, existe en P un elemento q, y slo uno, que cumple la igualdad nq = m. El elemento q se denomina cociente de los elementos m y n y se denota q = m/n [2]. Un cuerpo F es un dominio de integridad que contiene para cada elemento a 0 un inverso a-1 que verifica la igualdad: a-1a = 1. [3]

Ejemplos de cuerpos
Racionales y algebraicos
Los nmeros racionales donde est incluido el conjunto de los nmeros enteros,

forman un cuerpo. Los nmeros complejos contienen el cuerpo de nmeros algebraicos, la clausura algebraica de Q.

Nmeros reales, complejos y p-dicos

Los nmeros reales con las operaciones usuales forman un cuerpo. Los nmeros hiperreales forman un cuerpo que contiene los reales, ms los nmeros infinitesimales e infinitos. Los nmeros surreales forman un cuerpo que contiene los reales, a excepcin del hecho de que son una clase propia, no un conjunto. El conjunto de todos los nmeros surreales con el cumpleaos menor que un cierto cardinal inaccesible es un cuerpo. Los nmeros reales contienen varios subcuerpos interesantes: los nmeros reales algebraicos, los nmeros computables, y los nmeros definibles. Los nmeros complejos a + bi donde i es la unidad imaginaria, i.e., un nmero (no real) que satisface i2 = 1. Adicin y multiplicacin de los nmeros reales son definidos de tal manera para que todos los axiomas del cuerpo se cumplen para C. Por ejemplo, la ley distributiva cumple (a + bi)(c + di) = ac + bci + adi + bdi2, que es igual a acbd + (bc + ad)i. Los nmeros racionales se pueden ampliar a los cuerpos de nmeros p-dicos para cada nmero primo p. consisten en expresiones del tipo

Cuerpo (matemticas)

Cuerpos finitos
El cuerpo ms pequeo tiene solamente dos elementos: 0 y 1. Es denotado por por las dos tablas o y puede a veces ser definido

Tiene aplicaciones importantes en informtica, especialmente en lgebra de Boole, criptografa y teora de la codificacin. Ms generalmente, para un nmero primo los realizando la operacin en , el conjunto de los nmeros enteros mdulo y tomando el resto, ver aritmtica modular. es un cuerpo finito con elementos: esto se escribe a menudo como , dividiendo por donde las operaciones son definidas

Cuerpos de funciones
Para un cuerpo dado K, el conjunto K(X) de funciones racionales en la variable X con coeficientes en K es un cuerpo; esto se define como el conjunto de cocientes de polinomios con coeficientes en K. Si K es cuerpo, y p(X) es un polinomio irreducible en un anillo de polinomios F[X], entonces el cociente F[X]/<p(X)> es un cuerpo con un subcuerpo isomorfo a K. Por ejemplo, R[X]/(X2+1) es un cuerpo (de hecho, es isomorfo al cuerpo de los nmeros complejos). Cuando K es un cuerpo, el conjunto K[[X]] de series formales de Laurent sobre K es un cuerpo. Si V es una variedad algebraica sobre K, entonces las funciones racionales V K forman un cuerpo, el cuerpo de funciones V. Si S es una superficie de Riemann, entonces las funciones meromorfas de S C forman un cuerpo.

Ultrafiltros
Si I es un conjunto de ndices, U es un ultrafiltro sobre I, y Ki es un cuerpo para cada i en I, el ultraproducto de Ki (usando U) es un cuerpo.

Subcuerpos
Sean E y K dos cuerpos con E un subcuerpo de K (es decir, un subconjunto de K que contiene 0 y 1, cerrado bajo las operaciones + y * de K y con sus propias operaciones definidas por restriccin). Sea x un elemento de K no en E. Entonces E(x) se define como el subcuerpo ms pequeo de K que contiene a E y a x. Por ejemplo, Q(i) es el subcuerpo de los nmeros complejos C que consisten en todos los nmeros de la forma a+bi donde a y b son nmeros racionales.

Algunos teoremas iniciales

El conjunto de elementos diferentes de cero de un cuerpo K (denotado tpicamente por K) es un grupo abeliano bajo multiplicacin. Cada subgrupo finito de K es cclico. La caracterstica de cualquier cuerpo es cero o un nmero primo. (la caracterstica se define como el nmero entero positivo ms pequeo n tal que n1 = 0, o cero si no existe tal n; aqu n1 significa n sumandos 1 + 1 + 1 +... + 1.) Si con es una potencia de un nmero primo, entonces existe (salvo isomorfismo) exactamente un cuerpo finito elementos. Adems, estos son los nicos cuerpos finitos posibles.

Como anillo, un cuerpo no tiene ningn ideal excepto {0} y s mismo. Todo anillo de divisin finito es un cuerpo (teorema de Wedderburn).

Cuerpo (matemticas) Para cada cuerpo K, existe (salvo isomorfismo) un cuerpo nico G que contiene a K, es algebraico sobre K, y es algebraicamente cerrado. G se llama la clausura algebraica de K.

Construcciones de cuerpos
Subcuerpos e ideales
Si un subconjunto E de un cuerpo (K,+,) junto con las operaciones , + restringido a E es en s mismo un cuerpo, entonces se llama un subcuerpo de K. Tal subcuerpo tiene los mismos 0 y 1 que K. Sea cumple que un cuerpo, y . Se dice que es subcuerpo de y y o que es extensin de . En particular, si se ser

es un cuerpo cuando las operaciones . Se tiene entonces que

se restringen a

entonces un subanillo de

son subgrupos respectivos de

los grupos abelianos y . Como todo cuerpo es un anillo, podramos preguntarnos por la forma que tengan sus ideales. Para empezar, como todo cuerpo es anillo conmutativo, todo ideal por la izquierda es ideal (biltero) y todo ideal por la derecha es tambin ideal (biltero). As pues slo hemos de estudiar los ideales del cuerpo. Si es ideal del cuerpo [esto es, , entonces todo elemento no nulo ], y se tendr que ha de tener inverso, , es decir, , luego es

una unidad de

. De esta manera,

los nicos ideales de un cuerpo son el propio cuerpo y el ideal nulo.

Cuerpo de fracciones
Dado un cuerpo K, el cuerpo polinmico K(X) es el cuerpo de fracciones de polinomios en X con coeficientes en K, es decir, sus elementos son funciones racionales con coeficientes en K.

Extensin de cuerpos
Una extensin algebraica de un cuerpo K es el cuerpo ms pequeo que contiene a K y una raz de un polinomio irreducible p(X) en K [X]. Alternativamente, es idntico al anillo factor K [X]/(p(X)), donde (p(X)) es el ideal generado por p(X).

Cuerpo ordenado
Un cuerpo ordenado es un cuerpo en el que se puede definir una relacin de orden que sea complatible con las operaciones de cuerpo, es decir: , para cualesquiera x, y y z. , para cualesquiera x y z. , para cualquier x Los racionales y los reales son cuerpos ordenados, en cambio en los complejos no es posible definir un orden compatible con las operaciones de grupo (si i > 0 se sigue que -1 > 0, si i < 0 se sigue que (-i)(-i) = -1 > 0).

Cuerpo (matemticas)

Referencias
[1] "teora de los nmeros" (1985) Niven y Zuckerman; ISBN968-18-0669-7 pg. 69 [2] "Curso de lgebra Superior" (1981) A.G. Kurosch, traducido por Emiliano Aparicio Bernardo Editorial Mir, Mosc, pg. 282 [3] "lgebra moderna" ( 1960) Birkhoff y Mac Lane; Traduccin de Rafael Rodrguez Vidal; Editorial Teide, Barcelona, pg. 42

Enlaces externos
Weisstein, Eric W. Field (http://mathworld.wolfram.com/Field.html) (en ingls). MathWorld. Wolfram Research. Hazewinkel, Michiel, ed. (2001), Field (http://www.encyclopediaofmath.org/index.php?title=p/f040090) (en ingls), Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104 Field (http://planetmath.org/?op=getobj&amp;from=objects&amp;id=355) en PlanetMath

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Cuerpo (matemticas) Fuente: http://es.wikipedia.org/w/index.php?oldid=70783811 Contribuyentes: Acratta, Akhram, Alfredojcano, Codazzi, Davidsevilla, Davius, DefLog, Dodo, Echani, Elferdo, Elwikipedista, Farisori, Fibonacci, Gafotas, Gullo, HAMM, Ingenioso Hidalgo, JA Galn Baho, JBlanco, Jarke, Jmabel (US), Juan Mayordomo, Julian Mendez, LadyInGrey, Leireroxio, Leonpolanco, MarceloPinoQuivira, Marianov, Moriel, Orly01, PIERRE26, Palica, Petronas, Pino, Raulshc, Sanbec, Tano4595, UA31, Vivero, Wewe, Wing, Zagothal, 47 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/