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.