Campos

1.1. Definicin y Propiedades Elementales

La idea intuitiva de un campo es la de un conjunto en donde existen dos operaciones que se comportan como la adicin y multiplicacin de nmeros reales. Sabemos que la suma y multiplicacin de nmeros reales es un nmero real y que, adems, dichas operaciones son conmutativas y asociativas. Con respecto a la suma, un elemento distinguido de R es el nmero 0. Para la multiplicacin es el nmero 1. Dichos elementos nos permiten hablar de los inversos aditivos y multiplicativos de reales. El numero -3; por ejemplo, es el nico nmero real que sumado a 3 da 0; mientras que es el nico real que multiplicado con 2 da 1. Las propiedades anteriores son la base de la definicin formal de un campo. Definicin 1.1. Un campo consiste de un conjunto F en el que estn definidas dos operaciones, llamadas adicin y multiplicacin, con las siguientes propiedades: 1) La adicin es cerrada, es decir, a + b es un nico elemento de F, para cada a,b F. 2) La adicin es conmutativa, es decir, a + b = b + a, para cada a,b F. 3) La adicin es asociativa, es decir, a + (b + c) = (a + b) + c, para cada a,b,c F. 4) Existe un neutro aditivo en F, es decir, un elemento 0F F tal que a + 0F = a; para todo a F. 5) Existe el inverso aditivo de cada elemento de F, es decir, para cada a F existe un elemento b F tal que a + b = 0F. 6) La multiplicacin es cerrada, es decir x y es un nico elemento de F, para cada a; b F. 7) La multiplicacin es conmutativa, es decir a * b = b * a, para cada a,b F. 8) La multiplicacin es asociativa, es decir, a * (b * c) = (a * b) * c, para cada a,b,c F. 9) Existe un neutro multiplicativo en F y es diferente al neutro aditivo de F, es decir, existe un elemento 1F F tal que 1F 0F b a * 1F = x, para cada a F. 10) Existe el inverso multiplicativo de cada elemento no nulo de F, es decir, para cada a F con x 0F ; existe un elemento b F tal que a * b = 1F . 11) La multiplicacin es distributiva con respecto a la adicin, es decir, a * (b + c) = a * b + a * c, para cada a,b,c F.

Algunos autores utilizan la palabra cuerpo para referirse a lo que hemos definido como un campo. Los elementos neutros 0F y 1F bien pueden denotarse por 0 y 1, entendiendo que no debe de haber confusin con los nmeros reales cero y uno. Sin embargo, durante los primeros captulos utilizaremos la notacin con subndices y, ms adelante, cuando hayamos adquirido mas confianza con su trato, prescindiremos de ellos. Si F es un campo y a,b F, a los elementos nicos a + b y a * b de F les llamaremos la suma y el producto de a y b, respectivamente. Cuando estemos considerando en F una nica multiplicacin y no haya lugar a confusin, es usual escribir ab en lugar de a * b y para denotar al producto de a y b. Los elementos diferentes de 0, 1 y -1 no poseen neutro multiplicativo. El conjunto N de los nmeros naturales no es un campo, pues no hay un neutro aditivo. Consideremos ahora el conjunto F = {a + b : a, b Q}. Es claro que si a1 + b1 y a2 + b2 son elementos de F, entonces: (a1 + b1 ) + (a2 + b2 ) = (a1 + a2) + (b1 + b2) es un elemento de F. Adems (a1 + b1 )(a2 + b2 ) = a1a2 + a1b2 + b1a2 + b1b2 = (a1a2 + 2b1b2) + (a1b2 + b1a2) tambin es un elemento de F: Esto muestra que tanto la adicin como la multiplicacin que definimos son cerradas. Naturalmente, dichas operaciones son asociativas y conmutativas. Tambin es fcil ver que la multiplicacin es distributiva con respecto a la adicin. Ahora bien, el elemento neutro en F es el nmero cero. Notemos que 0 F pues 0 = 0 + 0 . El inverso aditivo de a + b es -a - b . El neutro multiplicativo es 1, el cual es un elemento de F, pues 1 = 1+0 . Falta mostrar que los elementos diferentes de cero admiten un inverso multiplicativo. Tomemos entonces un elemento a + b de F diferente de cero. Si b = 0, entonces a 0; por lo que es un inverso multiplicativo de a + b . Naturalmente se encuentra en F, pues = + 0 . Supongamos entonces que b 0.Debemos encontrar dos nmeros reales x y y de modo que

(a + b )(x + y ) = 1 La ecuacin anterior equivale a escribir (ax + 2by) + (ay + bx) = 1

Tenemos entonces que resolver el sistema de ecuaciones ax + 2by = 1 bx + ay = 0 Multiplicando la primera ecuacin por b y la segunda por a obtenemos el sistema de ecuaciones -abx - 2 y = -b abx + y = 0 Sumando ambas ecuaciones obtenemos que ( -2 )y = -b. Notemos ahora Que -2 = 0 si y slo si =2 . Como b es diferente de cero, la igualdad anterior equivale a escribir = 2. En vista de que a y b son racionales, el cociente tambin es irracional. Como no existe un nmero racional cuyo cuadrado sea igual a dos, deducimos que -2 0. Entonces podemos dividir la ecuacin ( -2 )y = -b entre ( -2 )y para obtener y= Sustituyendo dicho valor en la ecuacin bx + ay = 0, sucede que bx = -ay = =

Ahora bien, como b 0; podemos dividir la ecuacin de arriba entre b para obtener que x= Notemos ahora los nmeros x= y y=

son racionales pues, en vista de que a y b son racionales, el denominador comn de x y y; que es -2 , es un nmero racional. Adems el inverso aditivo de un racional es un racional y la divisin de racionales nos da un racional. De esta manera, el elemento de F +

es un inverso multiplicativo de a + b . Esto muestra que F es un campo.

El ejemplo anterior nos indica cmo construir una infinidad de campos, todos ellos contenidos propiamente en R; pues podemos sustituir en la definicin de F el irracional por cualquier irracional de la forma , en donde p es un nmero primo. Si F y L son campos bajo las mismas operaciones de adicin y multiplicacin y L F; entonces decimos que L es un subcampo de F. En particular, diremos que Q es un subcampo de R y que R es un subcampo de Q. Notemos que todos los subcampos de C que hemos dado, contienen a los nmeros racionales. Esto es un hecho general. Teorema 1.2. Todo subcampo de C contiene a Q. Demostracin. Sean F un subcampo de C y x Q: Entonces x = = m* , donde m,n Z y n 0. Como F es un campo resulta que 1 F: Luego 2 = 1 + 1 F y, por tanto, 3 = 2 + 1 F: Continuando este procedimiento, probamos que | |,| | F; en donde | | y | | denotan los valores absolutos de m y n, respectivamente. En vista de que los inversos aditivos de elementos que estn en F son a su vez elementos de F, tenemos que m, n F. Ahora bien, como n 0 y F es un campo, el inverso multiplicativo de n es un elemento de F; esto es, F: Tenemos entonces que m y son elementos de F. Luego su producto tambien es un elemento de F. Entonces x F. Esto muestra que Q F. Consideremos ahora el conjunto Z2 = {0, 1} con las operaciones de adicin y multiplicacin mdulo dos: 0 + 0 = 0, 0 + 1 = 1 + 0 = 1, 1 + 1 = 0, 0 * 0 = 0, 0 * 1 = 1 * 0 = 0 y 1 * 1 = 1. Entonces Z2 es un campo. De manera similar podemos construir los campos Z3; Z4; etc. Las operaciones de adicin y multiplicacin en Zn = {0, 1, 2,, n 1} se consideran modulo n. Dados x,y Zn para determinar la suma x + y realizamos lo siguiente: primero sumamos x y y de manera usual y despus dividimos el resultado entre n. El residuo obtenido ser x + y. De manera similar obtenemos el producto de x y y. Por ejemplo, si n = 5; entonces Z5 es el conjunto cuyos elementos son 0, 1, 2 ,3 y 4. Para determinar 3 + 4; sumamos primero dichos nmeros en forma usual, obteniendo como resultado el nmero 7. Luego debemos dividir 7 entre 5. El cociente que se obtiene es 1 y el residuo es 2. Dicho residuo es la suma buscada. De esta manera, en Z5; sucede que 3 + 4 = 2. El producto usual de 3 y 4 es 12. La divisin de 12 entre 5 da como cociente 2 y como residuo 2: El residuo obtenido es el producto de 3 y 4 en Z5: As pues 3 * 4 = 2.

Teorema 1.3. Si a, b, c

F; entonces

(a) de a + b = c + b se sigue que a = c; (b) si ab = cb y b 0F, entonces a = c.

Ejemplo. Supongamos que a + b = c + b. Sea d un inverso aditivo de b. Entonces (a+b)+ d = a +(b+d) = a + 0F = a y (c+b)+d = c +(b+d) = c + 0F = c. Ahora bien, como a+b = c+b; sucede que (a+b)+d = (c+b)+d, de donde a = c. Esto prueba (a). La demostracin de (b) es similar. Recordemos que todo campo admite dos elementos neutros: el aditivo y el multiplicativo. En el siguiente teorema mostraremos que dichos elementos son nicos. Teorema 1.4. Los elementos neutros de un campo son nicos. Ejemplo. Supongamos que F es un elemento de F tal que F+a = a, para cada a F. Entonces F + 0F = 0F. Como tambin 0F + F = F y la suma es conmutativa, sucede que 0F = F . Esto prueba que el neutro aditivo 0F es nico. De manera similar se prueba que el neutro multiplicativo 1F es nico. Se puede demostrar el Teorema 1.4 utilizando el Teorema 1.3. Para ver esto supongamos que F es otro neutro aditivo. Entonces, dada a A; sucede que 0F + a = a y F + a = a. Luego F + a = 0F + a, y utilizando la ley de cancelacin para la adicin, F = 0F : La otra parte se prueba utilizando la ley de cancelacin para el producto. Ahora demostraremos que los inversos, el aditivo y el multiplicativo, tambin son nicos. Teorema 1.5. Los inversos de un campo son nicos. Ejemplo. Supongamos que un elemento a F tiene dos inversos aditivos. Entonces existen b, c F tales que b c, a + b = 0F y a + c = 0F. Por tanto a + b = a + c, y utilizando la ley de cancelacin para la adicin, sucede que b = c: Como esto es una contradiccin, el elemento a solo posee un inverso aditivo. De manera similar se prueba que cada elemento de F; diferente de 0F ; posee un nico inverso multiplicativo. En vista del teorema anterior, si a F entonces a solo tiene un inverso aditivo, el cual denotaremos por -a: Si adems a 0F ; entonces a posee solo un inverso multiplicativo, y ste lo denotaremos por . Las notaciones que hemos establecido son las que estamos acostumbrados a utilizar cuando los elementos con los que trabajamos son nmeros reales. Notemos que -a es simplemente un smbolo pues, de momento, no hemos definido una operacin de resta en un campo. De manera similar, como no hemos definido una operacin de divisin en un campo, es solo un smbolo.

Teorema 1.6. Si a, b (a) a0F = 0F, (b) (-a)b = a(-b) = -(ab),

F, entonces

(c) (-a)(-b) = ab. Ejemplo. Como 0F +0F = 0F resulta, utilizando la propiedad distributiva, que a0F = a(0F + 0F ) = a0F + a0F . Luego 0F + a0F = a0F + a0F. Eliminando el trmino a0F resulta que a0F = 0F. Esto prueba (a). Para mostrar (b) notemos que, de acuerdo con (a), ab + (-a)b = [a + (-a)]b = 0F b = b0F = 0F. Entonces (-a)b es un inverso aditivo de ab: En vista de que el inverso aditivo de cada elemento de F es nico, necesariamente (-a)b = -(ab). Como ab + a(-b) = a[b + (-b)] = a0F = 0F ; resulta, utilizando de nuevo la unicidad del inverso aditivo, que a(-b) = -(ab). Esto prueba (b). Para probar (c) utilizamos dos veces el inciso (b). En efecto: (-a)(-b) = -[a(-b)] = -[-(ab)] = ab. En vista de que el producto de cualquier elemento de F por 0F es 0F ; y de que 0F 1F ; el neutro aditivo no puede poseer un inverso multiplicativo. Utilizando los elementos inversos, es posible hablar de las operaciones de resta y divisin en un campo F: Si a, b F entonces a - b = a + (-b) y, si b 0F ; entonces a / b = Notemos que en Z2 tenemos que 1+1 = 0. En Z3 sucede que 1+1+1 = 0. Esto muestra que, en general, en un campo F una suma de la forma 1F +1F ++1F (con p sumados) puede ser igual a 0F, para algn entero positivo p. Cuando esto sucede, al entero positivo ms pequeo para el cual una suma de p unos es igual al cero de F, se le llama la caracterstica de F. Si tal entero positivo no existe, decimos que el campo tiene caracterstica cero. De esta manera Z2 es un campo de caracterstica 2, mientras que Z3 es un campo de caracterstica 3 y R tiene caracterstica cero. Si F tiene caracterstica p; con p 0; entonces x+x++x (p sumados) es igual al cero de F; para cada x F: En efecto x + x + + x = x(1F + 1F + + 1F ) = x0F = 0F.

GRUPOS
Definicin 2.3.1 Un grupo es un conjunto no vacio G en donde hay definida una operacin binaria *, llamada producto, la cual satisface: 1. a * b G para todo a, b G. 2. a * (b * c) = (a * b) * c para todo a, b, c G (Ley Asociativa). 3. Existe un elemento e G, llamado elemento neutro o identidad de la operacin, el cual satisface: a * e = e * a = a, para todo a G. 4. Para todo a en G, existe un elemento G, llamado el inverso de a, el cual satisface: a* = * a = e. Definicin 2.3.2 Si el conjunto G es finito, entonces G se dice grupo finito. Caso contrario, diremos que G es infinito. Definicin 2.3.3 El orden de grupo es el cardinal del conjunto G. Notacin: Si a G, usamos la notacin de potencias. e= a= =a*a = * a Definicin 2.3.4 Un grupo G se dice abeliano o conmutativo, si a * b = b * a para todo a, b G.

Ejemplo 1: (Z,+) los nmeros enteros con la suma es un grupo abeliano. Ejemplo 2: Sea A = {a, b, c} y consideremos en este conjunto la operacin * definida por la tabla siguiente: * a b c a a b c b b c a c c a b

Mostraremos que (A, ) es un grupo, para lo cual probaremos que se verifican las cuatro condiciones de la definicin. En primer lugar, la operacin es cerrada, pues al multiplicar dos elementos de A se obtiene otro elemento de A.

Tambin observamos que el elemento a sirve de elemento neutro para esta operacin, pues x a = a x = x, para todo x en A. Adems, todo elemento de A posee inverso. En efecto, se tienen las relaciones a a = a, b c = c b = a luego = a, = c, = b.

Solo resta probar la asociatividad de esta operacin. Esto no se puede deducir directamente de la tabla y debe hacerse caso por caso. Aceptando que la operacin es asociativa, se tiene entonces que (A, ) es un grupo. Finalmente se demuestra que este grupo es abeliano a partir de relaciones: a b = b a, a c = c a, b c = c b. Ntese que la tabla de esta operacin es simtrica respecto de la diagonal. Esto es otra indicacin de que el grupo es abeliano. Ejemplo 3: Sea G = Z Z el producto cartesiano de Z consigo mismo, cuyos elementos son las parejas ordenadas de nmeros enteros (m, n). Podemos definir una operacin en este conjunto mediante: (m1, n1) (m2, n2) = (m1 + m2, n1 + n2), donde + denota la suma de nmeros enteros. Entonces probaremos que G satisface todas las propiedades de la definicin de grupo. Claramente la operacin es cerrada, pues la suma de enteros es cerrada y por lo tanto el par (m1 + m2, n1 + n2) est en G. Probaremos que es asociativa, para lo cual usaremos la asociatividad de los nmeros enteros. En efecto, se tiene
(m1, n1) [(m2, n2) (m3, n3)] = (m1, n1) [(m2 + m3, n2 + n3)] = (m1 + (m2 + m3), n1 + (n2 + n3)) = ((m1 + m2) + m3), (n1 + n2) + n3) = ((m1 + m2), (n1 + n2)) (m3, n3) = [(m1, n1) (m2, n2)] (m3, n3)

Tambin se demuestra que (0, 0) es el elemento neutro para esta suma. Sea (m, n) un elemento cualquiera en G, luego (0, 0) + (m, n) = (m, n) + (0, 0) = (m, n). Finalmente se deduce que todo elemento (m, n) de G posee un inverso, el cual viene dado por (m, n) pues (m, n) (m,n) = (m m, n n) = (0, 0)

(m,n) (m, n) = (m + m,n + n) = (0, 0) Por lo tanto G es un grupo. Adems este grupo es abeliano, pues para todo par de elementos (m1, n1) y (m2, n2) en G se tiene (m1, n1) (m2, n2) = (m1 + m2, n1 + n2) = (m2 + m1, n2 + n1) = (m2, n2) (m1, n1) Ejemplo 4: Sea S un conjunto finito y A(S) el conjunto de todas las aplicaciones biyectivas de S en si mismo. Entonces definimos una operacin binaria en este conjunto por medio de la composicin de aplicaciones. Entonces se puede verificar que A(S) con esta operacin es un grupo, basndonos en los siguientes hechos, muy bien conocidos, sobre funciones: 1. La composicin de dos aplicaciones biyectivas, es biyectiva. 2. La composicin de aplicaciones es asociativa. 3. La aplicacion identidad I:AA xx es biyectiva 4. Si una aplicacion f es biyectiva, entonces su inversa existe y es biyectiva.

Observacin Cuando S es un conjunto finito, entonces A(S) es tambin finito. Adems, si S tiene n elementos, entonces |A(S)| = n!. Ejemplo 5; Sea S = {x1, x2, x3} y G el grupo de aplicaciones biyectivas de S en si mismo. Este grupo se denomina grupo de permutaciones de S y se denota por S3. Definamos las aplicaciones: : x1 x2 x2 x1 x3 x3 : x1 x2 x2 x1 x3 x1 Sabemos que G tiene 6 elementos. Calcularemos todos los elementos de G y construiremos una tabla para la operacin binaria de composicin. Nota Usaremos la convencin

 = primero aplicar y luego Tambien si s Sy A(S), usaremos la notacion s = (s). : x1 x3 x2 x2 x3 x1 : x1 x1 x2 x3 x3 x2 Observamos que y por lo tanto G no es abeliano. Calcularemos ahora todas las potencias de los elementos y : x1 x1 x2 x2 x3 x3 luego = 1, identidad. Por otra parte: : x1 x3 x2 x1 x3 x2 : x1 x1 x2 x2 x3 x3 luego = 1, identidad. Notemos que = Mediante esta relacion, podemos escribir todos los elementos de G en la forma: , con 0 i, 0 j. Entonces los seis elementos del grupo G son 1, , , , , .

Tenemos entonces