Conjunto provisto de una ley de composicin interna.

Definicin 1. (Ley de composicin interna)

Sea
, se llama ley de composicin interna, en lo sucesivo lci, entre los
elementos de un conjunto a toda funcin de dominio y codominio . Se
dice que est provisto de la ley interna considerada.
Notas:

Los smbolos ms usados para denotar son: +, , , ., y .

Si decimos que es una lci definida sobre , estamos diciendo que: (1)
es una funcin de dominio y codominio y (2) que si ( , ) ,
entonces (( , )) existe, (( , )) es nico y que (( , )) .
Si es una ley de composicin interna sobre un conjunto , entonces a la
imagen del par ( , ) a travs de la denotamos por . Esto
es, (( , )) . or lo tanto, tendremos que: +(( , )) = + ,
. (( , )) = . = .

Definicin 2. (Estructura algebraica)

Una estructura algebraica es un conjunto provisto de una o ms leyes de
composicin internas. Para indicar lo anterior usamos la siguiente notacin:
( ; ), donde es una lci definida sobre . As (, +) designa la estructura
aditiva de los nmeros naturales y (, +, ) designa la estructura aditiva
multiplicativa de los nmeros naturales.
Ejemplos

Las dos leyes

sobre , , ,

La ley no es una lci sobre el conjunto 4 7, ya que 4 7 no

pertenece a .

La ley

La ley
no es lci sobre , , , , ya que 0 no pertenece a
, , , .
La ley no es una lci sobre , , , , ya que 3 0 no pertenece a
, , , .
La ley
es una lci sobre , .

+
.

(adicin),

(multiplicacin) son lci definidas

+ ( ) es una lci sobre , ,

Definicin (Congruencia igualdad mdulo n)

Sean

y ,

slo si

divide a

. Diremos que

es congruente igual a

mdulo

si y

( ).

Notacin
Para indicar que

es congruente igual a

mdulo

escribimos:

).

Ejemplos

14 4( 5), ya que 5

181 = 2 ( 3), ya que 3

14 4 = 10
181 2 = 183.

Notas.

La relacin de congruencia igualdad mdulo

tiene las propiedades

reflexiva, simtrica y transitiva. Por lo tanto, es una relacin de

equivalencia.

Las relaciones de equivalencia particionan (crean partes disjuntas en el

conjunto sobre el cual se definen) en clases de equivalencia (conjunto de
todos los enteros que son congruente iguales mdulo

) entre si. En

consecuencia, los enteros quedan particionados en clases de equivalencia.

Por ejemplo, { , 6, 1, 4, 9, 14, 19, } es una clase de equivalencia mdulo
5.
Definicin (Representante cannico de una clase de equivalencia)
En la congruencia mdulo

los representantes cannicos son: 0, 1, 2, , 1.

Ejemplo

En la congruencia mdulo 5 los representantes cannicos son: 0, 1, 2, 3

4.

Nota

Representaremos una clase por su representante cannico. Por ejemplo, a

la clase mdulo 5

{ , 6, 1, 4, 9, 14, 19, } la representamos por 4 y

escribimos 4 = { , 6, 1, 4, 9, 14, 19, }.

Definicin (Enteros mdulo n)
El conjunto formado por las clases de equivalencias mdulo
enteros mdulo

se denomina

y se denota por: . Por lo tanto, = {9, 1, 2, , 1}.

Nota

Para saber a cul clase pertenece un entero dado

dividir

se busca el residuo de

por el mdulo y a pertenecer a la clase cuyo representante es el

residuo encontrado.
Ejemplos.

El entero 1074 pertenece a la clase del 4 mdulo 5, ya que el residuo de

dividir 1074 entre 5 es 4 (1074 = 5 214 + 4).

El entero 1074 pertenece a la clase del 1 mdulo 5, ya que el residuo de

dividir 1074 entre 5 es 1 (1074 = 5 (215) + 1).

Adicin y multiplicacin en .
Sea = {0, 1, 2, , 1}. En se definen + y . como siguen: (1) Si se
suman de manera ordinaria dos elementos de y el resultado es menor que
se coloca este resultado como resultado de la suma que estamos definiendo.
Ahora bien, si resultado de la suma ordinaria es mayor o igual que , entonces
se divide este resultado por
y se coloca como resultado de la suma que
estamos definiendo el residuo de la divisin realizada. (2) Si se multiplican de
manera ordinaria dos elementos de y el resultado es menor que se coloca
este resultado como resultado de la multiplicacin que estamos definiendo. Ahora
bien, si resultado de la multiplicacin ordinaria es mayor o igual que , entonces
se divide este resultado por y se coloca como resultado de la multiplicacin que
estamos definiendo el residuo de la divisin realizada. Las anteriores definiciones
las podemos resumir en las siguientes tablas, en el caso de :
"+"

Entonces ( , +, . ) es la estructura aditiva multiplicativa de los enteros

mdulo cuatro.

Definicin. (Estructura de anillo)

Sea un conjunto no vaco provisto de dos leyes de composicin interna, una
aditiva que denotaremos con + y la otra multiplicativa que denotaremos ..
Diremos que ( , +, . ) es un anillo si se verifican los siguientes axiomas de
definicin:
,

, entonces

A1. Si
adicin)

A2. Si
, , , entonces
asociativa para la adicin)

A3. Existe 0 tal que para todo se tiene que:

(Existencia de elemento neutro o nulo para la adicin)

A4. Si , entonces existe

(Existencia de elemento opuesto)

A5. Si
adicin)

A6.
Si , , entonces .
multiplicacin)

A7.
Si , , , entonces (
multiplicacin)

A8.
Si , , , entonces ( + ) =
+
y ( + ) =
(Propiedad distributiva de la multiplicacin con respecto a la adicin)

, entonces

(Propiedad de clausura para la

+ ( + )= ( + )+ .

tal que

(Propiedad

+0= 0+

= .

+ ( ) = ( ) +

= 0.

(Propiedad conmutativa para la

(Propiedad de clausura para la

)= (

) . (Propiedad asociativa para la

Notas:

En un anillo A se define la sustraccin como sigue: + ( ).

Definida as, la sustraccin es una ley de composicin interna definida en
cualquier anillo.

Si la multiplicacin es conmutativa, se dice que el anillo es abeliano1 o

conmutativo.

En un anillo se dice que dos elementos

y
son permutables o que
conmutan si
= .
Si la multiplicacin tiene elemento neutro 1 se dice que el anillo es unitario.

Por el matemtico noruego Abel, Niels Henrik (1802 1829), quien prob la imposibilidad de
hallar las races, por resolvente, de la ecuacin de quinto grado.

Ejemplos:

Las estructuras algebraicas (, +, . ), (, +, . ), (, +, . ) y (, +, . ) son

anillos conmutativos y unitarios.

La estructura algebraica (, +, . ), no es un anillo, ya que falla A4.

La estructura algebraica (2, +, . ), donde 2 = { , 4, 2, 0, 2, 4, } es

el conjunto de los nmeros enteros pares es un anillo conmutativo no
unitario.

La estructura algebraica ( , +, . ), donde es el conjunto de los nmeros

enteros impares no es un anillo ya que falla A1.

Sea = {0, 1, 2, 3}. En se definen + y . como se hizo anteriormente,

lo cual queda expresado en la tabla que se da a continuacin:
"+"

Entonces ( , +, . ) es el anillo de los enteros mdulo 4.

Similarmente tenemos que ( , +, . ) con

mdulo .

, es el anillo de los enteros

Definicin 4. (Estructura de cuerpo)

Sea
un conjunto no vaco provisto de dos leyes de composicin interna, una
aditiva que denotaremos con + y la otra multiplicativa que denotaremos ..
Diremos que ( , +, . ) es un cuerpo si se verifican los siguientes axiomas de
definicin:
,

, entonces

K1. Si
adicin)

K2. Si
, , , entonces
asociativa para la adicin)

(Propiedad de clausura para la

+ ( + )= ( + )+ .

(Propiedad

K3. Existe 0 tal que para todo se tiene que:

(Existencia de elemento neutro o nulo para la adicin)

K4. Si , entonces existe

(Existencia de elemento opuesto)

K5. Si ,
adicin)

, entonces

K6.
Si ,
multiplicacin)

, entonces

K7.
Si , ,
multiplicacin)

K8.
Si , , , entonces ( + ) =
+
y ( + ) =
(Propiedad distributiva de la multiplicacin con respecto a la adicin)

K9.

Existe 1

K10.

Si

+ ( ) = ( ) +

= 0.

(Propiedad conmutativa para la

(Propiedad de clausura para la

)= (

) . (Propiedad asociativa para la

tal que para todo

entonces existe

= .

, entonces (

tal que

+0 =0+

tal que 1.

tal que

= .1 = .
=

= 1.

Notas:

En otras palabras, un cuerpo es un anillo conmutativo unitario en el cual

todo elemento no nulo admite inverso.

En un cuerpo se define la divisin, con divisor no nulo

, , entonces
.

Definida as, la divisin es una ley de composicin interna definida en el

conjunto de los elementos no nulos de un cuerpo.
.

como sigue: si

Ejemplos:

Las estructuras algebraicas (, +, . ), (, +, . ) y (, +, . ) son cuerpo.

La estructura algebraica (, +, . ) no es un cuerpo, ya que falla K 10.

Sea = {0, 1, 2, 3, 4}. Este conjunto es un cuerpo con las leyes que se
definen como se hizo anteriormente y que expresado con las tablas anexas:

La estructura ( ; +, . ) es un cuerpo si y slo si

es nmero primo.

Problemas modelos.
1.
2.
3.
4.
5.
6.
7.

Construir las tablas de sumar y multiplicar de ( ; +, . ) con = 2, 3, 4, 5, 6.

En cada de los anteriores determinar el opuesto y el inverso de cada
elemento.
En cada de los anteriores determinar las races cuadradas y cbicas de
cada elemento.
En cada de los anteriores de terminar a qu clase mdulo pertenecen
los enteros 5271 y 32472.
Resolver la ecuacin + + 1 = 0, en los anteriores.
Resolver la ecuacin

+ 1 = 0, en los anteriores.
Resolver en ( ; +, . ) los siguientes sistemas de ecuaciones lineales:
2 3 =4
2 = 3

2 3 + =4
3 + 2 = 3

Nota
Los ejercicios 5., 6. y 7. son problemas para parciales.