CONSTRUCCION ALGEBRAICA DEL ANILLO Z DE LOS NUMEROS ENTEROS

Por el Profesor J. R. Poscual Ibarro

1.

EL CONJUNTO N DE LOS NUMEROS NATURALES

Se supone conocido el conjunto N de los nmeros naturales (comprendido el cero) y definidas en l las operaciones de adicin y multiplicacin. Se han estudiado tambin las propiedades de estas operaciones : 1. Connzutativa: a-}-b=b fia 2. Asoci^t^iuu: (a-{--b)-} c-=a-}-(b--^? 3. Elementos neutros: a-', u==o-;-a=-n. 4. a1 =1a= a ( ab)c=a (bc) ab=ba

Distributiva de la mziltiplicacin sobre la adicin: (a-{-bjc=ac+-bc.

Las ecuaciones: a-^-x=b y ax=b

no tenen siempre solucin en N. Para que exista un xEN, la. primera exige que b^ a, y la segunda que a I b. Tratamos ahora de construir un conjunto Z, en el cual la ecuacin x-} x== 8 tenga solucin, cualesquiera que sean xEZ y(iEZ.

2.

CONJUNTO N

Recordemos que se llama producto cartesiano, A X B, de dos conjuntos A y B, al conjunto Tormado por todos los pres ordsnados (a, b), aEA y bEB. En particular, el conjunto N X N es el conjunto de todos los pares ordenados de nzineros naturales.

J. R. PASCUAL IBARRA

3.

REPRESENTACION GRAFICA DE N X N

El conjunto N puede representarse por puntos equidistantes sobre una temirrecta :

0 ^

^F ...

Si consideramos dos semrrectas de origen comn O, podemos representar el conjunto N X N por los puntos vrtices de un retculo:

I,y

i,^i

^,4

3. ^f

^^4

,3
^;2 ^,^

!,3
!,2 ^,!

z,3
z,2 2,!

3, 3
3,z 3,1

^i, 3
^f,2 ^f,!

D,o
4.

!,Q

z,0

3,0

^io .

RELACION E DE EQUIVALENCIA

En el conjunto producto N X N definiremos la relacin binaria E, anotada H : E: (a,b)^(a`b')^a-^b'=b-^-a'. Se trata d una relacin de equivalencia, pues, en efecto: I. Es reflexiva: a-}-b=b^-a^(a, b)^(a, b).

CONSTRUCCIN ALGEBRAICA DEL ANILLO Z

3^1

g.

REPRESENTACION GRAFICA DE Z

Si ahora damos un giro a la semirrecta Oy hasta colocarla en la prolongacin de la semirrecta Ox, tendremos representado el conjunto Z sobre puntos de la recta Y^.

Y -_-,^
10.

^
-3

+i

+2

^^

;^

^C

ADICION DE NUMEROS ENTEROS

DEFINICIN :

( a. b ) -i- ( c, d ) _ ( a -f- c, b -I- d ). a) (a, U) ( c, d ) Propiedad uniforme: (a', b') ^ a-{- b' _= b-}- a' _ ( c ^ , d' ) ^ c -^- d' _= d -^- c' ^ ^ a -}- b' f- c--^ d' = = b -f - a' - ^ d ^- c' ^

( a -{ c ) -^

( b' -^- d' ) ^- ( b + d ) ^- ( a' ^+ c' ) -^ ( a -L c, b -{- d ) __ frente a es inde^ presen-

__ (a^ I- ^^, b^ + d^) _,^ (a, b^ + ( c, d) _ (a', b') + (c', d'^.

La adicin que hemos definido en N^ N es, pues, estable la relacin E, o sea, es una operacin definida en Z: x -{- ;3 pend.iente de los elementos elegidos en cada clase. Utilizando, por tanto, los elementos cannicos: Podemos, por tanto, utilizar los elem^ntos cannicos. Se tan los siguientes casos: I. _ (nz, o) ^ (n, o) - (nz ^- n, c), o sea, ^ II. a) (^-- m) + (-{- n) _ + (nz + n) (

Si m>n:

(rn, o) -{- (o, n) __ (m, n) ^= ( ryn - n, o).

es decir:

^
b) s Si na C n:

(-{ ^ Tia) -I^ (- n) - (m - n) ^

(nt, o) -^ (o, n) = (^^a, n) = ( o, n - ^^a)

362

J. R. PASCUAL IBARRA

esto es: I
c) Sim=n: (m, o) -}- (o, n) _ (m, n) _ (o, o) o lo que es lo mismo : (-^ m) -^ (- m) = o III. (o, m) -}- (o, n) _ (o, m + n) que se puede escribir: I (- m) -I- ( n) _ - (m -{- n) I

(-}- m) -f- (- n) _ - (n - m) I

que constituyen la conocida regla de los signos de ]a adicin de nm.eros enteros. Son inmediatas las propiedades: b) Conmutativa:
I x^-^=^-^x I

c)

Asociativa: I (x-I-^S)^Y-x-i-((^+Y) I

d)

Elemento neutro:
( x--{- O = 0-{- x= x I

e) Elementos opuestos: Cualquiera que sea xEZ, se le puede asociar un x'EZ, tal que:
^ x+x'-O I

En efecto, si
x = _j- m ,_a x, _ - ^n x=-nR.,,x'=-{ n x=OK, x'=0

Por verificarse a), c), d) y e) el conjunto Z es un yrupo aditivo, y por verificarse b) es adems conmutativo.

CONSTRUCCIN ALGEBRAICA DEL ANILLO Z

363

11. ISOMORFISMO ENTRE N y Z+ Podemos establecer la siguiente correspondencia biunvoca entre el conjunto N de los nmeros naturales y el subconjunto Zy de los enteros posttivos: `dn: nEN ,,,, (-}- n)EZ+. Esta correspondencia es compatible con las operacion^ s de adicidn definidas en ambos conjuntos. Es decr, cualesquiera que sean a y b, naturales : a ,^ -^- a b ,^ -}- b a ^-- b ,^ (-}- a) ^- ( + b) _ + (a + b). Por tanto, el semigrupo aditivo N es tsomorfo al semigrupo adtivo Z+. Identificando ambos conjuntos, se tiene: N=Z+cZ.

12.

RESOLUCION DE LA ECUACION a-{- x= b 1 2" Si b>a, x=b-a, Si b = a, , x = o, xEN. xEN.

3 Si b< a, operaremos en el conjunto Z sustituyendo a y b por sus correspondientes en el isomorfismo N,^ Z+:

(-F a) -f- x = -^b ^ (- a) + ( + a) ^- x = ( + b) + (--- a) ^ ^ x = (-{- b) -}- (- a) _ - (a - b), xEZ-.

13. MULTIPLICACION DE NUMEROS ENTEROS
DEFINICIN :

(a b) X(c, d) _(ac -f- bd, ad -{- bc). a) Propiedad uni for^ne: ac -^ b'c = bc -{- a'c bd -}- a'd = ad -+- b'd a'c -^- a'd' = a'd -^- a'c' b'd -^ b'c' = b'c -f- b'd'

(a, b) _(a', b') ^ a-{- b' = b-}- a' ( c, d) _( c', d' )^ c-}- d' = d-}- c'

36^9

J. R. PASCUAL IBARRA

_> ac + bd -}- a'd' -^- d'c' = bc + ad + a'c' -}- b'd' ^ ^ (ac -}- bd, ad -} bc) -_ (a'c' -F- b'd', a'd' + b'c') ^ ^(a, b) X(c, d) _(a', b") X( c' d'). Por tanto, la multiplicacin, inicialmente d.efinida en el conjunto N X N, es estable frente a la relacin de equivalencia E, o sea, es una operacin definida en Z. El producto x(i es independiente de los elementos elegidos en cada clase. Operando con los elementos cannicos se obtiene : ( ^ m) ( -{- m) (-- m) (- m) (--^- n) _^ -^- ^na n (- n) = - m n (-} n) _- __ na n (- n) _ -}- m n

igual.d.ades que constituyen la conocida "regla de los signas" de la , m.ultiplicacin de nmeros enteros. Son inmediatas, ahora, las propiedades: b) Conmutativa:
xX(i=(i^x.

c)

Asociativa:
(x ^ (i) i^ Y - z x((j i^ '!)

d)

Elemento neutro:

x.(_{ ^)_-(_} !)x

14. PROPIEDAD DISTRIBUTIVA

x.

La multiplicacin d.e nmeros enteros es distrib2ctiva sobre la adicin:

(x^j)''(_=x'Y+^j'Y

15.

ANILLO 7 DE LOS NUMEROS ENTEROS

Un conjunto C ^^ dice que tiene estructura de canillo, o que es un anilla cuando en l estn definidas dos operacion^s internas, adicin y m.ultiplicacin, tales que por la primera es un grupo aditivo con mutativo, y la segunda es asociativa y distributiva sobre la pritnera. Cuan.do la segtmda es, adems, conmutativa, el anillo se ll;^ma conmutativo. Si la ^rultiplicacin posee elemento neutro (unidad), es un

CONSTRUCCIN ALGEBRAICA DEL ANILLO Z

^ 65

anillo unitario. Diremos, por tanto, que el conjunto Z es ur. anillo conm.utativo y unitario. Se trata adems de un dominio de integridad, por ser unitario y no tener divisores de cero, o sea, x f^ - 0 implica que x- 0 0(3 = 0. ISOMORFISMO

16.

La correspondencia N,^, Z^ es tambin compatible con la multiplicacin. Por tanto, ambos semigrupos son tambin isomorfos, como en el caso de la adicin, respecto a la operacin de multiplicar: N Z+ a R_, -{-- a b R , --(- b abR^( I_a) (-}-b)_ -{-(ab). 17. OBSERVACION

Dado un nmero entero x$ I, no existe un elemento x-'EZ, tal que:

xx'--{-1.

Por tanto, la ecuacin : a x- b, tampoco tiene solucin en Z cuando a no divide a b. La solucin de esta ecuacin, en el caso general, xige, pues, una ampliacin del conjunto Z, o sea, la construccin del cuerpo Q de los nmeros racionales.

LA ENSENANZA
DE LAS

ti

LENCUAS CLASICAS
(Ed. de la Universidad de Cambridge. Traduccin de Victor Jos Herrero y Jos Mara Belinchn) Ptas. 146 (ei tela)

PEDIDOS ,4:

REVISTA "ENSEANZA MEDIA"