CONGRUENCIA

Definicin:
Sea m Z , m 1, a ,b Z . Diremos que a es congruente con b modulo m si y solo si
m/ ab . En tal caso, escribiremos a b ( modm ) y cuando a no sea congruente con b
modulo m escribiremos a b(modm) .
Definicin:

Dado cualquier entero m Z , m 1 , sobre Z

denotar

definimos la relacin R, la cual se

, mediante; dados a , b Z : aRb a b ( modm )

a m b a b ( modm )
Teorema 1.11
m
La relacin
sobre Z , es una relacin de equivalencia.
Afirmacin:
Z
= { [ 1 ] , [ 2 ] , , [ m1 ] } =Z m
m
Igualdad modulo m:
Sean a Z ,m Z , m 1
amodm =qmodm =r
Teorema 1.12
Para m ,a , b Z , m> 0 las siguientes proposiciones son equivalentes
(i)

a b (modm)

(ii)

Existe k Z tal que a=b+km

(iii)

amodm =b modm

Teorema 1.13
Sean a , b , c ,d Z , entonces son validas las siguientes proposiciones
1.) Si a b (modm) y c d (modm) entonces ( a+ c ) ( b+ d ) (modm)
2.) Si a b (modm) y c d (modm) entonces ( ac ) ( bd ) (modm)

3.) Si a b (modm) y c Z

entonces ( a+ c ) ( b+ c ) (modm)

k
k
4.) Si a b (modm) entonces a b (modm) para cualquier k Z ,k 0 .

Teorema 1.14
Zm
Las operaciones binarias +, definidas sobre

son conmutativas, asociativas,

[ 0 ] es el elemento neutro de +, [ 1 ] es el elemento neutro de , cada elemento

[a] tiene simetrico u opuesto aditivo y si m es primo, cada elemento [ a ] [0 ] tiene
inverso multiplicativo es cual es nico.
Definicin:
Sea A un conjunto no vacio. Llamaremos operacin binaria o ley de composicin interna
definida sobre A, a cualquier funcin o aplicacin : A A A , la cual asigna a cada
par

x, y A

un nico elemento

z A

denotado

xy=z .

Definicin:
Sean A un conjunto no vacio, llamaremos Estructura Algebraica o Algebra Binaria, o
Sistema algebraico sobre

A a cualquier secuencia

A ,,
, , , ,
( , , , ) donde

son operaciones binarias internas Sobre A (de manera simultnea).

Definicin:
A ,
Sea
una estructura algebraica. Diremos que la operacin binaria :

1.) Es Conmutativa si y solo si a , b A :ab=ba .

2.) Es Asociativa si y solo si a , b , c A : ( ab )c =a(bc )
3.) Tiene elemento neutro o identidad si y solo si existe e A
ae=a ea=a

tal que a A :

Afirmacin:
Si tiene neutro o identidad e, entonces e es el nico en que cumple
a A :ae=a , ea=a .

4.) Si tiene elemento neutro e, dado a A , diremos que a tiene simetrico u

opuesto inverso si y solo si existe a ' A

'
'
tal que aa =a a=e , a '

se

le llama simtrico u opuesto de a.

Afirmacin:
Si es asociativa y a tiene inverso o simtrico a ' , entonces a '

es el nico en A

'
'
que cumple que aa =a a=e

Ley de Cancelacin:
Un elemento a A
Dados

es regular o simplificable si y solo si

b , c A : ab=ac b=c
ba=ca b=c

Distributiva:
Dado otra operacin binaria sobre A, diremos que es distributivo respecto a
b
a( c )=( ab )
(ac )
si y solo si:
b
a,b,c A:
( c )a= ( ba )
(ca)

Definicin: (Monoide)
Llamaremos Monoide a cualquier estructura algebraica o sistema algebraico, constituido
por un conjunto no vacio A y una operacin binaria definida sobre A.
Definicin: (Semi-grupo)
Llamaremos Semi-grupo a cualquier estructura algebraica o sistema algebraico
que sea una operacin binaria asociativa.

A ,
tal

A ,

A ,

Nota: Si es asociativa entonces:

( ab )( cd ) =abcd =( abc )d =a( bcd )=a(bc )d
Teorema 2.1
A ,
Sea
un semi-grupo. Si

x 1x 2x n

x1 , x2 , , xn A

, con n N , n 2 , entonces

es un elemento nico de A.

Definicin:
A ,
Si
es un semigrupo y * es conmutativo, esto es, x , y A : xy= yx ,

entonces diremos que

A ,
es un semigrupo conmutativo.

Potencias Positivas en

A ,
con * asociativa.

a1=a , a2=aa , a 3=a2a=aa2=aaa , , a n=a n1a con n N , n 2

Teorema 2.2
A ,
Si
es un semigrupo conmutativo, entonces se cumple:

(xy )n=x ny n , x , y A , n N , n 1
Teorema 2.3
A ,
Sea
un semigrupo. Entonces x A , , n N

x x =x

m +n

=x

n+m

=x x

se cumple que