Cuerpo (matemticas)

En lgebra abstracta, un cuerpo (a veces llamado campo Para toda a, b en K, a + b = b + a y a b = b

como traduccin de ingls eld) es una estructura alge- a.
braica en la cual las operaciones llamadas adicin y mul-
tiplicacin se pueden realizar y cumplen las propiedades: Existencia de un elemento neutro para la adicin y la
asociativa, conmutativa y distributiva de la multiplicacin multiplicacin
respecto de la adicin,[1] adems de la existencia de in-
verso aditivo, de inverso multiplicativo y de un elemento Existe un elemento 0 en K, tal que para todo a
neutro para la adicin y otro para la multiplicacin, los en K, a + 0 = a.
cuales permiten efectuar las operaciones de sustraccin y Existe un elemento 1 en K, diferente de 0, tal
divisin (excepto la divisin por cero); estas propiedades que para todo a en K, a 1 = a.
ya son familiares de la aritmtica de nmeros ordinarios.
Los cuerpos son estructuras algebraicas importantes de Existencia de elemento opuesto y de inversos:
estudio en diversas ramas de la matemtica: lgebra, an-
lisis matemtico, teora de los nmeros, puesto que pro- Para cada a en K, existe un elemento -a en K,
porcionan la generalizacin apropiada de dominios de n- tal que a + (- a) = 0.
meros tales como los conjuntos de nmeros racionales, Para cada a 0 en K, existe un elemento a 1
de los nmeros reales, o de los nmeros complejos. Los en K, tal que a a1 = 1.
cuerpos eran llamados dominios racionales.
Distributividad de la multiplicacin respecto de la
El concepto de un cuerpo se usa, por ejemplo, al denir adicin
el concepto de espacio vectorial y las transformaciones
en estos objetos, dadas por matrices, dos objetos en el Para toda a, b, c, en K, a (b + c) = (a b) + (a
lgebra lineal cuyos componentes pueden ser elementos c).
de un cuerpo arbitrario. La teora de Galois estudia las re-
laciones de simetra en las ecuaciones algebraicas, desde El requisito a 0 asegura que el conjunto que contiene
la observacin del comportamiento de sus races y las ex- solamente un cero no sea un cuerpo, y de paso elimina la
tensiones de cuerpos correspondientes y su relacin con posibilidad de que en el cuerpo existan divisores de cero
los automorsmos de cuerpos correspondientes. distintos de 0, lo que lo convierte tambin en un dominio
de integridad. Directamente de los axiomas, se puede de-
mostrar que (K, +) y (K - { 0 }, ) son grupos conmutativos
1 Denicin y que por lo tanto (vase la teora de grupos) el opuesto
-a y el inverso a1 son determinados nicamente por a.
Un cuerpo es un anillo de divisin conmutativo, es decir, Adems, el inverso de un producto es igual al producto
un anillo conmutativo y unitario en el que todo elemento de los inversos:
distinto de cero es invertible respecto del producto. Por
tanto un cuerpo es un conjunto K en el que se han denido (ab)1 = a1 b1
dos operaciones, + y , llamadas adicin y multiplicacin
respectivamente, que cumplen las siguientes propiedades: con tal que a y b sean diferentes de cero. Otras reglas
tiles incluyen
K es cerrado para la adicin y la multiplicacin
-a = (1) a
Para todo a, b en K, a + b y a b pertenecen a
K (o ms formalmente, + y son operaciones y ms generalmente
matemticas en K);
- (a b) = (-a) b = a (-b)
Asociatividad de la adicin y la multiplicacin
as como
Para toda a, b, c en K, a + (b + c) = (a + b) + c
y a (b c) = (a b) c. a 0 = 0,

Conmutatividad de la adicin y la multiplicacin todas reglas familiares de la aritmtica elemental.

1
2 2 EJEMPLOS DE CUERPOS

1.1 Deniciones alternativas ejemplo i = 1 A . Adems puede demostrarse
que los nmeros racionales y los nmeros algebraicos son
Sintticamente, Un anillo P se llama cuerpo, si consta no conjuntos numerables mientras que los reales y los com-
slo del cero y en l es posible la divisin en todos los plejos no lo son:
casos( salvo la divisin por cero), determinndose esta
unvocamente, esto es, si para cualesquiera elementos m card Q = card A = 0 < card R =
y n de P, de los cuales n es diferente de cero, existe en P card C = 1
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] 2.2 Nmeros reales, complejos y p-dicos

Un cuerpo F es un dominio de integridad que con- Los nmeros reales R con las operaciones usuales forman
tiene para cada elemento a 0 un inverso a1 que un cuerpo.
verica la igualdad: Los nmeros hiperreales forman un cuerpo que contie-
ne los reales, ms los nmeros innitesimales e innitos.
a1 a = 1.[3] Los nmeros surreales forman un cuerpo que contiene los
reales, a excepcin del hecho de que son una clase pro-
pia, no un conjunto. El conjunto de todos los nmeros
2 Ejemplos de cuerpos surreales con el cumpleaos menor que un cierto cardinal
inaccesible es un cuerpo.
2.1 Racionales y algebraicos Los nmeros reales contienen varios subcuerpos in-
teresantes: los nmeros reales algebraicos, los nmeros
Los nmeros racionales es un cuerpo de nmeros que in- computables, y los nmeros denibles.
cluye un subjconjunto isomorfo a los nmeros enteros, Los nmeros complejos C consisten en expresiones del
que por abuso de notacin tambin se designa como Z . tipo
Todo nmero racional puede representarse por un con-
junto de fracciones, pero el conjunto de los racionales no a + bi
debe identicarse con el conjunto de las fracciones (ya
que 1/2 y 2/4 son dos fracciones diferentes que repre- donde i es la unidad imaginaria, i.e., un nmero (no real)
sentan el mismo nmero real). Para denir los racionales que satisface i2 = 1. Adicin y multiplicacin de los n-
debe considerarse una relacin de equivalencia sobre el meros reales son denidos de tal manera para que todos
conjunto de las fracciones: los axiomas del cuerpo se cumplen para C. Por ejemplo,
{a } la ley distributiva cumple
F = b |a, b Z, b = 0
(a + bi)(c + di) = ac + bci + adi + bdi2 , que es
La relacin de equivalencia entre dos fracciones a/b y c/d igual a acbd + (bc + ad)i.
estn relacionadas si ad = bc, es decir:
Los nmeros racionales se pueden ampliar a los cuerpos
a
b c
d ad = bc de nmeros p-dicos para cada nmero primo p.

En esas condiciones el conjunto de los racionales es el

conjunto de clases de equivalencia en que el conjunto de 2.3 Cuerpos nitos
las fracciones queda dividido Q = F / .
El cuerpo ms pequeo tiene solamente dos elementos:
Los nmeros racionales no forman un cuerpo algebrai- 0 y 1. Se denota por F o Z y a veces puede denirse
2 2
camente cerrado, un importante teorema de la teora de mediante las dos tablas
cuerpos demuestra la existencia de un cuerpo algebrai-
camente cerrado que contiene al primero (estrictamente
un conjunto isomorofo). Dado que los racionales no son + 0 1 0 1
algebraicamente cerrados, existe y puede construirse su 0 0 1 0 0 0
clausura algebraica A , este conjunto se denomina cuer- 1 1 0 1 0 1
po de los nmeros algebraicos, puede demostrarse que:
Tiene aplicaciones importantes en informtica, especial-
Q A C, AR mente en lgebra de Boole, criptografa y teora de la co-
dicacin.
Los nmeros complejos contienen tanto al cuerpo de n- Ms generalmente, para un nmero primo p , el conjun-
meros algebraicos como a los nmeros reales. Sin em- to de los nmeros enteros mdulo p es un cuerpo ni-
bargo los reales no continen a los algabraicos ya que por to con los p elementos: esto se escribe a menudo como
 3

Zp = {0, 1, ..., p 1} donde las operaciones son de- Si q > 1 es una potencia de un nmero primo, en-
nidas realizando la operacin en Z , dividiendo por p y tonces existe (salvo isomorsmo) exactamente un
tomando el resto, ver aritmtica modular. cuerpo nito con q elementos. Adems, estos son
los nicos cuerpos nitos posibles.

2.4 Cuerpos de funciones Como anillo, un cuerpo no tiene ningn ideal excep-
to {0} y s mismo.
Para un cuerpo dado K, el conjunto K(X) de funciones
racionales en la variable X con coecientes en K es un Todo anillo de divisin nito es un cuerpo (teorema
cuerpo; esto se dene como el conjunto de cocientes de de Wedderburn).
polinomios con coecientes en K.
Si K es cuerpo, y p(X) es un polinomio irreducible Para cada cuerpo K, existe (salvo isomorsmo) un
en un anillo de polinomios F[X], entonces el cociente cuerpo nico G que contiene a K, es algebraico so-
F[X]/<p(X)> es un cuerpo con un subcuerpo isomorfo bre K, y es algebraicamente cerrado. G se llama la
a K. Por ejemplo, R[X]/(X2 +1) es un cuerpo (de hecho, clausura algebraica de K.
es isomorfo al cuerpo de los nmeros complejos).
Cuando K es un cuerpo, el conjunto K[[X]] de series for-
males de Laurent sobre K es un cuerpo. 4 Construcciones de cuerpos
Si V es una variedad algebraica sobre K, entonces las fun-
ciones racionales V K forman un cuerpo, el cuerpo de 4.1 Subcuerpos e ideales
funciones V. Si S es una supercie de Riemann, entonces
las funciones meromorfas de S C forman un cuerpo. 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
2.5 Ultraltros los mismos 0 y 1 que K.
Sea (K, +, ) un cuerpo, y E K . Se dice que E es
Si I es un conjunto de ndices, U es un ultraltro sobre I, subcuerpo de K o que K es extensin de E si se cumple
y Ki es un cuerpo para cada i en I, el ultraproducto de Ki que (E, +, ) es un cuerpo cuando las operaciones (+)
(usando U) es un cuerpo. y () se restringen a E . En particular, E ser entonces
un subanillo de (K, +, ) . Se tiene entonces que (E, +)
y (E \ {0}, ) son subgrupos respectivos de los grupos
2.6 Subcuerpos abelianos (K, +) y (K \ {0}, ) .
Como todo cuerpo es un anillo, podramos preguntarnos
Sean E y K dos cuerpos con E un subcuerpo de K (es
por la forma que tengan sus ideales. Para empezar, como
decir, un subconjunto de K que contiene 0 y 1, cerrado
todo cuerpo es anillo conmutativo, todo ideal por la iz-
bajo las operaciones + y * de K y con sus propias opera-
quierda es ideal (biltero) y todo ideal por la derecha es
ciones denidas por restriccin). Sea x un elemento de K
tambin ideal (biltero). As pues slo hemos de estudiar
no en E. Entonces E(x) se dene como el subcuerpo ms
los ideales del cuerpo.
pequeo de K que contiene a E y a x. Por ejemplo, Q(i) es
el subcuerpo de los nmeros complejos C que consisten Si I es ideal del cuerpo K , entonces todo elemento no
en todos los nmeros de la forma a+bi donde a y b son nulo a K ha de tener inverso, a1 K , luego a es
nmeros racionales. una unidad de K [esto es, a U (K) ], y se tendr que
I U (K) = , es decir, I = R . De esta manera,
los nicos ideales de un cuerpo son el propio cuerpo y el
ideal nulo.
3 Algunos teoremas iniciales
El conjunto de elementos diferentes de cero de un 4.2 Cuerpo de fracciones
cuerpo K (denotado tpicamente por K ) es un grupo
abeliano bajo multiplicacin. Cada subgrupo nito Dado un cuerpo K , el cuerpo polinmico K(X) es el
de K es cclico. cuerpo de fracciones de polinomios en X con coecien-
tes en K , es decir, sus elementos son funciones racionales
con coecientes en K (tcnicamente sobre las fracciones
La caracterstica de cualquier cuerpo es cero o un
formadas por polinomios de K[X] debe denirse una re-
nmero primo. (la caracterstica se dene como el
lacin de equivalencia de tal manera que
nmero entero positivo ms pequeo n tal que n1
= 0, o cero si no existe tal n; aqu n1 signica n {  }

sumandos 1 + 1 + 1 +... + 1.) K(X) = pq  p, q K[X], q = 0 /R
4 7 ENLACES EXTERNOS

donde: Hazewinkel, Michiel, ed. (2001), Field,

Encyclopaedia of Mathematics (en ingls), Springer,
ISBN 978-1556080104
p r
R ps = qr
q s Field en PlanetMath.

Wikilibros
4.3 Extensin de cuerpos
Una extensin algebraica de un cuerpo K es el cuerpo ms Wikilibros alberga un libro o manual sobre
pequeo que contiene a K y una raz de un polinomio irre- lgebra Abstracta. incluyendo un captulo sobre
ducible p(X) en K [X]. Alternativamente, es idntico al cuerpos.
anillo factor K [X]/(p(X)), donde (p(X)) es el ideal gene-
rado por p(X).

4.4 Cuerpo ordenado

Un cuerpo ordenado es un cuerpo en el que se puede de-
nir una relacin de orden que sea complatible con las
operaciones de cuerpo, es decir:

(x < y) (x+z < y+z) , para cualesquiera

x, y y z.
(x > 0 y > 0) x y > 0 , para cuales-
quiera x y z.
x > 0 x < 0 , para cualquier x.

Los racionales Q y los reales R son cuerpos ordenados, en

cambio en los complejos C no es posible denir 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).

5 Vase tambin
Teora de cuerpos
Estructura algebraica

6 Referencias
[1] Teora de los nmeros (1985) Niven y Zuckerman;
ISBN 968-18-0669-7 pg. 69

[2] Curso de lgebra Superior (1981) A.G. Kurosch, tradu-

cido por Emiliano Aparicio Bernardo Editorial Mir, Mos-
c, pg. 282

[3] "lgebra moderna (1960) Birkho y Mac Lane; Traduc-

cin de Rafael Rodrguez Vidal; Editorial Teide, Barcelo-
na, pg. 42

7 Enlaces externos
Weisstein, Eric W. Field. En Weisstein, Eric W.
MathWorld (en ingls). Wolfram Research.
 5

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Cuerpo (matemticas) Fuente: https://es.wikipedia.org/wiki/Cuerpo_(matem%C3%A1ticas)?oldid=97935294 Colaboradores: Pino, Fi-
bonacci, Moriel, Jmabel (US), Sanbec, Vivero, DefLog, Wing, Dodo, Elwikipedista, Tano4595, LadyInGrey, JBlanco, Renabot, Petronas,
Taichi, Codazzi~eswiki, RobotQuistnix, Elferdo, Chobot, Akhram, Palica, Davidsevilla, Echani, Wewe, Jarke, BOTpolicia, CEM-bot,
Alfredojcano, Marianov, Davius, Julian Mendez, Gafotas, Ingenioso Hidalgo, Orly01, Gullo, HAMM, Muro Bot, PIERRE26, Farisori,
Leonpolanco, Juan Mayordomo, Raulshc, MarceloPinoQuivira, UA31, AVBOT, Zagothal, DSisyphBot, Jkbw, Humbefa, JA Galn Baho,
Grillitus, Leireroxio, MerlIwBot, Acratta, Addbot, Balles2601, Panda Girl, X2y3, Guillermo feliz, Rehernan, GnniX, ElegansEtFidelis y
Annimos: 49

8.2 Imgenes
Archivo:Wikibooks-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licencia: CC BY-SA
3.0 Colaboradores: Trabajo propio Artista original: User:Bastique, User:Ramac et al.

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0