En busca de la demostracin de que Zp con p primo es un campo (finito). RELACIONES.

Intuitivamente una pareja ordenada es una entidad consistente de dos objetos en un orden especfico. DEFINICIN. Se define el par ordenado de elementos a y b como (a,b)={{a},{a,b}}. Si a=b, (a,b) tiene dos elementos, un unitario {a} y un par no ordenado {a,b}. La primera coordenada de (a,b) es el elemento que pertenece a ambos conjuntos, o sea a, y la segunda coordenada es el elemento perteneciente a slo uno de los conjuntos, a saber, b. Si a=b, entonces (a,a)={{a},{a,a}} tiene un nico elemento; en este caso ambas coordenadas son iguales. El siguiente teorema es muy fcil de probar usando la anterior definicin por lo que se omitir la prueba. TEOREMA. (a,b)=(c,d) si y slo si a=c y b=d. Definicin. Sean A y B conjuntos cualesquiera. El producto cartesiano de A y B es el conjunto AB consistente de todos aquellos pares ordenados (a,b) tales que aA y bB, esto es, AB={(a,b): aA y bB } Ejemplo 1. Sean A={1,2,3} y B={2,4,5}. Entonces AB={(1,2),(1,4),(1,5),(2,2),(2,4),(2,5),(3,2),(3,4),(3,5)} Ejemplo 2. Si A=B=R entonces AB={(x,y): x,yR}=R2 es el plano usual de la geometra analtica. Empleando parejas ordenadas, intuitivamente podemos pensar que una relacin (binaria) R es una proposicin tal que, para cada par ordenado (a,b), uno puede determinar cundo a est en relacin R con b o cundo no lo est. Las relaciones pueden ser representadas como el conjunto de todos los pares ordenados de objetos mutuamente relacionados. Por ejemplo, el conjunto de todos los pares ordenados consistente de un nmero real y su raz puede ser llamada la relacin raz cuadrada. DEFINICIN. Un conjunto R es una relacin (binaria) si todo elemento de R es un par ordenado, es decir, si para todo zR, existen x,y tales que z=(x,y). Si R subconjunto de AB diremos que R es una relacin de A en B, o entre A y B; y si R subconjunto de AA diremos simplemente que R es una relacin en A. Ejemplo. Definimos una relacin entre los enteros positivos y los enteros, diciendo que un entero positivo m est en relacin R con un entero n, si m divide a n. La relacin R es simplemente el conjunto {z: existen m, n tales que z=(m,n), mZ+,nZ, m>0 y m divide a n }. Los elementos de R son pares ordenados: ,(1,-3),(1,-2),(1,-1),(1,0),(1,1),(1,2),

,(2,-6),(2,-4),(2,-2),(2,0),(2,2),(2,4), ,(3,-9),(3,-6),(3,-3),(3,0),(3,3),(3,6), Ejemplo. Sean A y B conjuntos. La relacin de A en B de todos los pares ordenados (a,b) con aA y bB es llamada relacin producto cartesiano y es denotada por AB. Ejemplo. El conjunto vaco es una relacin llamada relacin vaca (para demostrar que el conjunto vaco es un conjunto de parejas ordenadas, busque un elemento del vaco que no sea una pareja ordenada). Ejemplo. Para cualquier conjunto A, la diagonal IdA={(a,a): aA} es la relacin de igualdad o relacin identidad. A partir de ahora escribiremos xRy para denotar (x,y)R. EQUIVALENCIAS Y PARTICIONES. DEFINICIN. Sea R una relacin en A. (a) R es llamada reflexiva en A si para todo aA, aRa. (b) R es llamada simtrica en A si para todo a,bA, aRb implica bRa. (c) R es llamada transitiva en A si para todo a,b,cA, aRb y bRc implica aRc. DEFINICIN. Una relacin R es de equivalencia en A, si es reflexiva, simtrica y transitiva en A. Generalmente una relacin de equivalencia en A se denota por E,~, . Cuando dos elementos a,bA satisfacen aEb se dice que a es E-equivalente a b o que a es equivalente a b mdulo E. Ejemplo. La relacin R1={(x,y)R2:xy} en R no es simtrica. Ejemplo. La relacin vaca en un conjunto A es simtrica y transitiva, pero no reflexiva salvo que A=. Ejemplo. Sea P el conjunto de todas las personas que viven en la tierra. Decimos que una persona p es equivalente a q (pq) si ambos p y q viven en el mismo pas. Es claro que es reflexiva, simtrica y transitiva en P. Note que el conjunto P del ejemplo anterior puede ser partido en clases de elementos mutuamente equivalentes; toda la gente que vive en Mxico forman una de estas clases, todas las personas que viven en Francia forman otra clase,etc. Todos los miembros de una misma clase son equivalentes. Las clases de equivalencia corresponden exactamente a los diferentes pases. Ejemplo. Defina la relacin en el conjunto de los enteros Z como sigue: xy si y slo si x-y es divisible (m es divisible por n si existe kZ tal que m=kn) por 2. Se puede verificar fcilmente que cumple (a),(b) y (c) de la definicin de relacin de equivalencia, es decir, es de equivalencia. Nuevamente el conjunto Z, puede ser dividido en clases de equivalencia bajo . En este caso, hay dos clases de equivalencia: el conjunto de los enteros pares y el conjunto de

los enteros impares. Cualesquiera dos pares o cualesquiera dos impares estn relacionados, pero nunca un par est relacionado con un impar. Los dos ejemplos anteriores reflejan una regla general; una relacin de equivalencia en un conjunto A genera una particin del conjunto A en clases de equivalencia; recprocamente, dada una particin en A hay una equivalencia en A determinada por la particin de A. DEFINICIN. Sea E una equivalencia en A y sea aA. La clase de equivalencia de a mdulo E es el conjunto [a]={xA: xEa} Es conveniente notar que para todo aA, [a] pues al menos a[a]. Ejemplo. En Z se define la congruencia mdulo n como ab (md n) si y slo si a-b es divisible por n. es una relacin de equivalencia y la clase de equivalencia de aZ es el conjunto [a]={a+kn: xZ}. Cualquier elemento de [a] es llamado un representante de la clase. Demostracin. (i) aa (md n) como a-a=0=n0 entonces n|a-a (ii) Tenemos que a-b=nk para algn entero k as que b-a=n(-k) por lo tanto ba (md n) (iii) Escribamos a-b=nk y b-c=nl con k,lZ; entonces a-c=n(k+l) por lo tanto ac (md n) Por lo tanto es de equivalencia. Para ver lo de las clases de equivalencia notemos que si n es un nmero natural y a,bZ. Supongamos a=nq1+r1 y que b=nq2+r2 con q1,q2,r1,r2 enteros que satisfagan 0r1,r2<n. Entonces ab (md n) si y slo si r1=r2. Demostracin. )Por casos: i) Supongamos ab (md n) y r2r1, restemos las dos ecuaciones del enunciado para obtener a-b=n(q1-q2)+(r1-r2). Entonces como n es divisor de a-b y de n(q1-q2) tambin lo es de r1-r2; pero 0r1-r2r1<n, por lo que la nica posibilidad es que r1-r2=0. ii) Si r1r2 restamos las ecuaciones en sentido opuesto, observando que como n| a-b, entonces n divide a (a-b)=(b-a). )Directa: Ahora supongamos que r1=r2. En este caso, al restar las ecuaciones nos queda a-b=n(q1q2); por tanto n|a-b y as, ab (md n), como queramos. Luego ab (md n) si y slo si a y b tienen el mismo residuo al dividirlos por n. Ahora, por el algoritmo de la divisin dados dos enteros a y b, donde b0, existen dos enteros q y r, nicos, tales que a=bq+r, con 0r<|b|. Por lo que hay un conjunto de representantes obvio dado n un nmero natural.

DEFINICIN. Dado un nmero natural n se define Zn={0,1,2,,n-1} Dentro de este conjunto definimos dos operaciones como sigue: para a y b elementos de Zn, ab=a+b y ab=ab La operacin se llama suma en Zn y se llama producto en Zn. Surge una pregunta las operaciones estn bien definidas?, es decir, los resultados de las operaciones dependen de los representantes que se elijan? Para responder las preguntas necesitamos el siguiente: LEMA. P1. Si ab (md n) y cd (md n) entonces a+cb+d (md n) P2, Si ab (md n) y cd (md n) entonces acbd (md n) Demostracin. P1. Directa. Queremos probar que (a+c)-(b+d)=(a-b)+(c-d) que es mltiplo de n pues ab y c-d lo son por hiptesis. P2. Directa. Queremos probar que ac-bd es mltiplo de n. Para ver esto sumemos y restemos bc, entonces ac-bd=ac-bc+bc-bd=(a-b)c+b(c-d); este ltimo es mltiplo de n pues, por hiptesis a-b y c-d lo son. Ahora supongamos a=a y b=b entonces a+b=a+b pues por P1 a+ba+b (md n) y tambin ab=ab pues por P2 abab (md n). Observemos tambin que todas las propiedades de las operaciones que tenemos en Z se traducen en las propiedades correspondientes en Zn, porque las operaciones se traducen a operaciones de enteros; por ejemplo, se pueden convencer fcilmente que la suma es conmutativa, es decir, para cualesquiera a y b elementos de Zn se tiene que ab=ba. Sigamos con ms propiedades de esta notable relacin. TEOREMA. Sea n un nmero natural. (i) Si a es un entero primo relativo con n (es decir, m.c.d.(a,n)=1) entonces existe un entero b tal que ab1 (md n). En este caso decimos que a es invertible y que b es un inverso de a mdulo n. (ii) Recprocamente, si a y b son enteros tales que ab1 (md n) entonces a y n no tienen factores en comn. Demostracin. i) Directa. Sabemos que el m.c.d. de dos nmeros se puede expresar como combinacin lineal de los mismos, as que en este cso escribamos 1=ar+ns. Tenemos entonces 1ar+ns (md n) 1ar+0s (md n) 1ar (md n) Cualquier entero b congruente con r mdulo n nos servir por P2.

ii)Directa. Si ab1 (md n) entonces n|ab-1, por lo tanto existe t entero tal que nt=ab-1. Despejando obtenemos una combinacin lineal de a y n que nos da 1, as qu m.c.d. (a,n)=1. Despus de haber probado varias propiedades de la relacin el siguiente ejercicio resultar fcil. EJERCICIO. Probar que si a y n son primos entre s, entonces abac (md n) si y slo si bc (md n). Del ejercicio anterior concluimos que todas las soluciones de la congruencia ax1 (md n) son congruentes entre s y podemos hablar de el inverso multiplicativo de a mdulo n (realmente estaremos hablando de la clase mdulo n). Por esta razn, si ab1 (md n) , decimos que el inverso de a en Zn es b. EJERCICIO. Probar que si m.c.d.(a,n)=d1, entonces es posible encontrar k0 (md n) de tal manera que ak0 (md n). Por ejemplo, si n=12 y a=4, para k=4 se cumple lo pedido. Por lo que podemos concluir que en Zn, la multiplicacin de nmeros distintos de cero puede ser cero. En Zn hemos definido dos operaciones que tienen propiedades similares a la suma y multiplicacin de enteros. Adems, con lo anterior, podemos concluir que los elementos de Zn que tienen inverso multiplicativo (dentro del mismo Zn) son aquellas clases cuyos representantes son primos relativos con n. En particular, cuando n es un primo, todos los elementos en Zn distintos de cero son invertibles. Existen diversas estructuras algebraicas, en lgebra Lineal nos interesan los campos pero para llegar a ellos es necesario recordar DEFINICIN. Un anillo conmutativo se llama dominio entero o dominio de integridad si el producto de dos elementos distintos de cero es diferente de cero. TEOREMA. Zp es un dominio de integridad. Demostracin. R.A.A. Sean x,y{1,2,,p-1}. Si xy0 (md p) en Zp entonces en Z tendramos xy=kp. Como p es primo entonces p divide a x p divide a y pero esto no puede ser pues ambos son menores que p. Luego xy 0 (md p). El resultado anterior no es suficiente para probar que Zp es un campo pues hay dominios de integridad que no son campos (por ejemplo Z). Falta entonces el siguiente: TEOREMA. Todo dominio de integridad finito es un campo.

Demostracin. Directa. Sea A un dominio de integridad finito. Para ver que A es campo slo hay que demostrar que todo elemento no nulo tiene inverso. Sea a un elemento arbitrario no nulo de A. Considere la siguiente funcin: fa:AA xax Veamos que es inyectiva: supongamos que ax=ay entonces a(x-y)=0 entonces x-y=0 entonces x=y Por un resultado anterior como fa es una funcin inyectiva de un conjunto finito en s mismo es tambin sobreyectiva. Luego debe existir b tal que fa(b)=ab=1. Lo que demuestra la existencia del inverso de a. CONCLUSIN. Como Zp es un dominio de integridad finito, del ltimo teorema se desprende que Zp con p primo es un campo.