Está en la página 1de 132

Universidad de S evilla

lgebras de semigrupos y aplicaciones


Alberto Vigne rn Tenorio

Tesis de Doctorado
Facultad de Matemticas Directora: Dra. Da. Pilar Pisn Casares

2004

CA>H=I @A 5A ECHKF I O )F E?=?E )


) >AHJ 8EC AH 6A HE

AI

# @A ?JK>HA @A "

3KEAH =HC @A HA= E@=@

ANFHAI=H I=

=I IE ?AH

=CH=@A?E EA J A HE=

= , = 2E =H IAH
= D O K =

2EI +=I=HAI F H IK E AIJE => A =OK@= O A IA = JE IK I 5E IK =OK@= AIJ=

=I HA?E>E@=I =

EI F=@HAI

1 ,1+- /- -4)

1 @E?A /A AH= 1 JH @K??E 1 + = ?K


1 ) 1 * 1 +

 '
' A 1@A= AI @A 5A ECHKF @A 1  ! $ %  ! " # %
N

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I

1 JH @K??E 1@A= AI @A 4AJ


?K ) C HEJ 6A H
= @A - E E =?E AJ @ @A 5JKH BA I 0 IJA 5D=FEH AJ @ @A ,E *E=IA 7H>= A I+ =IE? I @A + = ?K

1 ,

+ = ?K ) C HEJ ) C HEJ

@A 1@A= AI @A 5A ECHKF I ) CA>H=E? /A AJHE?

1 -

J=I

11 5EIJA =I @E B = JE? I
11 ) 1 JH @K??E 11 * + = ?K

I K?E

AI

'
' ! ! !!

@A = N I K?E CA AH=

* KIGKA@= -ND=KIJEL= AJ @ @A + =KIA . HJA >=?DAH AH @A A?K=?E 4A@K??E @A K AJ @ @A + 11 + + = ?K JA A= ,ALEA A@E= JA A A = @A ,E? I C A A I
N I K?E CA AH=

AI

!" !# !$ !' "

@A K = N I K?E F=HJE?K =H

A = @A .=H =I F=H= IEIJA =I D

11

@E?A /A AH= 1
A = @A .=H =I F=H= IEIJA =I AJ @ KI= @ *=IAI @A /H > AH 11 , 5EIJA =I ,E B = JE? I A +
N I K?E F=HJE?K =H N I K?E CA AH=

C A A I

"" "& "' # #! #"

CHKA ?E=I A = @A ,E? I

A@E= JA E@A= AI @A IA ECHKF I A@E= JA A

11 -

J=I

111

@K I @A 5E?ECE=I
111 )
0E 

#%
#% $ $! I +E $%

@K I @A 5E?ECE=I   8E   @K @A 5E?ECE=I FH =?JE? @A = HAI K?E @=@ I

111 * 

111 + + = ?K

18 + = ?K
18 ) + 18 *

@A 2HE AH
J=I

@K

@A 5E?ECE=I

%
% &

K J .E EJ @A +DAGKA

8 + = ?K
8) 8* 8+ +

@A = 4AI K?E
I 5 CH=@ I

E>HA

E E =

&!
&" '# ''

K J .E EJ @A +DAGKA

+ J=I @A

4ACK =HE@=@ @A K = 8=HEA@=@ 6 HE?= 2H OA?JEL=

81 - A F I
81 ) 1@A= @A 5A ECHKF 81 * 5EIJA =I ,E B = JE? I
N I K?E 2=HJE?K =H N I K?E /A AH=


 " " # E E = 

81 + 4AI K?E

E>HA

*E> E CH=B
=

'

,1+- ,- +7),4 5 1

111

1 @E?A @A ?K=@H I

11  ) C HEJ 81  0/ 

I 11 * %

11 + $ LAHIKI 11 * %

11 , #

#$ & ' ' !

0/  81 ! 0/ 
81

81 " EIJ= @A + 81 # EIJ= @A ? FA I

#

,1+- ,- .1/74)5 1

1 @E?A @A CKH=I

18  . DKA? 18 8 0 C
= K = 8  E JHE= CK =?E 6HE= CK =?E @A 6 H

% %& &% &'

1 64 ,7++1

,=@ 5 K IA ECHKF ? ?A =JEL O ? @AH=H = @ ?




KJ=JEL

EJ= A JA CA AH=@ F @A
5

?= IE

AA A J K I
>


AKJH

O @=@ K ?KAHF
5

I? A?

= CA>H= =I ?E=@= = IA ECHKF

A JA @EA @A =

- FH @K?J A AIJ= = CA>H= IA @A I AI A I


>

AI @A?EH A FH @K?J @A I
> = /A

IK = - AIJK@E @A AIJ= = CA>H= JEA A K CH= E JAH AI @A JH @A = /A AJH


= ) CA>H=E?= F H IK HA =?E ? CA AH=@ HAI @A E@A= AI @A ?EH L=HEA@=@AI = GKAI GKA IA @= A ,=@ I K @A F E A E I4 H I ? A @A K AJH
= 6 HE?= ,A DA?D AI A JHA E= AI I @EIJE J I A B

H

AIJK@E=H AIJA = CA>H= AI AGKEL= A JA = AIJK@E=H =I HA =?E E@ I F H L=HEA@=@AI AI AI F=H= AJHE =@=I F H A?K=?E

E= AI AI @A

567'# O +2 =F=HA?A K E JAHAI= JA AIJK@E I >HA I CA AH=@ HAI @A IA ECHKF 5 B


: :H @A

= =?JK= E@=@ = AIJK@E @A =I L=HEA@=@AI J HE?=I

C OA = E

I A E@A= @A IA ECHKF ?
5
E

@A

= CA>H=I @=@ F H
 4  :E 

-I ?

?E@ LAH 0-4%  GKA AIJA E@A= AI >E


E

E= O D

C A A HAI I F=H= ?= ?K =H I

FA?J @A = CH=@K=?E CH=@ :E  A F A= >=IAI @A /H > AH

-NEIJA = C HEJ

AIJ I E@A= AI IE A IA ECHKF 5 AI E>HA @A J HIE

+=IE J @ I A

- ?=I @A = J HIE BKA => H@=@ F H FHE AH= LA A F=H= IA ECHKF I LAHE ?= @ 5  5 =HJ
?K BKAH @A E@ I F H FHE AH= LA A IA >=I= A A AIJK@E @A ?EAHJ I ?

*+ 2'&>

 =I J A? E?=I KJE E =@=I A AIJA F A I IE F E?E= AI GKA + ' O ?KO I CH=B I IK>O=?A

1 JH @K??E
JAI =F=HA?A A @ I IE K 4 5' -IJ=I J A? E?=I I AI = A ?EA ?E= ? J HIE A H? ? FKJ=?E = A JA F ? AIJ I AJ

A ?EA JAI =K GKA

GKA IA >KI?= ? ?=IE J @ I A

?E EA J @A F HGK A @A

I HAIK J=@ I I I K?E

- ?K= GKEAH ?=I

= A FH > A = @A ?= ?K =H A E@A= HA?KHHEA @ = E JH @K?EH KAL=I L=HE=> AI - FH > A = @A =K A J=H A ? F F A E@=@ @A ? = ?K A ?E= A A I GKA KJE E?A I JH I HAI LA E@A= AI @A HAJ
?K
1 :K :L K L
N
H

AH @A L=HE=> AI AI GKA = K ?K= KI=H AJ @ I HA?KHHEA @ = I

@A E@A= AI @A IA ECHKF I AI IE F A A JA AN =I L=HE=> AI @A =I AIJHE?J= A JA A?AI=HE=I = A ?EA ?E= @A I I AIJA FH > A = A 1 ,

AH @A L=HE=> AI LAH 567'  ? K

= C HEJ

FH L ?= K = CH= HA@K??E A

@A

AI K HAJ
?K

,=@ K IA ECHKF AI @A IEIJA =




A =I ?E=

I A HAJ
?K

@=@ F H =I I K?E

 ) AIJA HAJ
?K AIJA F=I I

H * (

* *

N NH

 + + + )

 A@E= JA
E  5 

IAH = = GKA A ?= ?K A ?= ?K =

I IK E@A= =I ?E=@ A AH K

I >=IAI @A /H > AH ?

F IE> A @A L=HE=> AI 5E A IA ECHKF @A F=HJE@= 5 LAHE ?= = ? F @A @K=@ I O F H @A = CA>H= @K J= J F @A EI @K @E?E 5 E>HA I A K ?E=H A A = @A = =O= = 111 )  F=H= I D=> =H @A = HAI K?E
5 O @A IEIJA =I

@K I 5 CH= E E =

E E = AI @A CA AH=@ HAI @A E AIE = CA>H= 2=H= ?= ?K =H K IEIJA = @A CA @A IE?ECE=I L= K I?


5C

@A IE?ECE=I @A

AH=@ HAI @A E AIE =JKH= A = ?

I = HA?KHHEH = HAIK J= F A I IE F E?E= AI @A


5

@ I GKA EC= @E?D I CA AH=@ HAI ? >E =J HE= =I ?E=@ I =

IAA A J I
.

B.

1 JH @K??E
@ ? @A AI A ? K J B
HC ,E?D I HAIK J=@ I 5 @A E AIE

!
I HA =?E @K @K = I GKA A I CA AH=@ HAI =I D K IEIJA = D E E = AI @A CH=@ C
=I HA@K?E@=I 0E  IE O I @A IE?ECE=I

 - FHE AH KC=H LAHA IE 0E 

E E = @A CA AH=@ HAI @A E AIE

@A IE?ECE=I D=O

K A A A J @A CH=@

 $  111 ) " ) F=HJEH @A =I

C
=I K =I F @HA I ?= ?K =H @EHA?J= A JA I CA AH=@ HAI 111 ) # -IJ= AI = I B
= GKA IA @AIFHA @A @A + ' O AI = GKA IACKEHA I A CH= F=HJA @A AIJ= A HE= ,A DA?D L= I = @A@E?=H CH= F=HJA @A A = = HAI LAH A FHE AH F=I @A AIJA FH > A = ?= ?K =H
+E

B
A AI ?

5 0E 

 $ C F A I GKA FAH EJA ?= ?K =H A A ?=I CA AH= AI E>HAI O *5'& 0 +'# =I I

+/

I =KJ HAI @A

KAL I ?

AIJA ? ?

K J A IEJK=?E

?HAJ=I FAH 25'&

HABAHA ?E=I ? *0'%

HAIFA?J = = HA =?E A JHA =I HAI K?E

F A I IE F E?E= AI =F=HA?A A ) AIJK@E=H AC= @A AI AI @A?EH I K?E

56)'$ O

I A A A J I HA =?E

=@ I ?

I IA ECHKF I IA

= AH= =JKH= =

I IEIJA =I @E B = JE? I O = IKI N I K?E A K IA ECHKF IA JH=@K?A A I=>AH IE 2 H J= J AI @A K

AI A JAH=I F IEJEL=I - IE F A FH > A = @A @A K = N I K?E ?AH = C HEJ AI I

?E@EH IE K A A A J AIJ = AI KO E F HJ= JA ? AI

K ?EAHJ IEIJA = @E B = JE? JEA A IEIJA = @E B = JE? I K?E =I


? ?

?AH =I AIJHK?JKH=I @A =I N I K?E

I GKA ?= ?K A @E?D=I ? ?E@=I @AI@A =

=I AIJHK?JKH=I @A =I N I K?E AI @A IEC K IA ECHKF H@A ?E ? @=@=I F H K E AH= E = :1: =I N I K?E

AI @A K IEIJA = D D

C A A B H = C A A LEA A

/ CA AH=@ F H IKI A A A J I
=I @A K IEIJA = AI @A ?

E E = AI HAIFA?J @A

=JKH= A N 11 ) 

K J I B H =@ I = F=HJEH @A ?EAHJ=I N I K A IA ECHKF / 11 )  - 11 ,  CA CHKA ?E=I

AI F=HJE?K =HAI O IK IK = ?

I AIJ=I AIJHK?JKH=I = IEIJA =I @E B = JE? I A ?

? KOA @ GKA F=H= AIJ I IEIJA =I =I AIJHK?JKH=I = JAHE HAI IA HA

"
FEJA ? @ @ 7 IEIJA = @E B = JE? A ? @A = + =I N I K?E A K I @E?D A ? I K = @A IKI A?K=?E

1 JH @K??E
CHKA ?E=I AI K IEIJA = @E B = JE AI AIJ = B H K =@= I >HA Z ?Z ?E EA J @A =I AIJHK?JKH=I @A GKA I HFHA @A JA A JA I A ?EA JAI EC=@ I = =I HA AL= JAI A :: I FHE AH I ?KO=I I K I AIJK@E I I = C HEJ

@A ? AI K A JAH O= DA

AI @=J= @A

KO = JECK

AI J= ? =IE?

AI A AIJK@E @A AI ,A DA?D

>JA AH AIJ=I N I K?E AJ @ I =F E?=@ I I K?E K AI AH=

JE = @ AIJA IA JE@ FAHJA A?A = = K A?=@= @A IEC I ?K= AI K = > KIGKA@= AND=KIJEL= A KAL = C HEJ

AH= A ?EA JAI IA >=I=>= A HA= E =H E?= A?K=?E = HA@K??E = K = K I JH I A 11 * @=

I B = =?E AI @A ?= ?K =H 11 *

F=H= ?= ?K =H = N I K?E CA AH= = K IEIJA = K = LAHIE ? IJHK?JEL= F=H= ?EAHJ I ? 11 * % /H=?E=I = AIJA = C HEJ IA HA@K?A A AI F=HJE?K =HAI

@E B = JE? >=I=@ A J I @A A = @A ,E? I ? = ?K

@A = N I K?E CA AH= = ?= ?K =H N I K?E - JHA I = C HEJ

= @EIJE J I IEIJA =I @E B = JE? I I ANEIJA JAI F=H= ?= ?K =H K = N I K?E C A A ?=>A @AIJ=?=H CA AH= A?AI=HE= IJHKE 1 @= I IK = ? =LA A = C HEJ 11 + ! >=I=@ A A A = @A F=H= =F E?=H D = IEIJA =I C A A JEA A F=HJE?K =H ?=I @A GKA ANEIJ= = K IEIJA = D F H IK LA ?E@=@ @A ? FKJ E = D IA

.=H =I 11 +  /KE=@ I F H = = J= LA ?E@=@ @A AIJA = C HEJ = IA??E 11 + @E?D = C HEJ C A A I - AIJ= IA??E @= I =@A =I K = ? @E?E

O IK ?EA JA F=H= I=>AH IE K IEIJA = @E B = JE? )F E?= @ KAL = C HEJ @A N I K?E CHKF @A @E?D = C HEJ

E?= A?K=?E GKA ? = CK = N I K?E A BK ?E @A K = K I HAIK J=@ I >JA E@ I A A ?=F


JK

>=I=@ A E@A= AI @A IA ECHKF I F=H= = >JA ?E AI F=HJE?K =HAI = IEIJA =I @E B = JE? I 11 , # AGKEL= A JAI H=@E?= A =I ?E=H = K IEIJA = @E B = JE? K IA E

FH >= @ GKA I

- IEIJA = JEA A = CK = N I K?E


- A E@A= =I ?E=@ = IA ECHKF ANEIJA K >E E @A K =

1 JH @K??E
B H = @AJAH E =@= /H=?E=I = AIJ ? I A ? HEJ ? ? A = C HEJ LA@ I

11 , # IA FKA@A =F E?=H = IEIJA =I @E B = JE A?AIE@=@ @A = =@EH ,A DA?D KAL=I L=HE=> AI = C IK KAL = C A 11 , $ @=

CHKA ?E=I IE

F AJ= A JA

F=H= ?= ?K =H = N I K?E CA AH= = K IEIJA = @E B = JE? A CHKA ?E=I IE = =@EH E CK = KAL= L=HE=> A KAIJH= >IAIE F H =K A J=H A AH @A L=HE=> AI H= K @A N I K = FH =?JE?= = GKA JA A I O @A E ? C E F A E@=@ JA HE?= @A HAI LAH A ? = ?K F AJ  5+0'$ ? H =HE & =  A AH @A L=HE=> AI F H K A AH K JANJ AI @A K IEIJA = @K I @A IE?ECE=I @A =I CA AH= AI @A?EH AKJH ?= ?A =JEL O
E I ? = ?K I ?

@E?= A GKA = ? ?E ? AI AI

2 ?

F A E@=@ =K A J= ?

GKA JH=J=H @A HA= E =H H=FE@A =F E?=


5 =>A E=

J=I F IE> A 0=> =H @A = C HEJ 7 = LA ? = HAI K?E = =O= = = B H = @A K D C


= =I ?E=@= AI C
= ? FA E>HA

I A ?EA JAI @A LA ?E@=@ @A ? = ?K

@A>A IAH A JA @E@ @A JH @A AIJA ? I AIJ I HAIK J=@ I = ? = ?K E E = @A


5 A

? KE@ A AIJK@E @A =I N I K?E @A I A ?=I AA A J

EJ= A JA CA AH=@

IE F E?E= @AJAH E = IE IK E AIE = I A AIJ I IK>? @A E I K =I EJ I @A FA IE F E?E= ?


E AIE = D

K = *=I = @ IJHKE

AIJHK?JKH=I GKA =F=HA?A A J @ ? K = ) F=HJEH @A A =I ? JEA A @A IA ECHKF 5 GKA ? HA?A A K IEIJA = IE?ECE=I @A = =

K J I @K

I CH=@ I @A

I A A A J I GKA =F= J AH E

E E = @A CA AH=@ HAI @A E AIE JE K J I IA @A@K?A A K AH K

EJK@ @A AIJ I ?

EJK@ @A =I >=IAI @A 0E >AHJ @A K - FHE AH KC=H F=H= A FHE AH @K

EJ @A IEIJA =I E IA $  ) ?=@= IJHKE@

E A= AI @E B = JE? I =I ?E=@ I = AIJ=I AIJHK?JKH=I @A IE?ECE=I @A IE F E?E= ? A J K ?AFJ @A . DKA? 18 )  O FH >= ?AI ANEIJA K . DKA? =I ?E=@ = ? @A AIJ I . DKA? I A =I ?E= I A 18 ) ! GKA IE 0  FA

I K IEIJA = @E B = JE? ?

$
= F=HJEH @A =I N I K?E GKA ? I CA AH=@ HAI @A 5 )@A =I @= IAA A J I IK

1 JH @K??E
AJ @ >=I=@ A K J EJ  $  18 ) & I = AIJK 2=H= A @K

AI @A AIJ I IEIJA =I F=H= >JA AH K ?


5 J= AI GKA 0 

JA C= =

7 = LA HAIKA J A FHE AH CA AH= E =


.A

@K

@A IE?ECE=I F=I= = @A

@E=H A ?=I CA AH= AI @A?EH = AIJK@E=H A E AIE IA ? ?AFJ @A . DKA? @A A KI= @ J= >E A 11 @= I K = C HEJ 8 )  + E A= @A ?=F
JK @K

JHE= CK =?E @A I CH=@ I

=I J A? E?=I @A FH CH= = F=H= ?= ?K =H E E = @A CA AH=@ HAI I K FH ?A IA A

?E @A

I A A A J I GKA =F=HA?A A K IEIJA = @A IE?ECE=I @A @A K IEIJA = D C


= E E =

@A E AIE

5 ,A =GK
@A@K?E

@E EA J @A ? = ?K A J I @A 5 ? @E B = JE? I F @A JA = @= H=

,A>E@ = = =JKH= A = @A =I HA =?E

AI >JA E@=I A JHA

K = O =I N I K?E @K

AI = IEIJA =I

I =@A =I @A ?= ?K =H =? J=H

I CH=@ I @A K IEI @A IE?ECE=I - 8 * OA 8 *! A =I ? J=I >

E E = @A CA AH=@ HAI @A E AIE I AI= ? J= F=H= A FHE AH IE F A A JA ANF IJHK??E @K

I K = ? J= F=H= =I IE?ECE=I @A ?K= GKEAH H@A A ?E= AI A A AI I >HA

- ?K= GKEAH ?=I

JA E@=I I

AH @A CA AH=@ HAI K

@A IA ECHKF =I ? J=I O ? =F E?= I CH=@ I @A =I IE?ECE=I =I C A A A


1 IA @A

I = =? J=H 8 +  O @AJAH E =H 8 +  = HACK =HE@=@ @A K = A = @A A H A JAH F J= GKA A E AIE HAI @K

L=HEA@=@ J HE?= FH OA?JEL= ,=@ K E@A= D HACK =HE@=@ @A 1 HAC1 = =F

IE?ECE=I @A 1 AIJ = CA AH=@ F H A A A J I @A CH=@ I


E F=H= &E   LAH * '! 

ECK= AI

> AJEL FHE ?EF= @A AIJ= I FAH EJ= ?= ?K =H

HE= AI JA AH K =I
?

A H?

?E EA J @A = CA>H= @A K IA ECHKF ABA?JEL=I GKA J BKE = CA>H= = F=HJEH @A K

JA AH DAHH= EA J=I + AIJA FH F IE - FHE AH FH

I A A A J I =I ?E=@ I = @E?D= =@= O I=JEIB=?J HE= @EIJE J I

I CA AH=@ HAI @A IA ECHKF = AH= AI?=

I HAI LEA @ @A

FH > A =I GKA IKHC


= = FH BK @E =H KAIJH AIJK@E > A = BKA @=H K

AJ @ ABA?JEL O A ?EA JA F=H= ?= ?K =H K IEIJA =

1 JH @K??E
@A CA AH=@ HAI @A E@A= @A K IA ECHKF ? =D H= = C HEJ ? D=>
= B H = @A ? IJHKEH @A IA ECHKF CA AHE? ? = GKA IKHCA @A J HIE I CH=@ I @A J HIE J HIE -I

%
=I D=IJ= JH=H = AH= ABA?JEL= A E@A= @A K CHKA ?E=I FH > A GKA ?= ?K = I @EIJE J I LEHJEA @ A

- IECKEA JA FH > A = BKA A ?

I F=H= HAI LAH IEIJA =I @E B = JE? I A ? = AH= =JKH= = JH=J=H ?

IA ECHKF I ?= ?A =JEL I

-IJ= BKA = ? =LA F=H= F @AH @=H K = C HEJ I IEIJA =I E E = AI @A CA AH=@ HAI @A E>HA @A
5 ?

@K I GKA =F=HA?A A K = HAI K?E AJ @ ABA?JEL A ? A ?=F


JK AKJH AJ @ @=@ A 1 AIJK@E= E E = AI @A CA AH=@ HAI @A AIJ I ?E=@ I = IA ECHKF I =>A E= AA A J E@A= AI @A HAJ
?K IA ECHKF I O ? HEJ ?E@ I @A ? = ?K I GKA

*+ 2'&= F=H= ?= ?K =H IEIJA =I @K I I E@A= AI =I @A ? I I EJ= A JA CA AH=@ I O I = AIJHK?JKH= @A

I ?= ?A =JEL I

@AJAH E = @ GKA AIJ I IA ? HHAIF

1 *  -IJA AIJK@E HALA = K = @K= E@=@ A JHA I @EIJE J I = C HEJ I=C @A E@A= AI @A HAJ
?K IA

I HAJ
?K I 6= >E A = =E =

>=I=@ I A A KI @A >=IAI

@A /H > AH O =F O = @

I HAIK J=@ I >JA E@ I @= J HIE 1 ,

I FAH EJA ?= ?K =H IEIJA =I EHHA@K?E> AI @A CA AH=@ O 1 , " -IJA ?=F


JK 86'' CHKA ?E=I KO I JA E@ FK> E?=@ A A =HJ
?K

HAI @A E@A= @A K IA ECHKF ? HA? CA > =IE?= A JA A ? - ?=F


JK I K?E -

11 AIJ = @A@E?=@ = AIJK@E @A =I AIJHK?JKH=I @A =I I @EIJE J I AJ @ I >=I=@ I A J A? E?=I AI =I


?

AI A JAH=I F IEJEL=I @A K IEIJA = @E B = JE? A ?

FHE AH KC=H LA

@EIF=HAI GKA HAIKA LA IEIJA =I @E B = JE? I IE ? IEIJA =I @A CA AH=@ HAI K?E E E = AI @A @E?D=I I K?E I AI F=HJE?K =HAI ,AIFK AI CA AH= E = @= I = C HEJ

CHKA ?E=I @= @

I HAIK J=@ I I >HA =I

AIJHK?JKH=I @A =I N I K?E JE CHKA ?E=I 2 H K ? IA ? ?=F


JK 11 , # O A A A = @A ,E? I

AI @A AI I IEIJA =I = IEIJA =I A ? I >=I=@ I A >=IAI @A /H > AH JA E@ @A AIJA CHKA ?E=I I 11 , $ F=H= HAI LAH IEIJA =I @E B = JE

CHKA ?E=I IE = =@EH KAL=I L=HE=> AI - ? = F


= O CA AH= E = = ?=I @A IEIJA =I A ? 2+86'&

HAIK J=@ I >JA E@ I A

&
- A ?=F
JK E = @A = @A E AIE @A ?=H=?JAHE =H @K 111 ? A = = CA>H= @A K IA ECHKF I CH=@ I @A @A IE?ECE=I @A = =O= = 8A

1 JH @K??E
I = AIJK@E=H = HAI K?E I? E>HA E

IA FKA

I IEIJA =I

E E = AI @A CA AH=@ HAI @K I

5 = JH=L AI @A AIJHK?JKH=I ?

>E =J HE=I - F=HJE?K =H HAI LA E@A= @A IA ECHKF  ? @ HAI ? ?E@ I E E = AI F @A

I AIJA FH > A = F=H= A 

A@E= JA K = C HEJ I ?= ?K =H

111 * $ 6= >E A LA

I CH=@ I GKA =F=HA?A A ?

I IEIJA =I @A CA AH= I HA I

I FH FE I CA AH=@ HAI

IK J=@ I FHAIA J=@ I A AIJA ?=F


JK =F=HA?E@ I A A A ? = ?K @A *+ 2'&> O *+ 2'&= 18 @A@E?= - ?=F
JK F=H= ?= ?K =H > E?=@ I A

IJEJKOA K = HALEIE @A AJ @ ABA?JEL @K >=I=@

I = @=H K

@A N I K?E

AI @A IEIJA =I @E B = JE? I A ? HA? CA I

CHKA ?E=I @A IE?ECE=I

I CH=@ I GKA =F=HA?A A A FHE AH

5 18 ) & * =IE?= A JA AIJA ?=F


JK

I HAIK J=@ I FK 18 =

2+86AH 8 CA AH= E = I AJ @ I @A ?=F


JK
5 8 ) ' )@A =I @=

- A ?=F
JK

J @= = HAI K?E @A = CA>H=


E AIE

I ? J=I F=H= I CA

I CH=@ I GKA =F=HA?A A K IEIJA = @K @A IE?ECE=I @A AH=@ HAI ? +  =I


? IE@AH=@ I F=H= A IA ECHKF K = C HEJ 81 LA I

E E = @A CA AH=@ HAI @A 6AH E = I A ?=F


JK I

5 A BK ?E I = A JA @A

ANF E?EJ= @ K = ? J= F=H= = HACK =HE@=@ @A K = L=HEA@=@ J HE?= 8 F=H= D= =H @E?D= HACK =HE@=@ 8 +  AIJ = HA? CE@ I A * 2+86'' A HE= HAIK J=@ I @A AIJA ?=F
JK - A ?=F
JK E KIJH= I = C HEJ

I K = IAHEA @A A A F I K AHE? I GKA

=I E F HJ= JAI @=@ I A AIJ=

+)2 167

+ = ?K @A 1@A= AI @A 4AJ
?K I O 5A ECHKF I

IA. INTRODUCCION
5A= 5 K IA ECHKF ? AA A J @A 5 ,A
:

KJ=JEL OB

H

EJ= A JA CA AH=@ O ?

AKJH J=HA
:H

K ?KAHF IF H4= = E

C K IEIJA = @A CA AH=@ HAI

A H E @AJAH E =@=I I >HA A ?KAHF

4A? H@A AI A ? A @A K

I GKA IA FKA@A =I ?E=H K E@A= 1 @AFA @EA JA @A IE@AH=@ A 5 = IA ECHKF 5 ,E?D E@A= @A = CA>H=I
5
E

IEIJA = @A CA AH=@ HAI ? H I

 4  :E 

1 )  ?E@ LAH 0-4% 

@A

5 AI A = CA>H= =I ?E=@= = 5 )@A =I AI ?

GKA 1 AIJ = CA AH=@ F H A ?

K J
H : E E E  E E

B:
KAC AI K E@A= >E

H : E 

E=


,EHA

1@A= AI @A 4AJ
?K

A 1@A= AI @A 5A ECHKF
@E?E 5  5

I GKA 5 AI = =O= = IE LAHE ?= = ?

BC
E E

-IJ= FH FEA@=@ AI BK @= A J= F=H= F @AH D=> =H @A IEIJA =I




= AI @A CA AH=@ HAI @A 1 7 IA ECHKF AI ?= ?A =JEL IE @=@ I


5?


IA JEA A I @A FH BK @E =H

- ?=F
JK I F IJAHE I

HAI

I A ?=HC=HA ,A

=I A A =IFA?J JA HE? @A @=@ K HAJ


?K

HAIK J=@ I GKA A?AIEJ=HA @A Z


H

I I >HA A = CA>H= @A K IA ECHKF E= A 4


N
H

= AH= F=HA?E@= = ?=I @A IA ECHKF I =I ?E=H K E@A= >E


1 :K :L K L

A F @A

) AIJ I E@A= AI 2=H= ,EHA


N
H

I = =HA J=?E
H

I @A @=@
K

= AH= CA AHE?= E@A= AI @A HAJ


?K
ZH @A

=H

J=

I F H K K = @E?E

E? I A A A J I @A N J= AI GKA K K I GKA K HAJ


?K
Z

K O IKFFK  IKFFK 
ZH O

AI = =O= = IE LAHE ?= = ?
K

 ; @EHA

I GKA AI I=JKH=@ IE @=@ ?K= GKEAH KF = K K LAHE ?= @ ANEIJA K = IA JEA A K


) ?

?K= GKEAH K HAJ


?K J= GKA HAJ
?K I

- J

?AI IE IK E@A=

AI I=JKH=@ AH) -I ? AIJA ?=F


JK

=JHE

? A ?EA JAI A JAH I I=JKH=@

?E@ GKA @=@ K HAJ


?K LAHA KJ=JEL I I A

=I ?E=@ AI FHE

LAH -5'$  FHE AH KC=H GKA I E@A= AI @A AA A J I F=H= ?= I

A HA= E@=@ K ?=I F=HJE?K =H @A E@A= AI @A IA ECHKF I EJ= A JA CA AH=@ I ?

I IA ECHKF I ?

AKJH O ?= ?A =JEL I  A = 1 *  @= @ @EIJE J I = C HEJ ?K =H K IEIJA = @A CA AH=@ HAI @A E@A= 1 )@A =I = = E =HA I @EBAHA JAI

AJ @ I F=H= ?= ?K =H K

CA AH=@ HAI @A E@A= 1 = F=HJEH @A K IEIJA = @A CA AH=@ HAI @A

IB. IDEALES DE RET ICULO E IDEALES DE SEMIGRUPO


,A KAL ? AKJH IE@AHA I 5 K IA ECHKF =>A E= I IKF AH IE ? AA A J ?= ?A =JEL O EJ= A JA CA AH=@ 2 H A 6A HA = @A -IJHK? FAH@E@= @A CA AH= E@=@

JKH= LAH *+ 2'&>  F @A

+=F
JK

1 + = ?K
GKA

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I



Z = Z

Z =I Z

@A =

=I I

A JAH I

K I +

IE@AHA

IB

CK ?
:H A

K J @A CA AH=@ HAI @A IA ECHKF 5 = JAHE H O IA= 1 E@A= =I ?E=@ = 5 - E@A= = JAHE H


1
AH5

:

F @A

I E@A JE ?=H ?
  + + + )

A E@A= @A HAJ
?K AI A JAH=I

@A AH5 AI A HAJ
?K

B H =@ F H =I I K?E
* *

@A IEIJA =  ?


N NH

H * (

FKA@A LAHIA A A IECKEA JA HAIK J=@


EJ= A JA CA AH=@ =>A

Lema IB.1

1 AI K E@A= @A K IA ECHKF 5 ?= ?A =JEL

E=

O?

AA A J

AKJH


IE O I
H

IE 1 AI K E@A= @A HAJ
?K

Demostraci on. 5A= 5


2 H 0-4% I=>A

K IA ECHKF O IA= 1 IK E@A= A 4


H : E E E  E E E E

I GKA 1 AIJ = CA AH=@ F H

*
F H

B:

H : E 

 C

)@A =I F H IAH 5 ?= ?A =JEL

F @A
H : E 

I =IACKH=H GKA 1 AIJ = CA AH=@


E E

*
2 H J= J ? J K J * JA A


B:
I GKA
1 :

ZC

= @ A HAJ
?K
:

CA AH=@ F H =I H KF =I

@A

KAC 1 AI K E@A= @A HAJ


?K 4A?
FH ?= A JA IA= ?=?E K HAJ
?K
 NH  ZH AE % AE

A ZH +

IE@AH=

I = =F E


@ @A I AE B H = 5A= 5 A IA ECHKF =I ?E=@ ? E ?E@A ?
-IJA HAIK J=@

1@A= AI @A 4AJ
?K
= >=IA ?= E?= @A NH
A 1 AH

A 1@A= AI @A 5A ECHKF

 +/  -I B =?E LAH GKA IK E@A=

I E @E?= GKA ANEIJA K = @K= E@=@ A JHA KJ=JEL I EJ= A JA CA AH=@ I O ?


5 A =I ?E=

I IA AA IK

ECHKF I ?= ?A =JEL I ? A J HAJ


?K AKJH
A

O
AH

I HAJ
?K I ,=@ K IA ECHKF F @A

AH5 O @=@ K HAJ


?K

I =I ?E=H A K IA ECHKF IE AH5 IE 5 AI O AI O AI

4AIFA?J = =I FH FEA@=@AI AI B =?E LAH GKA IE IE AH5 AI I=JKH=@ AI = =O= = IE O I A @A = E AIJ GKA -GKEL= A JA A JA

F=HJE IE F=HJE

I @A K IA ECHKF 5 5 AI = =O= = IE O I I @A K HAJ


?K

5 AI E>HA @A J HIE IE O I

I=JKH=@ IE O I - AA F

IE 5 AI E>HA @A J HIE IECKEA JA F

I IEIJA =I @A

CA AH=@ HAI EHHA@K?E> AI @A 1 FKA@A JA AH @EIJE J ?=H@E =

Ejemplo IB.2

5A= A IA ECHKF E ? KE@ A Z


5

Z "Z

        ! 
"

 !

GKA

AI

= =O= = 

- J

?AI IA JEA A GKA A E@A= @A 5

AIJ = CA AH=@ F H
1 N " N" ! N N
& " & N! " N! N" N! 

N" N

& "  &   N"  N! N N N!

$ N  N

@A = > I IEIJA =I I

EHHA@K?E> AI
@E?E

5E A >=HC IE A IA ECHKF @A F=HJE@= ?K F A = ?


5

 5

BC
E E = AI @A CA A

E A AI = =O= = JEA A IA JE@ D=> =H @A IEIJA =I


H=@ HAI @A 1 O= GKA J @ I

I IEIJA =I EHHA@K?E> AI @A CA AH=@ HAI JEA

A A A JH=HA

EI I?

?=H@E = LAH *+ 2'&> =K GKA A ?=F


JK I F IJAHE HAI =I @AJ= A A AIJA JA = ) IAH AIJ= K = FH FEA@=@

+=F
JK

1 + = ?K

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I

!
2=H= A

GKA =BA?J= J= J = HAIK J=@ GKA IA >JEA A AI E JAHAI= JA F @AH @A JA?J=H ? KI=HA GK A JEF @A IA ECHKF I = IECKEA JA ?=H=?JAHE =?E
O IA= 1 IK E@A= A E A

H

I AIJ=

I A BHA J= @

Lema IB.3

5A= 5 K IA ECHKF AI = =O= = IE O I  IEA @ K

: :H

:H - IA ECHKF 5

IE ANEIJA A IK E@A= 1 K >E


:

E @A = B H =

Demostraci on. 5A=


GKA ANEIJA K >E - AIA ?=I JA A

I CA AH=@ HAI @A 5 O IKF 




C=
H

I
N
H

E : I GKA

 FAHJA A?EA JA = 1 ?
H : E  E E

? 


?K= 5
H H

AI = =O= =
N J= GKA
2H

) = C= A JA IE 5
E 

AI
E E

= =O= = ANEIJA K = H KF =
 OF H J= J A >E E : 

FAHJA A?A = 1

Nota IB.4

2=H= LAH A J @A 1 IE D=O


2=IA @A HAJ
?K O?

?AI IE 5 AI

= =O= = I E= AI ?

D=>H = GKA >KI?=H A ? A ?EA JAI  O  K E  ?

?K= GKEAH IEIJA = @A CA AH=@ HAI >E

K A A A J @A = B H = 
I =D H= = LAH @EIJE J I = C HEJ I @EIJE J I = C HEJ KJ=JEL I ?= ?A =JEL I O = F=HJEH @A A AKJH

I F=H= ?= ?K =H K E@A= I F=H= ?= ?K =H E@A= EJ= A JA CA AH=@ I

AI @A IA ECHKF I ? AA A J

IC. ALGORITMOS CLASICOS DE CALCULO DE 1


+ ? = J=?E = JAHE H A FH > A = GKA I F = JA= I AI ?= ?K =H K I CA AH=@ HAI @A E@A= 1 = F=HJEH @A K ? I = IKF K J @A

CA AH=@ HAI + @A - =@A = JA L= AH IE F AH@E@= @A CA AH= E@=@ GKA

"
F=H= J @= ? AGKEL= A JAI =GKA H=?E IA H@A =@= E  K AA A J K

) C HEJ
H @A

IE? I @A + I+= = ?K
I A A A J I @A F @A ANEIJA = I?

@A 1
A I

J= GKA KE $  /H=?E=I = A I IEIJA =I @A CA AH=@ HAI + @A

IE@AH=H
NH O

J= AI GKA + I = JH I ?

I GKA ANEIJA K A A A J ?

J @=I =I ?

H@A =@=I AI FA

JHE?J= A JA F IEJEL=I O= GKA F @HA AI A A A J= AI )@A =I K IE ANEIJA A JH 7 = FH FEA@=@ @A A ANEIJA IE O I

I F=I=H @A K

@A AIJ I IEIJA =I @A CA AH=@ HAI GKA I IAH = JE KO K

I E@A= AI @A HAJ
?K

IK?AIEL AI = IECKEA JA
:L 1 IE O I

Lema IC.1

:K

IE K

K L

NH

Demostraci on. 2 H @A
) HAJ
?K F HK I ?EAHJ I - J


E?E @A 1 IE K L = GKA JA A
5 J= AI GKA

JA A

I GKA :K :L

KAC AI = JH= E F E?=?E F @A


H

I GKA FH >=H AH5 A 1


1

I =I ?E=H A 1 *  K IA ECHKF 5 CA AH=@ E :


:L 
K

?AI @=@ K >E 


:K
E

: KE

1
:

1 JA A LE
E

I GKA 1 ) 

OF H ?

J= J

KE LE 

AC=

IA J

?AI = GKA K L

AH5

? KOA @

= @A

IJH=?E
4K F E : :H BC

5E AI K E@A= @A 4 O B I? K J I 
B  B

J= >E A I

E@A= AI

BC
:

C
NC

BC
I
I

:H

BI C

F=H= = C K I

) AIJ I E@A= AI GKA  AI K


B 


= =HA

I E@A= AI ? ?EA JAI @A AJDAHE= I=>A

I >HA B B
N J=

HAIFA?JEL= A JA 2 H IAH 4  E LAH -5'$ 

I GKA ANEIJA I E= AI IE AI >E

B  -IJ I E@A= AI IAH = >E

E= O B

+=F
JK

1 + = ?K

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I
- F HGK A @A D=>AH E JH @K?E@

#
I EC= = I E@A= AI

I E@A= AI = JAHE HAI GKA@= ? =

H= A JA HAIF @A HAJ
?K

@E@ A A IECKEA JA A = A ?K=

Lema IC.2

5A= + HAJ
?K @ @A

BK

KI C

- J IE 
:K
+

?AI + AI K ?  :
:K :H   K K 1 K

K J @A CA AH=@ HAI @A

IE O I

Demostraci on. 8A=


L=

I A FHE AH KC=H = E F E?=?E I = ECK= @=@


:H   1

IE 2=H= A

I = FH >=H F H @ > A E ? KIE  5A= K


K
2I

 :

K
E KE

5E + CA AH= - J

@A

IA JEA A GKA ANEIJA


 E )

Z J= AI GKA K

E 

?AI
I ; E 
 (

:K
:K

:KE
:KE


E

2 H? KE A

@E@=@ @A JH ?=I

J=?E GKA@= @
:K
:K

J=HA
 (

I F H LE = = KF = KE IE IECKA
  )



= ANFHAIE = JAHE H ?

I ; E 

:L E
:L E

 J=?E GKA

E E

  8=
=

I = IKF I @A

AH F H ? E =@ HAI

@E@=@ @A AC=

4A@K?EA @ E : J= GKA

I = GKA ANEIJA K ?EAHJ


2

:= :K

:K 
E LE

:K :
+

E LE

E LE

8A=

I GKA :

E LE

$
: :L :M :L ?
M 

) C HEJ
5E IKF J= J
:
2
E LE

IE? I @A + I+= = ?K
I?
E LE

@A 1
2
E LE

I GKA
M  :
2
E LE

 

 F @A L
2I

IE@AH=H : O M 


E LE

L

2I

E LE

2 H

:M :L :
M 

:M :L :M :L




:M :L :M :L




:L
+

:L  :L :

M 

:M :L
:M 
2

5E FAH= 2
:
E LE

I @A
+

= AH= E @K?JEL= ? I @A IJH=@ 1

:M :M

>JA A  :

O O= DA

:H  

I GKA :

E LE

= JH= E ? KIE AI JHELE= >=IJ= ? JA AI >E E= O FH >=H = E ? KIE F=H= >E


1 :
K

HA? H@=H GKA A E@A= ? ?EA E I KI= @ 1 +  A IK O IK >E E


:=

2=H= FH >=H = E F E?=?E HA?


FH ?= J E =I ?E=@ A @A
= K = K + :
K +

- J

?AI ANEIJEH = K

= AH= GKA := :K

:K 

)F E?= @ =D H= 1 +  JA A

IK

2 H

J= J

+ AI K IEIJA = @A CA AH=@ HAI @A

+A JH A

IA

I = C HEJ 
+

I @A ? = ?K
:H  

@A E@A=

 :

O= GKA =I
>JA A

I1

Teor a de Eliminaci on
- FHE AH GKA HABAHE I IA >=I= A = 6A H
= @A - E E =?E
E K O IA=
:

Proposici on IC.3

5A= 1
B

B

B B  ;B
:

K E@A= @A 4 IA= B E@A= A


: 4 )@A =I IE BC ;B
:

4K F E :H ; - J

?AI 1 B  AI A E@A= ?

@A A E E =?E
CE DE 

C C AI K = >=IA @A DE D E : :H ; 

DE B

  E 

+=F
JK

1 + = ?K
A

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I

%

AH K
I

=NB@AC; DE    E  1 BI 
$$
+

  C

I=JEIB=?A 1 B 

Demostraci on. 8AH *9'! F =C


2=H= ?= ?K =H A E@A=  A E@A= @A A E E =?E @A AI K IEIJA = CA AH=@ H @A @A /H > AH LAH *9'!  = E JH=J= ? K
4? B
+

 :
B 

:H   D=>H = FKAI GKA ?= ?K =H : :H ;

@A BB

BC

-IJA ? = ?K

IA HA= E =
:

A@E= JA >=IAI
:H ;

JAIA GKA DA

I F=I=@ @A JH=>= =H A K ?K= FH > A = ?K= @

H L=HE=> AI = JH ?

H  L=HE=> AI

D=?A GKA A ? IJA ? -NEIJA A ?AI ? FKJ=?E JH I =

FKJ=?E

= =K A JA AJAH

I @A HA= E =H ? = ?K I KI= @ >=IAI @A /H > AH AJ @ I >=I=@ I A ?= ?K =H >=IAI @A /H > AH AH @A L=HE=> AI H K GKA A CA AH= =?A AH= A FH

M etodo de Sturmfels-Hosten-Shapiro
- FHE AH GKA AIJK@E= F IEJEL= -IJ = ELA @A HAJ
?K
N

I =F=HA?A A

567'# O FKA@A =F E?=H IA A = E


4 IA=

IA = ?=I A A ?K= = CH=@K=?E GKA ?


H

IE@AHA

IA JH=@K?A A GKA IA LAHE ?=

BC
IA >=I= A A IECKEA JA A =
?AI
:H O

AI @A?EH AI = =O= = ,E?D = C HEJ

Lema IC.4

5A= @A ?

K E@A= D H@A

C A A F=H= K = CH=@K=?E F IEJEL= A J ANE? CH = ? E @K?E@ F H : IF E

=@ A

HALAHI

J= @ F H / = = >=IA @A /H > AH HA@K?E@= @A K J B H =@ F H

IA JEA A GKA A

E I GKA HAIK J= @A @ELE@EH ?=@= A A

A J B

/ F H = =O H F JA ?E= @A :H GKA @ELE@A = B AI K = >=IA @A


: H

/H > AH @A 

Demostraci on. 8AH 567'# A =  

&
-IJA A = IECKEA JA

) C HEJ

IE? I @A + I+= = ?K

@A 1

I FAH EJA ?= ?K =H A ? ?EA JA HAIFA?J @A K = L= I E JAHAI= ? A

HE=> A FK@E A @ IA = F E=H = E@A= ? ?EA JA GKA AJ @ HA?KHHA JA  -IJ  :


:H  





 :  : 

 : H

I > EC=H
= = ?

FKJ=H H >=IAI @A /H > AH F=H= F @AH >JA AH =I A H=

K = C HEJ A A = C HEJ :


:H  


GKA HAIKA L= KAIJH FH > A = )F E?= @ JH=>= I I GKA IA FKA@A AIJ=> A?AH K = IKIJ= ?E=
H LA?AI

HA?EA JAI  05  LA

HA?KHHA JA = JAHE H O= GKA F=H= ? AI A?AI=HE =F E?=H


K J @A L=HE=> AI 6
1

FKJ=H A E@A= 

Teorema IC.5

-NEIJA K ?

B:E

:E C J= AI GKA





 : E  :E 

 : E 

 >H ?
AJ @ GKA IA FH F O ? AA = A ?A 05 F=H= ?= ?K =H A = JAHE H ? =JHE ?KO=I I ?
6


K J 6 AI A IECKEA JA IA= J I @A K = >=IA @A ? H= @E@=@ @A = @A I JH=HE I I FHE AH I I GKA A ?=I ?


6 6

=I I 5KF

I AA A C= C=


I F H I GKA

J=?E GKA

I FHE AH I

A A A J I @A = FHE A AH GKA I  > =F H A IK = @A =IK E

K I O A HAIJ ?AH I )@A =I IKF I F IEJEL I 2 @A K JEF E?=H


= IA J I IKF I AIJ=

? O=
5A= O IKI =AA I GKA =I ,A
:


B :


:I C - E E =

?AI = FHE AH= JH=HE I


6

FHE AH=I A J I @A I A

? K EI

=I 5E = IEC F=H=

=JHE HAIK J= JA JEA A A ?=@= I - ?=I ? =I ?=@ I A

FHE AH I A A A J I @A = FHE AH= I GKA D=O I F IEJEL I ? I?


IF  >

K I O IKF

=I FHE AH=I ? K

KAL F @A O HAFAJE
I I

IE@AH=H GKA I  > ) = JA @HA




? 5A= 6
IK ?

B:

I A FH ?AI I +

K J 6 @A ?=H@E = K J 6 IA I? IE@AH=@

? >

>

?  >H ? -IJA ?

AI A GKA >KI?=

=I IKF IE?E

AI GKA DA

+=F
JK

1 + = ?K

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I
=JHE AI @A = B H =
 (

'

AC= = GKA =

 )

+ ,

@
 * * * * (

@A * AI K = F

2F




=JHE ?
 

= AIJHK?JKH=
        
 + + + + )

O , AI K = @A IEC

=JHE J= GKA A ?=@= K = @A IKI HAIK J= JA AI


AI = JAHE HAI

=I

D=O A A A J I

I @EIJE J I - = C HEJ

Algoritmo IC.6

=I

J=?E

- JH=@= 7 ? 5= E@= 7 ?

K J @A CA AH=@ HAI + @A K HAJ


?K K J @A CA AH=@ HAI @A E@A= 1 =

= =O= =

F?E 5A=

A JA HAA F = =H = >=IA + F H K = HA@K?E@= A A L =I LAH + 0'! 


:K K + :K

IA JE@ @A


! +

FKJ= 

IA ? ?

K J @A L=HE=> AI 6 FKJ= I 

B: 
: ? E

: C JA HA =

1 + # " 2=H= E #
1
E E 

IE@AH= @ A
6 =

H@A HALAHI

ANE? CH = ? IEA @

= L=HE=> A : E

2=H= =F E?=H AIJA = C HEJ @E?E AH= GKA


N
H

= HAJ
?K I GKA ? IE@AHA IK =Z = =HA

LAHE GKA

=? =

BC O I=JKH=@ I JA A

I GKA KI=H = A AL=?E @A =M =JHE ) @A  E A AH)

HA ?A LAH * 85 '!  2=H= A IA= A HAJ


?K @A =D
= A?AIE@=@ @A GKA

=I ?E=@ = IEIJA = )N IA= I=JKH=@ 

I A AL=?E @A


=MHA ?A @A ) = = =JHE

) C HEJ

IE? I @A + I+= = ?K

@A 1

)
5E K =

) 
 

 )

=JHE JEA A = B H = = JAHE H @EHA =I =JHE?AI ) O ) JEA A AH) 




I GKA AI @A =MHA ?A HB I LAHE ?= @

? A I EI K
K

BK K

2 H

J= J

A E@A= =I ?E=@ = AH)  AI


1
AH) 

: K ;K ;H

:K ; K

A A = E =O= = 2 H

:

: H ;

JAIA GKA AH)  AI K HAJ


?K F=H= A ? = ?K

J= J

JA A

I K = C HEJ

@A K IEIJA

= @A CA AH=@ HAI @A E@A= @A K HAJ


?K >=I=@ A 1 + $

= =O= = O I=JKH=@

Algoritmo IC.7

- JH=@= 7 HAJ
?K

= =O= = O I=JKH=@ I ) J= GKA IK HAJ


?K


5= E@= 7 IEIJA = @A CA AH=@ HAI @A E@A= 1)

 += ?K = += ?K = ! 5A=

=I ?E=@ IA= FKJ= I KI= @ 1 + $

I ) A AL=?E @A =MHA ?A @A ) O ?
AH) 

K IEIJA = @A CA AH=@ HAI / @A 1

/
-IJA ?

B>E

E I @A / ?

=I L=HE=> AI ; ECK= AI = K

K J AI K IEIJA = @A CA AH=@ HAI @A 1

M etodo de Di Biase-Urbanke
JE - K @A HAJ
?K AJ @ GKA FHAIA J= ,*7'# I F=H= A ? = ?K @A K E@A= IA >=I= A

+=F
JK
Denici on IC.8

1 + = ?K
,EHA
K L E

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I
I GKA K
+



= IE F=H= J @
IKFFK  FAH

K J ?AI LE

@A LA?J HAI + AI
IKFFL 

HJ C

>EA

IKFFK 

IE ANEIJA E

IKFFL  A J


GKA L= I = FHAIA J=H AIJ = A A

= ? =LA F=H= A = C HEJ

IECKEA JA HAIK J=@ I >HA E@A= AI @A HAJ


?K

Lema IC.9

,=@ K ? AA A J ? GKA 1
+

K J + @A CA AH=@ HAI @A HAJ


?K J @=I IKI ?

IE +

NH

F IAA K

H@A =@=I AIJHE?J= A JA F IEJEL=I IA JEA A

Demostraci on. 5E A ?

+

K J + LAHE ?= =I DEF JAIEI @A A = JA A E LAHIE> AI @K


+

I
+

GKA J @=I =I L=HE=> AI I  :


 2 +
:H  


OF H

J= J

- = C HEJ

IA >=I= A @ I F=I I FHE ?EF= AI K IAHEA @A HAJ


?K I

IJHKEH HA?KHIEL= A JA = F=HJEH @A



J

J= GKA

LAHE GKA A A = 1 + ' I ?= >E I = ELA @A I E@A= AI =I ?E=@ I = IJHK??E @A = ?=@A =

2 ,AID=?AH
7 HAIK J=@

JH=L AI @A >=IAI @A /H > AH F=H= AC=H = >JA AH 1 KO E F HJ= JA F=H= = ? @A HAJ


?K I  2  AI A IECKEA JA

Lema IC.10

,=@ + HJ C

BK

K CK ?

K J @A CA AH=@ HAI @A EI HAJ


?K
HJ C

ANEIJA JH +

= GKA CA AH= A
K J 

Demostraci on. 7 ?
?
L K L K

= + LEA A @=@ F H +
KE  KE
  LE 

BL

L C

2 H @A
HJ C

K  4A= E = @ K = IAHEA @A ?= >E I A K IEIJA = @A CA AH=@ HAI

E?E

K  L O LE =NE B KE C

E!

= @A

@A IEC

A AIJA ?=I  F @A

I?

IJHKEH K = IK?AIE

) C HEJ
EJ= @A HAJ
?K I @A D=H =

IE? I @A + I+= = ?K
JA C=

@A 1

JE = AH= GKA @A K

I K IEIJA = @A ?EJ=@ I IA

CA AH=@ HAI LAHE ?= @ A A = 1 + ' A@E= JA = =F E?=?E


E

I ?= >E I @A IEC

ZH

= O =I
+E +E   O =I @A IE :
K

 ZH =H  %  =

=E

=H 

I HAJ
?K I O IKI IEIJA =I @A CA AH=@ HAI L= = GKA@=H @A
HC GKA O= @AJAH E =HA
E

E@ I
E

AI A HAJ
?K I

CA AH=@ F H +E F=H= ?EAHJ I =I =@A = JA J= @ F H : = E : E:


H

B

+ E I IE IE O I

E?E
E

AI = JAHE HAI O @A IA JEA A GKA K >E

= L=HE=> A :
L H

: AIJ =A 1

I
E

- F=I

: : E AIJ =A 1 E 2 ?EJ=@ = JAI IA >=I= A

= IECKEA JA FH F IE?E

Proposici on IC.11

5A=
/E

B:H E :K
?AI

:L

K = >=IA @A /H > AH @A 1 E HAIFA?J = ?K= GKEAH H@A @A A E E =?E F=H= = L=HE=> A :


E

- J
/

B:K

:L :H E
E 

AI K IEIJA = @A CA AH=@ HAI @A 1

Demostraci on. 8AH 567'# FH F IE?E  #


2=H= ?= >E=H = L=HE=> A : = JAHE H O AC=H = ? GKA >KI?= I KI= IACKEH K
6 E :H E :K
@A =@ ?

= FH F IE?E
1
E 

I CA AH=@ HAI @A E@A= HAJ


?K
E

I = =F E?=?E 6

:L 

:K :L :H E
F=I=HA I=

8EIJ I ANF E?EJ=H

I F=I I

=I E F HJ= JAI @A = C HEJ

+=F
JK
Algoritmo IC.12

1 + = ?K
+ =I

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I
J=?E AI = JAHE HAI K J + @A CA AH=@ HAI @A =

- JH=@= 7 ?  + ! + F?E

5= E@= 7 IEIJA = @A CA AH=@ HAI @A 1 A JA HAA F = =H = >=IA + F H K = HA@K?E@= A A L =I LAH + 0'!  I + K ? I


) +)

IA JE@ @A IJHKO= IE@AHA

K J @A CA AH=@ HAI @A

HJ C

B=
= 

=C
=

BIKFFL  L

=

+ C
N
H

+ 

O IA=
/)

B:L
I=

:L

+) C

" 0=IJ= GKA ) @A =F E?=H 6= =

I /) B=C A HAIK J=@ I A A A J I @A = >=IA @A /H > AH HA@K?E@= H@A := )D H= )


) B =C

A ACE

)OJ

F=H= /) HAIFA?J @A

# - HAIK J=@ /) AI K ?

K J @A CA AH=@ HAI @A 1

ID. CALCULO DE IDEALES DE SEMIGRUPOS


8 L= I I >HA KAIJH IA ECHKF
5
Z
D

Z = Z

Z =I Z

@A =

=I I

A JAH I

K I +

IE@AHA

IB

CK ?

K J @A CA AH=@ HAI @A IA ECHKF - A = 1 *  AI K = FEA = ? =LA F=H= =F E?=H =I J A? E?=I @A =I IA??E AI = JAHE HAI = ? = ?K ? @A E@A= AI @A IA ECHKF I ? I K KAL IA ECHKF 5 2=H= A E E =H = J HIE =I ?E=@ = 5 IJHKE


J HIE
ZD
I

"
5A= A Z
D I

+ = ?K

E E

@A 1@A= AI @A 5A ECHKF I
IE@AH= @ I CA AH=@ HAI @A 5

&E


B

D

HC ?

 O IA= J= >E A
E



 =E
I H



F=H= E

BH 
,A JA

IC @

@A =E

?KF= = ?
I

H@A =@=

H


D
H I

I 5 = IA ECHKF @A ZD

CA AH=@ F H B 

Algoritmo Algebraico
5A= AH5  A HAJ
?K IEIJA =  


B H =@ F H =I I K?E


AI A JAH=I @A

H I * (

* *

N NH
I

 + + + )

-I ALE@A JA A IECKEA JA HAIK J=@

Lema ID.1

,=@ K IEIJA = @A CA AH=@ HAI + @A AH5  HAIK J= @A FH OA?J=H + A @A CA AH=@ HAI @A AH5
)I
>JA A


ZH

A ?

K J + GKA

=I H FHE AH=I ?
Z
H

H@A =@=I AI K IEIJA =

I K = C HEJ

FKH= A JA = CA>H=E? F=H= ?= ?K J HIE

=H A E@A= @A K IA ECHKF ?

Algoritmo ID.2

=I

J=?E

AI = JAHE HAI

H

- JH=@= 7 IEIJA = @A CA AH=@ HAI @A 5 B

5= E@= 7 IEIJA = @A CA AH=@ HAI @A E@A= @A 5

 += ?K = += ?K = ! 2H OA?J=

I A IA ECHKF 5 IK ? I K J @A CA AH=@ HAI + @A HAJ


?K AH5 AH5  I+K

I A A A J I @A + I >HA ZH O >JA A

IEIJA = @A CA AH=@ HAI @A HAJ


?K

+=F
JK

1 + = ?K

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I
I K IEIJA = @A CA AH=@ HAI @A 1 @A ? = ?K
1
AH5

#
A

" ,A + >JA A

@E= JA = C K = C HEJ
8A= IK J=@ CA I IA

@A E@A= AI @A HAJ
?K
>=I=@ A K HA J HIE J HIE

= IECKEA JA IA??E

K = C HEJ

AJHE? F=H= ?= ?K =H A E@A= @A K IA ECHKF ? I E@A= AI @A IA ECHKF I ? I

5K AIJK@E ANF E?= F H GK A A?AI=HE= A JA FHE

Algoritmo Geom etrico


5A= 5 O 5 ? A = IA??E = JAHE H O IA= 1 A E@A= @A 5
E I ? =I

Lema ID.3

5A= * K

K J @A CA AH=@ HAI @A 1 B H =@ F H >E ?AI A ? A




? A ?EA JAI  O  - J L=HE=> AI B C @A 1


I :E H E H 

K J * GKA HAIK J= @A D=?AH K

I A A A J I @A * AI K IEIJA = @A CA AH=@ HAI

Demostraci on. - FHE AH KC=H LA=


B :


* A J
2H

?AI ANEIJA B @A
 
2H

* J= GKA B
2H I

I GKA * AIJ = E ? KE@ A


2H I

NH

E E

GKA

E 

E 

 

B :
E 

1 5A= B

E E

 

:H 

 ?

E E

-I E

A@E=J FH >=H >=IJ= FH ?AI  I GKA J= J =

E E

E 

2 H

J= J B AI K >E

E @A 1

)D H= FH >A >=H GKA J @ >E BK ?E @A


2H

I GKA * CA AH= A E@A= 1 2=H= A


: : K >E

E ?
E E

? A ?EA JAI  A 1 FKA@A IAH ANFHAI=@ A IJHKEHA




E 

E E

2H

I A A A J I @A * 5A= B +


E 

IB

1 J= GKA B

B :


E @A 1 A J


:H 

?K= >=IJ= O= GKA = IAH * K ? F @A D=?AH K @A * I ANFHAI=H B A BK ?E @A


I =I L=HE=> AI B:E CH E H

K J CA AH=@ H @A 1 JA A I A A A J I @A * O F H I B A BK ?E @A
E H :

JA A

IAA A J I F A JA @A
E

GKA FH >=H
= GKA * AI K ? 5=>A I GKA @A
I

K J @A CA AH=@ HAI @A 1 = = AIE = ?

J= @ F H
H : E  E E

&

E 

E E DZ

5E

BD 

IC = ECK= @=@ = JAHE H @A>A A JA @AHIA A Z =

$
F H J= J IA JEA A GKA
H : E  E E

+ = ?K

@A 1@A= AI @A 5A ECHKF I

H : E  E E

F=H= ?EAHJ ,A
H

I &E E

E

 I
&

O E

EA JH=I GKA IE E

I @A

E H D

IE A IE A

E H D




&

JH ?=I
E H D

E H D


 


2H I

JH ?=I
 
E E
2H I

-I B =?E ?
:


1 IA JEA A GKA B

FH >=H =D H= GKA
B :

E 

E 

E E

O GKA ?

B

:H 


= LKA J= = IA ECHKF E E?E= ? A A = C HEJ I KAL I CA AH=

7I= @ AIJA A = F @A CHKF @A F=HJE@= = K 1 , D=?EA @ K




I JH=>= =H F=I= @ @A KAIJH IA E @A HAJ


?K

E>HA @A J HIE

IA HA= E =H = = ELA @A E@A= O @ HAI @A 5

=I L=HE=> AI E JH @K?E@=I ?

Algoritmo ID.4

=I

J=?E

AI = JAHE HAI

H

- JH=@= 7 IEIJA = @A CA AH=@ HAI @A 5 B

5= E@= 7 IEIJA = EHHA@K?E> A @A CA AH=@ HAI @A E@A= @A 5 E @E?= @

IE 5 AI

= =O= = I A IA ECHKF 5 IK ? IK K J @A CA AH=@ HAI * @A 1 = C HEJ A * O >JA A 1

 += ?K = += ?K = +  ! 0=?A

I =I L=HE=> AI B:E CH E H

I * K IEI

JA = @A CA AH=@ HAI @A 1 " ,A * >JA A I K IEIJA = EHHA@K?E> A @A CA AH=@ HAI @A 1

+=F
JK

1 + = ?K

@A 1@A= AI @A 4AJ
?K I O 5A ECHKF I
-IJA = C HEJ AI ? FKJ=?E = A JA A

%
I A ?EA JA GKA 1 =I J HIE

, CA ?

O= GKA = =@A KAL=I L=HE=> AI = ? = ?K AJHE?= @A = AIJHK?JKH= @A J HIE >JA A I FHE C I @= K = ANF E?=?E @A F H GK A I = F=HJEH @A K FHE ?K= 15 

FAH @= K = LEIE

I E@A= AI @A IA ECHKF I ?

,A DA?D

I E@A= AI @A IA ECHKF I AI ?

I A CA AH= -IJ IA @A>A = GKA @E?D E@A= A@E= JA E JAHIA??E @= A?AI=HE= A JA K E@A= FHE

DEFAHIKFAH ?EAI B:

IE. NOTAS
K AIJA ?=F
JK DA I FHAIA J=@ @ I JEF I @A = C HEJ I I ?= ?K = A E@A= @A K HAJ
?K ,A A JHA F A O JH I A @A K IA ECHKF

I FHE AH I ANEIJA AIJK@E I GKA HA= E = K = ? F=H=?E AI I = JAHE HAI = = A H= HA= E =@= J= J

F=H=JEL= I >HA E@A= AI @A HAJ


?K I = =O= = O I=JKH=@ I LAH F H A A 05'#  -IJ=I ? 05 = C HEJ 1 + $ O @A A =I IA @A@K?
= GKA F=H= AIA JEF @A I AH= @A K A ?EA ?E= IE E =H 2 H 1 + $ AI )@A =I A =I A ?EA JA A ?K= J * 54'' E F A A J=

HAJ
?K I = > I = C HEJ = JEA F @A ? FKJ FJE E = = K @A>E@ = GKA IEA FHA AIJ= +  AI A @A HAJ
?K

?=>A FA I=H =D H= GKA A = C HEJ GKA 1 + 

@ A + + ) + +  IA @= K = C HEJ =I AIA = C HEJ - A ?=I @A K HAJ


?K

F=H= A E =@ @A 1 + $ A ?K= =I A ?EA JA AI 1 +  J= J 1 E I A H L=HE=> AI ?A I = =JKH= A = I A ANEIJ


= *+ 2'&> = FH =?JE

= =O= = A @A F E ?

D=O GKA KI=H = A AL=?E @A =MHA ?A O F H I JH=>= = @ A K = E

BHA JA = =I H L=HE=> AI A?AI=HE=I F=H= =F E?=H 1 + % - = C HEJ =I HA? A @=> A F=H= KI=H IE = =O= = AI @A?EH IE AI I=JKH=@ J HIE

- ?K= J = FAH @E?D = C HEJ

I E@A= AI @A IA ECHKF I ? KI=>= AJ @ I ?

D=IJ= = =F=HE?E @A 2+86'$ K = HABAHA ?E= = AIA ? = ?K ?= HAIK J= @A J @ E A ?EA JAI =@A =I @A GKA I IA ECHKF I = =O= = 7 = C HEJ

>E =J HE I GKA A

AI =F E?=> A =

F IJAHE H = 2+86'$ =F=HA?A A

&
47*'$ 4/5'& A ? 1 , JH= I JH = C HEJ @ FH > A = @AI@A A ? = ?K - JHA A = C HEJ = > I - = C HEJ 1 + DA I E F A A J=@ A @A N I K?E

J=I
@A IA => H@= A 4/5'&

AI @A K IEIJA = @E B = JE?

FK> E?=@ A

86''  O A =F=HA?E@ A

IA D= HA= E =@ AIJK@E I ?

F=H=JEL I HAIFA?J @A = A ?=?E= @A =F A8! O FKA

@A IAH >JA E@ L
= BJF A
ftp.uca.es/pub/matematicas/semigrou1.zip

+)2 167 5EIJA =I @E B = JE? I N I K?E AI

11

IIA. INTRODUCCION
- AIJA ?=F
JK @A @EIJE J I ? )@A =I @= +
/N

L=

I = HA= E =H K FAGKA

HA? HHE@ = JH=L AI AI @A C A A

AJ @ I GKA ?= ?K = N I K?E I KAL I = C HEJ I ?


H Z

AI @A K IEIJA = @E B = JE

I F=H= ?= ?K =H N I K?E

IEIJA =I @E B = JE? I A ? A ?A
/

CHKA ?E=I

IE@AH= @ A IEIJA = @E B = JE? D = AI @A IEC :1:  / 4%!

 ? -I ?

?E@ @AI@A

01 '  GKA AA A E E I

=I I K?E ?E J ? AI D AKJH O K =?

AI A JAH=I F IEJEL=I N I K?E EJ= A JA CA AH=@ >E =?E E A= ? K J

AI @A K IEIJA = @A A?K=

C A A=I @E B = JE?=I B H = K IA ECHKF 5 ?

E? IEIJA = ANEIJEA @ K K ? A ?EA JAI A JAH I F IEJEL I @A K J IA A @A

= @A CA AH=@ HAI J= GKA ?K= GKEAH N I K?E FKA@A IAH ANFHAI=@= A A A J I @A @E?D ?
0E >AHJ O IA A @A

) AIJA ?

E = >=IA @A

J= F H 05 05

!
,A O H GKA


1 JH @K??E
J=HA  A IF H


H@A F=H?E=

AH I A JAH I @=@=I @ I KF =I @A K  IE J @ I IK IE &




O  @EHA
H

=JKH= I >HA NH AI @A?EH I GKA




AI A JAH I

= AI

I A A A J I @A K 5A=

AC=JEL I O = E E = A = ? K J
IE
IE

AI

B C

N @EHA

I GKA

,A

J=HA

I F H 0  0

$ BC 0 AI A ? B C
BC 0 BC

K J @A A A A J I

E E = AI A

- A = @A ,E? I

 *9'! F =C $!  K J I @A N = J=?E JA A


H

I C=H= JE = =

EJK@ @A A = I

I JH I @= +

I A 11 * # K = LAHIE ?

IJHK?JEL= @A @E?D I HABAHEHA

F=H= @AJAH E =@ I IK>? IE@AH= @ AIJ=

I GKA O=

I A IECKEA JA HAIK J=@


E E = @A CA AH=
C A A
/N > ?

Lema IIA.1

BN NH /N C A J ?AI 0/ AI A IEIJA = @ HAI @A / E A 0/ AI = >=IA @A 0E >AHJ @A /


- A ?=I @A GKA A IEIJA = IA=
>
Z

5A= /

=I N I K?E
H

AI FKA@A IAH AI?HEJ=I ? E E = OA ? ? LA

= K E

EJ= @A

IK>? D

K J I @A N -IJ I IK>? C A A =I ?E=@


K J BN

K J I AIJ = B H =@ I F H = IK = @A K J @A N I K?E I A A A = IECKEA JA


>C O IA= /

K = N I K?E

AI @A IEIJA =

Lema IIA.2

5A= / A ?

NH /N

BN

NH /N

C - J

?AI

/

N 0/

N

/

4AI LAH K IEIJA = HAI LAH K IEIJA = D FAH EJA = IECKEA JA J=

C A A IA HA@K?A D=>EJK= K = E ? C EJ=

A JA = I

C A A ?

=I -IJA F=I

+=F
JK
Nota IIA.3

11 5EIJA =I @E B = JE? I N I K?E


5EIJA =I D C A A I

AI

!

0/
5E /

0BN
BN

NH /
NH


>N 
>N

C
?AI

/

C A J
H

0/

BN

N N 

0/ C
N I

- ?=F
JK I IK?AIEL I L= K?E AI E E = AI I D=HA A@E= JA = IECKEA JA

I = A?AIEJ=H ?= ?K =H J= I @=@ A C A A

=I CH= @AI GKA K A A A J AI @A K IEIJA = D

 -IJ

J= F=I= @ = HAI LAH A FH > A =

?= ?K = @ N I K?E

Nota IIA.4

5A= A

NH O IA=

/A
2=H= ?= ?K =H 0/A KI=HA

BN BN

N /N

N

AC

I GKA /A
N /N
H

/A A O 0/A
A

0/A A ?

/A
2 H J= J K = LA A IK =HA C A A 

C AI @A K IEIJA = D

>JA E@ 0/A I K?E I = ?=@= K

@A IKI A A A J I = KF = A -

HAIK J=@ @A AI= IK = IAH = 0/A

GENERAL IIB. CALCULO DE LA N SOLUCION


2=H= A ? HE I IA??E JH=H K IEIJA = @A CA AH=@ HAI @A =I N I K?E =F=HA?A A I L= A = >E> E CH=B
= HE= I @ELE@EHA AJ @ I = @AIJ=?=H =GKA I B
= @A ?=@= I GKA AI @A K IEIJA = @E B = JE? AJ @ I - JHA A B KE@ A =JA =JE?= L= =I D= E I A @EIJE J=I

= A => H=?E @A AIJ=

AI A BK ?E @A =

B usqueda Exhaustiva
-IJA AJ @ IA >=I= A = HA= E =?E @A K = > KIGKA@= AND=KI AI A K = HACE @A AIF=?E ,E?D= I H@A =@=I @A JEL=  >=HHE@  @A =I N I K?E

HACE LEA A @AJAH E =@= F H K = ? J= F=H= =I ?

!
@ ? A?K=?E A IEIJA A K = LA

+ = ?K

@A = N I K?E CA AH=
AI AJ =I E A '%

A A A J I @A K IEIJA = @A CA AH=@ HAI @A =I N I K?E >JA E@= K = ? J= ? I GKA@= I I ?

FH >=H GK A KF =I @A IAA A J I A J L= - AIJ=

A A A J I A JAH I F IEJEL I @AJAH E =@ I F H =I ? J=I LAHE ?= AI ,AIFK AI K J E = AI @A AIA ? H A J= = HE= I L= - FHE ?EF= FH > A = @A AIJA ?E@=I D=IJ= A

AJ @ AI A

@A =I ? J=I ? I = @=H = CK

I A A F I @A AIJ=I ? J=I LAH 6 I=?

IE IA @AIA= = F E=H AIJ= E B H =?E  2=H= A I IEIJA =I


/N > /N

IE@AH=H

 ?

 CE 

H Z

HC/

OH

11 * 

,A K?E ?

J= AI A =
)

I F H 0/ O F H 0/ = E E = AI =NE H =K


I HAIFA?JEL I ? 


K J I @A N I K J IA @A K J H =K A

H =K H =I K =JHE

@A K ?

@A =I

@A ?=@= A A A J @A ?
)

IEA @ IKI ? ?

@A K = KF = = IK = @A
2

I L= HAI =>I KJ I @A E I IK

H@A =@=I 2=H= K = =NE


=E

=E  @A

567' A =KJ H FHKA>= GKA

0/
2=H= A



H

=NB

HAI @A H@A =@=I ?

@A / C 11 * 

IA KI= J A? E?=I HA =?E -

E@A= AI @A HAJ
?K I O = IE@AH= I =

HA =?E @A AIJ I E@A= AI ? IECKEA JA

I IEIJA =I @E B = JE? I

2 6' =F=HA?A L=HE=I ? J=I - JHA A =I ?

0/
OK =K F ?

 

E

=N

H :

CE 

11 * !

=I FAGKA = A CA AH=

0/

 

E 



H :

CE 

11 * " I ? F=H=> AI A =O H GKA =

=I ? J=I = JAHE HAI 11 * " O 11 *  CA AH= ANEIJEA @ A A F I F=HJE?K =HAI @

@A K = AI

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


JH= O LE?ALAHI= 2 H A A F
 (

AI
IE@AH= # & # #
 )

!!
I = =JHE

IE ? " #

& !

>JA A >=HC

I GKA = ? J= 11 *  L= A "%" GKA 11 * " L= A #$ 5E A IE ? IE@AH= I =


 (

=JHE  #  !  " '

 )

JA A

I GKA 11 *  L= A &$

EA JH=I GKA 11 * " L= A $

M etodo de Clausen-Fortenbacher
+.&' =F=HA?A K = C HEJ F=H= ?= ?K =H N I K?E C A A= =>HEA @ ? AI = FK J E?= A?K=?E @E B K =K = JE?= D @A F=HJE@= + IE@AHA E?= A?K=?E @E B IK =K = JE?= D
@N C N C N CH NH

= FKAHJ= = K =

IAHEA @A JH=>= I F IJAHE HAI GKA KJE E = AIJA = C HEJ

C A A=

 AI
H

= E@A= GKA =F=HA?A A 2=HJEA @ @A  + AI @A IKF

+.&' AI ?

IJHKEH =I N I K?E =I ?

E E
AH C

= AI @A AIJ= A?K=?E = F=HJEH @A = >=IA ?= E?= @A N BA  F @A I EH E ?HA A J= @ = K LA?J H J= AC=H = K = N I K?E

H@A =@=I D=I

=O H GKA K = N I K?E F= =@= @A = CK = ? IA= A ?EA JA IA  IA 

AH AIJ= E@A= JEA A GKA EH =?

@E?E E JA ECA JA GKA E EJA =I ? J=@=I F=H= >JA AH K -I=I ? @E?E  5E C N = CK = ? 5E C N = CK = ? AJ @ ? AI @A =I N I K?E
C N C N

H@A =@=I GKA L= = IAH E ?HA A H@A =@= I ?AI E ?HA A J= ?AI E ?HA A J=  
AI ? HHA?J=I

AJ @ GKA =@A =I @A ABA?JEL


CH NH CH NH

AI F=H= E ?HA A J=H K = ?  A J  A J H@A =@= NE J= GKA CE H@A =@= NE J= GKA CE E E = AI A

IEIJA A @EHECEH @A B H = E JA ECA JA = > KIGKA@= =I @EHA??E

!"
Algoritmo IIB.1
) C HEJ
- JH=@= 5= E@=

+ = ?K
@A + =KIA . HJA >=?DAH = A?K=?E @N C N
C N

@A = N I K?E CA AH=

CH N H

= >=IA @A 0E >AHJ @A =I I K?E

AI @A = A?K=?E

 2

BA
EA JH=I 2 $
= * > ? 2

AH C O *

D=
*

BN

2 @N

C E E = A *
@N

BN

2 *N

BNCC
C

BN AE N  @AE C

 @AE

B N AE N


@N

! * AI = >=IA @A 0E >AHJ @A =I N I K?E


= FHKA>= @A GKA A = C HEJ

AI @A @N

= JAHE H AI ? HHA?J =F=HA?A A

+.&' O IA FKA@A HAIK EH A A IECKEA JA JA HA =

Teorema IIB.2

- = C HEJ

11 *  ?= ?K = = >=IA @A 0E >AHJ @A @N

A K

AH K

EJ @A F=I I

Demostraci on. 8AH +.&' A =I ! " O #


Reducci on de n umero de ecuaciones
0=IJ= E =H AIJA ? = ?K A =? = AI @A I= I ?DA J= I AIJK@E I I >HA = ? 2HE ?EF= FK J=?E @A N I K?E AI @A IEIJA =I @E B = JE? I IA ?A JH=H A HA=

E?= A?K=?E I >HA K = K

A JA =I
A=I = > KIGKA@= AN

FKJ=?E I >HA K = A?K=?E IA >=I=>= A I JH=>= I @A 07-%& O A J

D=KIJEL= IECKEA @

) &% O = > KIGKA@= E CK = @A AIJ I @ I A =I @A K = A?K=?E

@EHECE@= @=@= F H +.&' 0=IJ= AIA

B GKAI HAI L
= A FH > A = F=H= K IEIJA = ? @A A?K=?E AI
&

= I K?E GKA IA @=>= AH= = IECKEA JA IA= 5EIJ K IEIJA =


3 )

 

K = A?K=?E  A?K=?E AI

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


5E ? IE@AH= I 0*

AI
K J @A 0E >AHJ @A 3 K =?

!#
 J >E =?E 

BK

K CA ?

@=I =I I K?E E A= ? @ AIJ= ? ? >JA A +

AI @A 5EIJ FKA@A AI?HE>EHIA ? 




? A ?EA JAI A JAH I F IEJEL I ? K >E =?E A ) >JA A  IKIJEJKE IK


?

KAL IEIJA = )
? 5E JA A

? K 5KIJEJKOA

 A?K=?E

AI ?KO=I L=HE=> AI I

I K = >=
? K O

IA @A 0E >AHJ @A IEIJA = )

I A ? K

I K IEIJA = @A CA AH=@ HAI @A =I N I K?E IE@AH=H IAA A J I

AI @A 5EIJ JA A

AIJA IEIJA = E ? KOA K = >=IA @A 0E >AHJ @A 5EIJ J= I I GKA ? AJ @ IA KI= @A

E E = AI F=H= >JA AH @E?D= ?=I A A ?K= IA F @


= KI=H

>=IA -IJA I

= AH= HA?KHHA JA D=IJ= GKA A IEIJA =

E?= A?K=?E IA D=O= HA@K?E@ = K = K

AJ @ I ANEIJA JAI F=H= K = A?K=?E

M etodo de Contejean-Devie
+,'" I =KJ HAI CA AH= E = A = C HEJ AI @E B = JE?=I
/ /AE
H Z

11 *  @A K = ,A J=HA KAL I

A?K=?E = ?K= GKEAH IEIJA = @A A?K=?E 5A= /N ?HA A J=H A K LA?J H F H / 8=  A IEIJA = @E B = JE? ? F H /N = LA?J H /N O F H /N =?

AE  = /N

GKA AGKEL= A = E K JEF E?=H A

H@A =@= E AIE = @A N O

I = =F E?=H =GK
= E@A= @A = @EHA??E ? HHA?J= @A + =KIA JH=H K = N I K?E @A IEIJA = - AIJA ?=I I = EH E ?HA A J= @ =B
=I ? HJ C H@A =
AE  AIJ A A A IA EAIF=?E GKA

. HJA >=?DAH F=H= A ? =@=I A ? ? JEA A =


/N O ?

F=HJEA @ @A = I K?E JHELE= L= = @EHA??E AE J= GKA /N HECA JEA A = @E?D FK J

AIJ = @AJAH E =@ F H A DEFAHF = -IJ= ?

@E?E GKA@= AI?HEJ= ?

IECKA
E ?HA A J=H = ? -IJ K?E AI I = A?K=?E H@A =@= NE A  IE /N
/AE 

I FAH EJA HAIJHE CEH A AIF=?E @A > KIGKA@= @A =I N I E E = AI IE FAH@AH E CK = >JA A I =? JAIA GKA A A ?=I @A K = @E?E @=@= F H + =KIA . HJA >=?DAH

!$
A@E= JA AIJ= ? @E?E

+ = ?K
>JA A

@A = N I K?E CA AH=
I K = C HEJ C A A F=H= ?= ?K =H

= >=IA @A 0E >AHJ @A K IEIJA = @E B = JE? D

Algoritmo IIB.3

) C HEJ
5= E@=

@A +

JA A= ,ALEA C A A /N 

- JH=@= 7 IEIJA = D

= >=IA @A 0E >AHJ /

 2

BA
= * > ? 2

AH C O *

EA JH=I 2 $
*

BN

2 /N

C
*N$ IC /AE 

BN

2 * &I

BN AE N

/N

C AI @A /N 

! * AI = >=IA @A 0E >AHJ @A =I N I K?E


= FHKA>= @A GKA A = C HEJ

= JAHE H AI ? HHA?J =F=HA?A A

+,'" O IA FKA@A HAIK EH A A IECKEA JA JA HA =

Teorema IIB.4

- = C HEJ

11 * ! ?= ?K = = >=IA @A 0E >AHJ @A /N

A K

AH K

EJ @A F=I I

Demostraci on. 8AH +,'" FH F IE?E


2=H= HAI LAH K IEIJA = HAI LAH K IEIJA = D JA O @AIFK AI J ECK= = K HEJ )@A =I A KI= @ = I +,'" 11 ) ! D

AI  O
C A A AI ? I =KJ HAI HA?KHHA = A J AH E E @AFA @EA H@A =@= JE = ? =K

C A A = F E=@ ? =I N I K?E

I =KJ HAI @= K = HALEIE @A AIJA = C ?K= HAIK J= K = C HEJ EI = =JKH= A = =K GKA @A =

=I AIJHK?JKH=I @A FE =I @A

=I A ?EA JA A AIF=?E O JEA F

N soluci on general mediante el Lema de Dickson


- AIJ= IA??E L= ? I I = @=H K AJ @ GKA KI= A A = @A ,E K J @A CA AH=@ HAI F=H= ?= ?K =H @A B H = HA?KHHA JA A ?

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


E E = AI @A K IK>? ,E?D HAIK J=@ IEIJA = @E B = JE? ,=@
NH @A

AI

!%

K J @A NH GKA LAHE GKA ?EAHJ=I FH FEA@=@AI I = >JA AH = N I K?E CA AH= = K I F H E


I 
H IE  E 

=F E?=HA J=HA


IH 

C
K J

Lema IIB.5

 A = @A ,E? I

 5A=
.

NH I

O IA= . A ?

BIC

0 E 

- J

?AI 0

0.

Demostraci on. -I IK ?EA JA FH >=H GKA

&
O= GKA JHELE= 5A= ANEIJA A JA . IE
E

'
I

. ?

D=O =@= GKA FH >=H ?AI F=H=


?
E

JH ?=I OF H


ANEIJA J= J
O =F E

K
@E?A E J= GKA
2 @A I?

IE - J

E

0 E  ?
IE@AH=H E AC= K IK>? K J @A NH  I @EIJE J I

?=H @A KAL A A = = JAHE H F=H= >JA AH =I


0 E F=I I @A = HA?KHHA ?E= ? K J I0


I = GKA JA A

I GKA >JA AH @EIJE J I


H

?


E

 E

E

F=H= @AJAH E =@ I

N 

E HO  H

Corolario IIB.6

0 AI
? K J

EJ


JE Demostraci on. - A K @A N + E? A A A J JEA A K K EJ= @A ? K J I EJ I

F=I @A = HA?KHHA ?E= AC=


N AI K ?

K J >EA

H@A =@ EJ EJ

0  AI L=?

I = K IK> A JA F H

A F=HJE?K =H AI I GKA 0 AI

6HELE=

= HA?KHHA ?E= @A 11 * # JA A

F H IAH K = K E

!&
- A = 11 * # IAH =?
IE O

+ = ?K

@A = N I K?E CA AH=
@A?E@E> AI @ I =IFA?J I

IJHK?JEL IE I
L=?
I

I @EIJE J I  I

IE K A A A J FAHJA A?A = 7 IK>? F @A K J @A N @EHA I EH J = @

= = C K

I GKA AI ?

IJHK?JE> A IE A A I K J AI ?

@A?E

@E> AI =I @ I ?KAIJE

AI = JAHE HAI 5E K ? I A A A J I I GKA

IJHK?JE> A

I D=?A B= J= F=H= =F E?=H D=O GKA KI=H = K AH=>E E

@A B H = HA?KHHA JA A A = = JAHE H I @=@ @A N K?E KAIJH ?=I I I JA A ?

I GKA =F E?=H AIJA HAIK J=@ = =I N I - AIJA ? JANJ J @ I I? K I IA IJHK?JE> AI O = = AH= @A I=>AH IE I

AI @A K IEIJA = @E B = JE? O @A A ? JH=H K

J I GKA A F A= L=?
I

A A A J GKA FAHJA A ?= = A A ? = ?K @A =I N I K?E AJ @

JH=@K?A A ?= ?K =H N I K?E - A IECKEA JA = C HEJ ?K =HAI IA FKA@A HA= E =H

AI F=HJE?K =HAI = IEIJA =I @E B = JE? I AI F=HJE A@E= JA ?K= GKEAH

Algoritmo IIB.7

N I K?E

AI =


E E = AI @A K IEIJA = @E B = JE? =JHE @A ? A ?EA JAI O A J AH E E @AFA @EA JA /N


>

- JH=@=

5A= H A

AH @A ? K K

5= E@= 0/ ?

=I @A /
NH /

>C

 5E H 5E H 

 JA A

I I

K = E ? C EJ= O = I K?E AI JHELE= I IE / AI L=?


I 0/
IH  IE

@AJAH E = I

KI= @ A = C HEJ

GKA GKAH= ! 5E / AI L=?


" JH ?=I 

@AL LA IA= I
HO

O JAH E =

I 

/
 ?= ?K = 11 * % I 0/ E  KI= @

# 2=H= E @A

= AH= HA?KHHA JA A = C HEJ

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


$ += ?K = IA ?

AI

!'

K J 0. ?
.

BIC

H IE  E 

0/ E 

% ,AL LA

I 0/

0.
= JAHE H = K IEIJA = @E B = JE? C A A =I ?E=@ >JA A D I K = C HEJ

)F E?= @ A = C HEJ C A A O = IK IEIJA = D GKA D C A A

I ?= ?K = = N I K?E CA AH= = K IEIJA = @E B = JE?

Algoritmo IIB.8

N I K?E CA AH= = K IEIJA = @E B = JE?

- JH=@= - IEIJA = /N 5= E@= - ?

K J

/ @A =I N I K?E
I/

>

AI @A /N

>

 ,AJAH E = ,AJAH E = ! = I= E@= AI

NH /

C KI= @ 11 * %

I 0/ ?

/ /

B


NH /

>C KI= @ 11 * %

0/

/

I = C HEJ E @AFA @EA JAI A =I K E AI ? A K

I 11 * % O 11 * & FKA@A IAH F=H= A E =@ I = IAH I ? = ?K I @A I @EIJE J I ? K J I GKA =F=HA?A A H=@ GKA IK JEA F @A ? FKJ F @H
= IAH JEF AI FH ?AI=@ HAI K

H@A =@ H ?

PARTICULAR IIC. CALCULO DE UNA N SOLUCION


I = JAHE HAI IEIJA = @A A?K=?E -NEIJA AJ @ I ?= ?K = = N I K?E CA AH= @A K ?=F=?AI O @=H K = AI @E B = JE?=I - F=HJE?K =H J= >E A I
N I K?E

@A @AJA?J=H IE K IEIJA = JEA A > A = O GKA F=I= I = @AI?HE>EH = ?

AJ @ I @A@E?=@ I AIJHE?J= A JA = HAI LAH AIJA FH JE K=?E

"

+ = ?K

@A K = N I K?E F=HJE?K =H

Lema de Farkas para sistemas homog eneos


I=>AH @A AJ @ GKA L= I = FHAIA J=H = ? JE K=?E I FAH EJA C A A JEA A = AH= H =FE@= IE K IEIJA = @E B = JE? D C A A ? IA J
H

= CK = N I K?E 5E A IEIJA = @A F=HJE@= AI D ?E= @A I K?E AI A Q 5KF


?G C

AI A ?=I  AI AGKE AI A Q AIF=?E C= IF H


LH
QG

L= A JA AIJK@E=H = ANEIJA ?E= @A N I K?E C= LA?J HE= @A =I I K?E I J= >E A GKA B?
+ = =  G H

AI GKA AIJK@E=H = ANEIJA ?AI GKA C A A 11 *  5KF O @A I L K IK A JA


?G C

AI @A IEIJA = D =I I
Q ?
G

Q AI K = >=IA @A

=JHE ?KO=I =I @A + M


MG 

B?
M

= A Q H

= =I ? K IE ANEIJA M
M

JAIA GKA ANEIJA K

IE O I @A AIJ I
QH O

LE   O =

FH @K?J I AI AIJHE?J= A JA F IEJEL


QG AI = IECKEA JA

= HA =?E A JHA K

M ?

MG ?G

M

L

LH 

7 = LA ? CKEA JA LAHIE ?

?=@ I A AIJA FK J

I >=IJ= ?

=F E?=H = IE

IJHK?JEL= @A A = @A .=H =I
= C HEJ OM F=H= @A?E@EH IE ANEIJA
LE   & E

Proposici on IIC.1

5A= L LA?J H M

LH
G

QG -NEIJA K

Q J= GKA M

L

H - A ?=I @A

ANEIJA ?E= @E?D = C HEJ

I @= K J= LA?J H M
I @A 
G

Demostraci on.
5KF ?=I
>KI?= 5E OF
LE $

= FHKA>= = D=HA C= I GKA H

= AH= HA?KHHA JA I >HA H ANEIJA I K?E


Q ?

 5E L = @ M
LE LE

JH

 F=H= = C K E 6

J @=I =I ?
IA ?

H@A =

@=I K =I I= L
I 5KF C=

=E AIE = ECK= =
I GKA H 
QG J= GKA F

O= DA

JH=@ A M GKA

ANEIJA F =

L

 O F LE   & E I JAH E =@

H 

ANEIJA M O F H
LH   J

J= J IM

ANEIJA I K?E
F O D=>H
=

+=I @A GKA I
ANEIJ= F

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


+ K IE@AHA
LE

AI
LH

"
 ,A E I

IA J


?AI GKA ANEIJA F FAH F = AH= IECKEA JA


LE
LH LH & E L F
F

I KAL I LA?J HAI LE @A =


LE F
F

  O F
LH
LH


LE   &E

11 + 
H

5E ANEIJA F AI IK ?EA JA ?

QG J= GKA F

IE@AH=H
M F


O= GKA M LE A - J

F LE &E


H  O M LH

 - ?K= GKEAH ?=I = FH F IE?E 8A=

DA

FH >=@ GKA ANEIJA K LA?J H M LAHE ?= @ JH ?=I $ 'F  5KF ?AI L


M

I GKA 

ANEIJA M I GKA H ?
M


C=
L
L

?
F L F L

ANEIJA F JA A
OF H J= J ?K= AI E F IE> A

I GKA L

ANEIJA M @A A

ANEIJEH  8=

L 

I = IKF 
G

AH A HAIK J=@ ?EAHJ F=H= ?K= GKEAH A JAH K A JAH A JHA  O H




H GKA H 5E F=H= ?K= GKEAH


F
 L 

ANEIJA F ANEIJEH =  ANEIJA 


H
Q LAHE ?= @

 J= GKA

O K = ? A??E @A LA?J HAI



 L E
F
 ! LE
 " L 

LE &E
 L 


L 

 F
 LE
E

 LE  F

 &E


F L 
F L 

L    E 

 JA I
 E F
F
 L E

,A

LE
LH

O
 E
      E



F
F

L 

 E

 &E $  & 

"
8= I = FH >=H GKA
 L E
H : D E 

+ = ?K

@A K = N I K?E F=HJE?K =H

LE

 L ?  ED D

   &D  ED

&

 8A =

&E
I

 F H E @K??E A
L E LE LE

2=H=
 LH E

 AI IK ?EA JA LAH GKA

@A 11 +  IA JEA A 5KF @A C = I ?EAHJ F=H=


  LE

O FH > A
 E   

F=H= 

 5=>A

I F H =

E?E @A

GKA
 LE   L E

E

7I= @

= DEF JAIEI @A E @K??E


 L E

F @A
H : D E  H : D

I AI?HE>EH

LE

  L ED D

O
L  L

  D LD

O >JA A

I A HAIK J=@
 L 

)D H= ?

 JA A
H : D

I
   D

L

  L ? D D

,A =GK
IA @A@K?A JHELE=
,A = FH FE= @A

A JA GKA
IJH=?E

ANEIJA M
>JA A I K = C HEJ

Algoritmo IIC.2

) C HEJ
- JH=@= 7

@A .=H =I  4 5'#  I LA?J HAI L


LH
QG QG J= GKA M

5= E@= 7 LA?J H IE ANEIJA M

L

 OM

LE   E

H +=I @A

ANEIJEH M @ALKA LA

 5E H


= 5E L

 @AL LAH

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


> -

AI
QG K LA?J H ?

"!
J @=I =I  O F LE   =E AIE = ?
QG J= GKA F L

JH ?=I

@AL LAH M

? 5E H 

H@A =@=I K =I I= L D=IJ= H  F=H= A 11 + O F=H=H

LE O LE $ 

@AJAH E = IE ANEIJA F

F=H= E @AI@A A = C HEJ ! 5E " 5E F # 5A=

KI=H @A

= AH= HA?KHHA JA

ANEIJA F @AL LAH


LH   @AL LAH M LE LE F
F

F O F=H=H LE
LH LH & E


L

  O F
LE   E

,AJAH E =H IE ANEIJA F
H

QG J= GKA F

 KI= @ @A

= AH= HA?KHHA JA A = C HEJ

11 +

$ 5E ANEIJA F @AL LAH


M F


F
F

LH
LH

O F=H=H % ,AL LAH


)D H= F @A I KI=H AIJA = C HEJ F=H= A ? JH=H ?=I @A GKA C A A ANEIJ= K = N I K?E F=HJE?K =H @A K IEIJA = @E B = JE? D

Algoritmo IIC.3

N I K?E F=HJE?K =H @A K IEIJA = D

C A A 

- JH=@=

=JHE @A IEIJA = @E B = JE? /N

5= E@= 7 = N I K?E

JHELE= K @A IEIJA = ?=I @A GKA ANEIJ= E?= E ? C EJ= I K = K =JHE ?KO=I  6 =I I = KAC = I K?E AI

E?= = I K?E JHELE= IE AI = K  5E H JHELE= 5E H 


+

 JA A IA= + =

K = >=IA @A Q AIF=?E
LH =I ? K

LA?J HE= @=@ F H /N

I L

=I @A

""
! 2=H= E 
H

+ = ?K

@A K = N I K?E F=HJE?K =H

= ,AJAH E =H KI= @ A = C HEJ

11 +
M

IE ANEIJA K LA? 
@A
H
QH ,ALKA LA

J H M J= GKA M LE
> 5E ANEIJA M IA= K

 O M L   F=H= $ E M
A


K

L

LH 


E


? A

K =NE

JEF K ? K

@A " ,ALKA LA K 

E =@ HAI @A K O H@A =@=I @A

@ELEI H

@A =I ?

K 2=H=H

Lema de Farkas para sistemas no homog eneos


? 5KF 2=H= A ? C A A IEIJA = 2+86'& CA AH= E = C= I I A KI @A A = @A .=H =I F=H= A D C A A I IE@AH= I GKA A D C A A 11 *  JH=H N I K?E AI F=HJE?K =HAI = IEIJA =I @E B = JE? I =@ A IEIJA = @E B = JE? CA AE =@  > /N I =I J=?E

JH=H K = N I K?E F=HJE?K =H = @E?D IEIJA = ? ? D IE@AH= AI @=@=I A 11 + JA A


K IE O I
H

I A IEIJA = D

 5E I >HA AIJA IEIJA = D IE

C A A JEA A K = N I K?E

' K
O IE O I IE

'M
,A O M AI

Q ?

L

OM C A A
MG ?G

LE

&E

= AH= = = C= = ?=I D  K
M ?

= HA =?E A JHA = N I K?E M


L M LH  

2 H

J= J

F=H= F @AH CA AH= E =H A D


LH
N &E

AJ @ >=I=@ A A A = @A I GKA HAI LAH A IECKEA JA


QG J= GKA

.=H =I = IEIJA =I FH > A = @=@ I L


M L LH


C A A I JA A


@AJAH E =H IE ANEIJA M I? F @A

 O M LE ,A J=HA

H  8A=

I HAI LAH

I F H 9 = Q AIF=?E LA?J HE= CA AH=@ F H L

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


5E L
9 9 @A

AI
HJ C

"#
= @A L A =H AI IK ?EA JA J

J=

I F H L = = FH OA??E
L M

-I ? =H GKA L $  O L

 - AIJA ?=I L
L L H

F HGKA M 5E L

L

OM
9 F @A
2H 

LE

 &E


ANEIJA M ? LE I

I @EIJE CKEH @ I IK>?=I I


E   A J

5E L A


E LE ?

?AI

= @A

IJH=?E @A 11 + 
J = I L
2H 

JH ?=I =I ? HHAIF
H

E LE 5A= ) = LH


=JHE ?KO=I JA IF H =I @A

@A = I GKA +N

I LA?J HAI L I

O @A

Q A Q AIF=?E LA?J HE= CA AH=@ F H =I ? K

) 5KF


A E

K =I A?K=?E
N +I
H

AI E F
?EJ=I @A

O @A

I
5

BI

C A = IA ECHKF 5 AI D
ID  O F H

JAIA GKA A IEIJA = GKA C A A J= 5A= BI  + AIJ=I J=?E IF H, = = =JHE I


I @A

ID C K IEIJA = @A CA AH=@ HAI @A 5 ,A


D



H  ,

AI JA A

I A IECKEA JA HAIK J=@

Proposici on IIC.4

AGKEL= A JAI  'M


QG ?

L
 O

OM

LE

N
D OD

&E


'O
- AIJA ?=I
)N
D

ND J= GKA

AI IK ?EA JA J
,O

=H M ?

K = I K?E F=HJE?K =H @A

Demostraci on.  
O
N J= GKA

5A=

)M -I ? =H GKA

5 O A J

,O ,A = ?

>E =?E
D OD

E A= L 

2H 

?AI ANEIJA
E LE O =

ECK= @=@ M

L

 JA A

I GKA 
 O

H  

 - J

?AI

"$
  5A=
)  I 2=H=
L
2H 

+ = ?K
,O + 5


@A K = N I K?E F=HJE?K =H
@A@K?E I GKA I H= C I @A ) O @A >E =?E E A=

ECK= AI KAC A IEIJA = AI ? = E =H = @A IJH=?E


E

F=JE> A 5A= M K = I K?E

>=IJ= IA = =H GKA = ?

E LE E F E?= GKA M L



H  )M



H  ,O

+ ?E ?

? H =HE @A = FH F IE?E = JAHE H JA A IJHKE@= = F=HJEH @A A


 O
D OD

I GKA K IEI

JA = @E B = JE? =@ EJA K = N I K?E IE O I F IE?E = JAHE H ? IECKEA JA = C HEJ

IE = =@ EJA K = A?K=  ) IAH = FH AJ @ I ABA?JEL I

IJHK?JEL= O JA EA @ @EIJE J I K KAL = C HEJ

F=H= HAI LAH A N K = A?K=?E @E B = JE?= L= = K IEIJA = @E B = JE?

I = JA AH = F=HJEH @A

F=H= ?= ?K =H K = N I K?E

Algoritmo IIC.5

) C HEJ

@A .=H =I CA AH= E =@  2+86'& 


K J @A LA?J HAI L
G

- JH=@= 7 ?

LH

QG ?

H L

5= E@= 7 LA?J H ?=I @A ANEIJEH M

Q J= GKA M

OM

LE

&E
 +

 IE@AH=
9 J

I 9 A Q AIF=?E LA?J HE= CA AH=@ F H L = IM


L L L

LH

5E L
! -

I L = FH OA??E
O F=H= I I A = C HEJ
E LE ?

HJ C
11 +
?AI

= @A L A 9

,AL LA
JH ?=I

=F E?=
2H 

5E L O F=H=
" 6 + =

E   A J

D=O I K?E

I
JE K= I
2H 

JH ?=I ?

IK =? I +N

>E =?E L

E LE

# 5A= ) =

=JHE ?KO=I

=I ? HHAIF

@A =

I LA?J HAI L

LH

IE@AH=

 K =I A?K=?E

AI E F
?EJ=I @A Q AIF=

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E

AI
=I @A ) C KI=HA
ID 
D OD

"%


?E LA?J HE= CA AH=@ F H =I ? K J= I BI


5

QH +

FK

ID C K IEIJA = @A CA AH=@ HAI @A

BI

N +I

KI= @ A = C HEJ $ 5A= 


D

11 * % - AIJA = C HEJ 
H  , ?
ND J= GKA
 O

I 11 + $

F=H= ?= ?K =H K = N I K?E F=HJE?K =H




I 

5E ANEIJA O LA
-

 @AL ?
I
,O

I M K = I K?E F=HJE?K =H @A )N I
D=O I K?E KAC F=H= JH ?=I
F @A

O F=H=

,A AIJA = C HEJ

I >JA AH JH GKA D

I @= K = N I

K?E F=HJE?K =H @A K IEIJA = @E B = JE?

C A A
D

Algoritmo IIC.6

N I K?E

F=HJE?K =H KI= @ A A = @A .=H =I F=H= IEIJA =I


>?

C A A I
- JH=@= 7 IEIJA = /N

11 *  11 + !

5= E@= 7 = N I K?E F=HJE?K =H IE ANEIJA

 5E > 5E H ! 5E H 

 KI=  JA A IA=
LH

I = = C HEJ

E?= E ? C EJ= KAC @AJA?J=H K = N I IK =K  > / 5A= ?


QG

K?E AI JHELE=
?G K = >=IA @A Q AIF=?E

LA?J HE= @=@ F H =I I K?E " 5A= L =I @A = AI =F E?=




AI @A I ?

 @EA JAI = =I ? K
?G ) AIJ I LA?J HAI

I LA?J HAI ? HHAIF =I I 11 + #

=JHE ?KO=I I A = C HEJ

5E ANEIJA M  K

QG J= GKA M L

 O M LE M
L

N A J

?AI

= I= E@= AI K @
M ?

@A
MG ?G M LH  

"&
O F=H=
-

+ = ?K
I

@A K = N I K?E F=HJE?K =H

JH ?=I

D=O I K?E
I = C HEJ

KAC F=H=

I
I A K

-I @A @AIJ=?=H GKA

I A = =@ I = JAHE HAI

?
? E? I O= GKA J= J A 11 + # ?
N I K?E

A 11 * % IA L= HA@K?EA @ A

H @A L=HE=> AI D=IJ= AC=H = K = I = - AIA ?=I AI JHELE= @=H K =

M etodo usando Bases de Gr obner


6= J A ? = ?K @A F E
1 ;

2 6' ?

+6'

I =KJ HAI KI=

=I >=IAI

@A /H > AH O = 6A H
= @A - E E =?E F=H= HAI LAH A FH > A = @A @A N I K?E E I


AI @A K IEIJA = @E B = JE? 11 *  ?


6 O A E@A= @A ;/  A


,=@ K IEIJA = @E B = JE? ?


H

IE@AH=

IA = E

;

;


E@ F H
;/AH  ;/AH 
H

; 6  ;/A  ;/A 

;/  A

Teorema IIC.7

=I

J=?E

AI = JAHE HAI IE ANEIJA A 1 K >E IE ;? 6@


N - J= ?=I
H

 /N
/N @

 JEA A K = N I K?E IE O I  - J= ?=I


> @   > JEA A K = N I K?E IE O I
N J= GKA ?

@A = B H =

AI K = N I K?E @ 1 ? AI K = 

N I K?E

Demostraci on. 8AH 2 6' O +6'


,A = JAHE H JA HA = IA >JEA A K = C HEJ IEIJA = @E B = JE?
N I K?E

F=H= I=>AH IE K C A A F IAA K =

J= J D

C A A ? D

D C A A

-IJA = C HEJ
? @

F=I= A A ?=I

F H ?= ?K =H K =

>=IA @A /H > AH @A 1 HAIFA?J = K

H@A @A A E E =?E @A 6 A ; O

HA@K?EH ; 6 HAIFA?J @A A =  +6'  5E A HAIK J=@ @A AIJ= HA@K??E

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


AI K?E >E =I
E

AI
JH ?=I A IEIJA =

"'
JEA A N I I = C K

JA A AI

I K = N I K?E C A A

- A ?=I D E @A = B H = FA?J @A

D=O GKA ? F=H= EH=

FH >=H IE JA A

 A K = >=IA @A /H > AH HA@K?E@= @A 1 HAI I FHE AH O ANE? CH = ?= A JA = A JA A H@A E @A I A CH=@ -

H@A F H A ?K= ?

O A ?=I @A ECK= @=@  JA A AI

ANE? CH = ?  2 6'  5E A AI= >=IA @A /H > AH D=O K >E =B H = 5E = H I


1 GKA J

I K = N I K?E

JH ?=I

A IEIJA =

JEA A N I K?E

=JHE @A IEIJA = AIJKLEAIA B H =@= F H A A A J I A JA  F @H


= A E E =HIA = L=HE=> A 6 O A E@A= I IAH
=
1 ;/A 


AC=JEL I /AE  =H
=

;/A

;/AH  H H

+ DA

AIJA IKFKAIJ JH=>= =H


= I LEIJ A CA AH= JH=>= = - 11 , # LAHA

I? I?

L=HE=> AI )K GKA ?  L=HE=> AI

I K = FJE E =?E O CA AH= E =?E @A AIJA

? = ?K

KI= @ E@A= AI @A IA ECHKF I

IID. SISTEMAS DIOFANTICOS EN CONGRUENCIAS


7 JA = =FA =I JH=J=@ A =I F=HJAI @A AIJ=
&

= EJAH=JKH= O GKA AI = >=IA @A = CK @A =I N I K?E AI

HE= AI A AIJK@E O ? = ?K

@A IEIJA =I @E B = JE? I A ?
 N  N 

CHKA ?E=I -I @A?EH IEIJA =I @A JEF


H NH
H NH

N N N N N

> > >D >D >D




5EIJ

D N

DH NH

D  N

D 

D H NH

@ =  @ = I

D I N

D I

D IH NH

#
@ @A
E

5EIJA =I ,E B = JE? I A +
= O >E I

CHKA ?E=I
D IE 

AH I A JAH I O K

E

-I B =?E AI @A =

ANJA @AH A

I HAIK J=@ I I >HA = AIJHK?JKH= @A =I N I K?E CHKA ?E=I ? F @A J=


I

= JAHE H IA??E = K IEIJA = A ? = IECKEA JA

I =FHA?E=H

Nota IID.1

I A =I 11 )  O 11 ) CHKA ?E=I

?EAHJ I IE A IEIJA = @E B = JE? AI A ?

2AH A =JA =JE?=I K = ? I= I =I AIJHK?JKH=I O JH= I AJ @ I @A ? = ?K - AJ @ =JKH= O ? =IE? F=H= ?= ?K =H =I N I K?E AI @A K IEIJA = @E B = JE? A ? CHKA ?E=I F=I= F H = =@EH = IEIJA = KAL=I L=HE=> AI GKA =>I H>= =I ? CHKA ?E=I HAI LEA @
&
 N  N 

N N N N N

H NH
H NH

> > >D >D  >D

5EIJ 

D  N

DH NH

D  N

D 

D H NH

J = JI =I

J = JI =I

D I N

D I 

D IH NH

5E ?
 * * * * * * * * * * * * * * * * (

IE@AH=  
=

I =   
=

=JHE          
N /N
H I H

 
=

  
=

    
>

   
=I

   
=I

 + + + + + + + + + + + + + + + + )

ZD

I

 

 

O @A O

J=

IF H

BN


@ = C
>C

BN

/ 6N

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


IA I=JEIB=?A = IECKEA JA FH FEA@=@

AI

#

Propiedad IID.2
   O 0 0  

@ @=I

@A  NH

 NH AI = FH OA??E I >HA =I FHE AH=I H ? H@A =


> AJ =JA =JE? = GKA LE@A I GKA A
FK

1 JH @K?EH KAL=I L=HE=> AI I >HA K IA L= = =F E?=H K = C HEJ ?= ?K


J=?E =

@A = J= ?

F A E@=@ F AJ

@A N I K?E @A

AI AI

2 ?

AI K = F
JE?= ? I ALEJ=H IE HA= E = I GKA IA= A ?EA JA

A JA ? HHA?J= ; AI = C

GKA @A>A

= C K ? = ?K 5E ?E F @A

= AH= ABA?JEL= O FHAJA @A I AI A ? - AIJA ?=I @A F E AJ @ IE E =H =

GKA GKAHA I =F E?=H K

JH=H ?=I @A GKA ANEIJ= K = N I K I ANF E?=@ I A 11 + K J I KAL=I L=HE=> AI O= 


I L=HE=> AI

= = FH FEA@=@ 11 ,

GKA A E@A= =I ?E=@ = IA ECHKF CA AH=@ F H A IEIJA = 5EIJ AI ?= ?K =@ A K = E E I?


H

E JH @K?E

2=H= ?= ?K =H = N I K?E CA AH= @A K IEIJA = A ? ?E=I IA D= KI=@ ? =IE?= A JA K ?A A 4/5'& )@A =I A @A AIJ I IEIJA =I F H J=?E AJ @ >=I=@ A 11 ,

CHKA AI FK

O GKA =F=HA = > KIGKA@=

4/5'& IA @= K = ? J= @A =I N I K?E GKA F @H


= =F E?=HIA J= >E A I JA EA @ A FH > A = ? I=?

AND=KIJEL= ,A J @=I B H =I IACKE = @A = =@EH L=HE=> AI I FH > A = I @A ? C A A I A AJ @ I GKA A K ?E= = JA EA @ A H F A E@=@ = J= =

JE K=?E FKA@A ALEJ=H AIA D =I GKA HA= E =HA I I ? = ?K

=I H  ?=I @A IEIJA =I

AH @A L=HE=> AI ? K

N soluci on particular mediante ideales de semigrupos


-IJA = C HEJ @ I A 11 + AI @A =JKH= A = IE E =H = I = C HEJ I ANF E?= = FHE ?EF= @EBAHA ?E= A ?K= J = = LA ?E@=@ @A ? FKJ @A E@A= @A IA ECHKF =I ?E=@ = IEIJA =

LEA A @=@= F H A ? = ?K

#
I =@A =I

5EIJA =I ,E B = JE? I A +
5EIJ GKA IA HA= E =H = KI= @ A = C HEJ I IECKEA JAI HAIK J=@ I 1 ,

CHKA ?E=I
A?AIEJ=

LAH 86'' 

Teorema IID.3

- IEIJA = 5EIJ =@ EJA K = N I K?E IE O I @A = B H = :H


5

D

IE ANEIJA K >E

: A A E@A= =I ?E=@ = IA ECHKF



H

>

Z = Z

Z =I Z

IKFF: - J= ?=I

AI K = N I K?E @A 5EIJ

Demostraci on. 8AH 86''


2=H= LAH IE K >E E ? A @A JA HA = = JAHE H FAHJA A?A I A IECKEA JA A =
E= LAHE ?= @ :H


= E@A= =I ?E=@ = 5 KI=HA

Lema IID.4

.E A

IA

:

:H

H@A

O IA= : J= GKA H 

IKFF: 5A= 1 A E@A= =I ?E=@ = IA ECHKF 5 @A

JA HA = = JAHE H O IA= * = >=IA @A /H > AH HA@K?E@= @A 1 - J

?AI

' :H
@ HAI >E

' :H

: 

)@A =I IE 5 AI K IA ECHKF E= AI @A 1 ?

= =O= = O * K ?

K J @A CA AH=

? A ?EA JAI  

A?AI=HE= A JA >=IA @A

/H > AH J= >E A AI ?EAHJ A HAIK J=@

Demostraci on. 8AH 86''


;= AIJ= IA ? @E?E AI @A ANF E?EJ=H KAIJH = C HEJ
CHKA ?E=I
E

Algoritmo IID.5

+ = ?K

@A N I K?E F=HJE?K =H F=H= IEIJA =I A ? K J @A A?K=?E JA @HA 


= 5A= A IA ECHKF 5

H

- JH=@= 7 ? 5= E@= 5=>HA

AI ?

5EIJ ?

$ 

I IE A IEIJA = =@ EJA I K = N I K?E

K = N I K?E A NH -

?=I = H =JEL  5E >

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


> += ?K =

AI
:

#!
:H E@A= @A 5 KI= @ A =

I 15 1 , AI

C HEJ E= AI ?
? 5E 5

5A= + K IEIJA = @A CA AH=@ HAI >E = =O= = E A ' : 


+ 5EIJ =@ E

? A ?EA JAI  @A 15 AI K = J= N I K?E JH

JA K = N I K?E O ?=I 5E > $ 


= 5A= A IA ECHKF 5 > += ?K =

5EIJ

JEA A N I K?E

>

I 15 1 ,

:

:H :H

E@A= @A 5 KI= @ A K J @A CA AH=@ HAI H@A




= C HEJ
? 5E 5 AI

= =O= = IA= + K ? JH ?=I = IK

@A 15 -

E= @= @ O ?= ?K = IK =

JE = L=HE=> A :H FHE HE@=@ = = K >=IA @A /H > AH @A 15 +


@ 5E ANEIJA K >E

:H

: A + A J

?AI 5EIJ -

=@ EJA K = N I K?E O JH ?=I


+ I @A = J= ? @A F E ? CA AH= E = = F=H= ?= ?K =H

AI K = J= N I K?E

5EIJ

=@ EJA N I K?E
= =@A I L=HE=> AI I ? = ?K I= E I

FKA@A =FHA?E=HIA A = JAHE H = C HEJ AI I >HA Z

F=H= HAI LAH IEIJA =I @A A?K=?E E IA H H

EA JH=I GKA

F A E@=@ >=IAI @A /H > AH IA HA= E = A  L=HE=> AI IAC K IA= A ?=I I FJE E = = I IA ECHKF I I @A = IA??E 11 + O= GKA I E@A= AI @A

-IJA = C HEJ

I ANJEA @A = IEIJA =I A KI=H 6A H


= @A - E E =?E

CHKA ?E=I O J= >E A

N soluci on general mediante el Lema de Dickson


- AIJ= IA??E L= A I A ? = ?K 11 , # F=H= I = CA AH= E =H = IEIJA =I A ? AI F=HJE?K =HAI CHKA ?E=I A AJ @ @=@ A 11 * % - A IECKEA JA = C HEJ @A =I N I K?E =K A J=H A AH @A E ? C EJ=I A K I JH I FH F A@E= JA A = C HEJ =? FKJ=?E

#"
Algoritmo IID.6
N I K?E

J=I
AI =


E E = AI @A K IEIJA = @E B = JE? A ? =JHE @A ? A ?EA JAI A J AH E


>
H

CHKA ?E=I =I @A /

- JH=@=

E @AFA @EA JA O = ? AH @A ? K K

CHKA ?E= @A IEIJA = /N


5= E@= 0/ ?

@ = 5A= H A
>

N /

@ =C

 5E H 5E H  11 , #

 JA A

I I

K = E ? C EJ= O = I K?E AI JHELE= I IE / AI L=?


I 0/
IH 

@AJAH E =

KI= @ A = C HEJ O JAH E = I

! 5E / AI L=?
" # JH ?=I

@AL LA IA= I I

/
IA ? K J 0. ?

A@E= JA A = C HEJ
.

11 * % ?= ?K =

BIC

H IE  E 

0/ E 
=K A J=H A AH @A K

A = C HEJ

11 * % KI=HA

I 11 , # = ?= ?K =H =I @EIJE

J=I N I K?E L=HE=> AI $ ,AL LA

AI F=HJE?K =HAI F=H=

I 0/

0.
CHKA ?E=I F @A I =F E?=H AIJA

) ECK= GKA A A ?=I IE ? = C HEJ D C A A A ?

F=H= ?= ?K =H = N I K?E CA AH= = K IEIJA = @E B = JE? CHKA ?E=I KI= @ 11 * &

IIE. NOTAS
I AA F ? FKJ AJ @ I =I JH=@E?E = AI O GKA =F=HA?A A I E>H I @A ?=>A?AH= @A I AIJK@E I I @A = 2H CH= =?E I >=I=@ I A I >=I=@ I A I >=I=@ I A E A= - JAH= F H

5+0'$  I J= J F H F H

= > KIGKA@= AND=KIJEL= -IJ I

AJ @ I D= IE@ = F E= A JA IKFAH=@ I A ?K= J = LA ?E@=@ @A = JA H


= @A >=IAI @A /H > AH LAH = > KIGKA@= @EHECE@= @A + =KIA 2+86'&  ?

. HJA >=?DAH O GKA = =HA

I @A IACK @= CA AH=?E

+=F
JK

11 5EIJA =I @E B = JE? I N I K?E


6= J @ I? A = C HEJ = A JA ? 11 , # ?

AI
11 , $ D= IE@ ?

##
F=H= = J=> = 11 

FKJ=?E

I @A IACK @= CA AH=?E

KAIJH= I >HA L=HE I A A F I K = ? ,A = J=> = IA @A@K?A GKA A = C HEJ EA J ? @A I 5E ? FKJ=?E IE@AH= = IE A A KI=

F=H=?E A JHA A = C HEJ AI F=HJE?K =HAI A H? F HJ=

11 * % KI= @ 11 , # O 11 + $ F=H= ?= ?K =H N I K?E 11 * % JEA A K E A= 11 + $

I >=IAI @A /H > AH 11 , # A LA CHKA ?E=I = FHE AH= HABAHA I 11 , # O 11 , $ JA C= BHA JA = K?D @A

AJ @ I ? =IE? I @A FH CH= =?E I IEIJA =I A ? I = C HEJ FKJ=?E

?E= @A K = C HEJ

F=H= ?= ?K =H K = N I K?E F=HJE?K =H =F=HA?A A I @A IACK @= CA AH=

86'' -I @A FHALAH GKA GKA @A?EH A ?K= J = = ?


?E F H

=K A J=H A

AH @A E ? C EJ=I = HA= E =H A ? K = ?K A H=@ @


= = @
= F H FKJ=?E = = ANF H=H

=I N I K?E ? = ?K ?=I

AI )@A =I A ? = ?K

@A E@A= AI @A IA ECHKF I >=IA GKA A =L= ?A A A - ?K= GKEAH

@A 11 , # AIJ = IEA @ @A N I K?E AI K - JHA , K @ ? I = C HEJ

AI F H AIJ= L
= FKA@A IAH = F E I @A IACK @= CA AH=?E A @=@

=K GKA @A =JK A K@ LAH

H= A = @EIJE J= ?=>A @AIJ=?=H J= >E A 7 = ? =H= =F E?=?E @A AI A ? = ?K I = C HEJ I

F H ,

'  A ?K= AI IKI?AFJE> A @A IAH F=H= A E =@ AJ @ I ANFKAIJ I A AIJA ?=F


JK AI 567'# ?=F
JK I DA $ = I E F A A J=@ A @A E@A JE@=@AI @A F=HJE?E I 11 , # O 11 , $

F A8! O FKA@A IAH >JA E@ I L


= BJF A
ftp.uca.es/pub/matematicas/nsol.zip

#$
Cuadro II.1. ) C HEJ

J=I
I 11 * % 11 + $ LAHIKI 11 * % 11 , #

5EIJA =I 0

C A A I

7I= @ >=IAI @A /H > AH

7I= @

A = @A .=H =I

I


IA? 

# IA? #

 

 

I


" IA? "

$ IA? $#

 

! "

# #

I


# IA? %

% IA? ##!

! !

 %

! 

I


% IA? 

 IA? &$'

" 
 * (

 

 

 !


 + )

# IA? 

'$ IA? &"

  

!  

 ! 

  

" IA? !$

' IA? !$

 * * * (

 

  ! 

  

  

 !  

   

 + + + )

% IA?  !"&

# IA?  !"&

 * (

  


  "

!  

 ! 

  


 + )

 IA? "

2=H=@ = I "  IA? I & $ !  % 

 

! !

" #

"' IA? !

2=H=@ = I "  IA? I ' ! #  

+)2 167 @K I @A 5E?ECE=I

111

- AIJA ?=F
JK =HA I @A EA @

L=

I = AIJK@E=H = HAI K?E = =O= = ? J HIE A -IJA O @= @ AJ @

E>HA

E E = A A I

@A = CA>H= @A K IA ECHKF

- F=HJE?K =H ? =F=HA?E@ AJ @ KJE E = = D

J= HAI K?E

*+ 2'&= F=H= ?= ?K =H @E?D= HAI K?E C


= HA@K?E@= @A ?EAHJ I ? A A A J I @A IA ECHKF - FA =HA =F=HA?E@ A IA ECHKF  J= = A I I F H ANF E?=H

F A I IE F E?E= AI =I ?E=@ I = I F=I I FHE ?EF= AI @A = C HEJ @K AI ?

*+ 2'&> F=H= ?= ?K =H A  = =JKH= A = @A AIJA = C HEJ

@A IE?ECE=I E@A= @A F AJ= A JA @EIJE >E =J HE= O 11 -I FHA?E

I ANF E?=@ I A A ?=F


JK AJ @ I @A FH CH= =?E

1 O AIJ = >=I=@ A ? E A= A JAH= @A ?=F


JK

I= A JA AIJ= @=H K = C HEJ I E>HA E E = @A

I B
= = GKA IACKEHA GKA ?= ?K = IEIJA =I
5

I A ?=F
JK I IK?AIEL I F=H= E E = AI @A CA AH=@ HAI @A = HAI K?E

@K I @A IE?ECE=I @A H@A IKFAHE H O F H J= J

IIIA. MODULOS DE SICIGIAS


,A KAL L= E= I=? IE@AH=H K IA ECHKF AA A J AKJH
5 ?= ?A =JEL

=>A @E?E

EJ= A JA CA AH=@ O ?

- AIJ=I ?

#&
AI AI ? ?E@ O O= DA I A F A=@ ? JH IA ECHKF AI EI EJ= A JA CA AH=@

@K I @A 5E?ECE=I
= JAHE HE@=@ GKA KAI F @A I IKF AH

HB = K IK>IA ECHKF @A K CHKF =>A E=


/5 LAH *+ 2'&>  2 H A

IE F AH@E@= @A CA AH= E@=@ GKA


5
Z
D

Z = Z

Z =I Z
H

 = I = IKF +

=I 

ZI 5A=

CK ?
 5

K J @A CA AH=@ HAI @A = =O= @A F

5 8=

AH A

IK?AIEL GKA KAIJH IA ECHKF AI @E?E 5


5 = =

= AI @A?EH LAHE ?= = ? IE@AH= @


:

BC
IF H4= = E

K ?KAHF

@A

J=

E :

E I =

:H O F H

= CA>H= =I ?E=@= = 5 5A=


5 CH=@K=@
5

:H  A E@A=

=NE = EHHA AL= JA @A 4


5 AI K = E 5

= CA>H=

5 5 4 AI J= >E A K
E

@ = E

@A =I ?

A JAI D

C A A=I I

5 CH=@K=@

@= @ = ?=@= L=HE=> AI :E A CH=@


4
54

2 H

J= J

F @A

I AI?HE>EH

@ @

@A 4 AI A -I ?

AIF=?E LA?J HE= CA AH=@ F H J=  ! 

E I @A CH= @A CA AH=?E =

?E@ GKA AIJ I AIF=?E I LA?J HE= AI I

EJ= LAH *+ 2'&> =O= = F=H=

= 5 CH=@K=?E = JAHE H @K I 5 CH=@K=@ I

I FAH EJA A K ?E=H A A = @A

Proposici on IIIA.1

5A= 5 K IA ECHKF ?= ?A =JEL AA A J


3 3 A J

=>A E= 

EJ= A JA CA AH=@ @K

AKJH O = =O= = 5E 3 AI K 4 ?AI IA JEA A GKA 3

5 CH=@K=@ J= GKA

Demostraci on. 8AH *+ 2'&> FH F IE?E  "

+=F
JK

111

@K I @A 5E?ECE=I
- D H I @A = CA>H=I 1 )  @=@ F H
 4  :E 
E

#'

AI K D O= LE GKA ?

H I I K E@A= D IE@AHA

CH=@K=@ @A CH=@ ?AH C A A =@ FAH ?

? A AI ? O IK K IE@AHA I A IEIJA =

1 -IJA E@A= @AFA @A @EHA?J= A JA @A

IEIJA = @A CA AH=@ HAI @A 5 J I IA JEA A GKA

5 4 1

KAC ? ,A
1

?AH A E@A= AI ? JA ?

?AH A = CA>H= @A IA ECHKF


1 O F H 8   =

I F H 8 = ? ?EA JA 1
5 2 H 111 )  JA A

I ? ?EA JAI EJ @A

 1

I GKA K ?

K J

A A A J I @A 1

CA AH= IE O I

IE =I ? =IAI @A IKI A A A J I A 8 E E = @A CA A @E
8  

CA AH= AIJA AIF=?E LA?J HE= )@A =I K IEIJA = H=@ HAI @A 1 JEA A J= J I A A A J I @A CH=@ AIF=?E I LA?J HE= AI 8   I
4K = E

K I I= L K = ?= JE@=@ IE K AI? CA K IEIJA =


B> C FKA@A ?

EJ= F H IAH E E = OD KAL

AJDAHE= AC=@ I = AIJA FK J IJHKEH K

C A A @A CA AH=@ HAI @A 1 BB D H I @A = CA>H=I

 4>  4  A  B

? @A 4
>

 ,A = H I I

>  >

@E

8   O A A

AIE

CA AH=@ H AIJ = @=H I

EI =

= AH= F @A
E


I ?

IJHKEH HA?KHHA JA A JA

4>E   4>E

111 )  C A A @A CA A  O D=?AH GKA = E =CA

GKA ? HHAIF H=@ HAI A @A ?=@= K


E

@A = J AHE  @A

=H K ?
4
>E

K J


E E = OD
1 O >

I CA AH=@ HAI AIJ = @=H @A 4>E  IA= K CA AH=@ H @A

$
E

@K I @A 5E?ECE=I
5E F=H= ?=@= A JHA K
5 4
>E


O >E A CH=@ @A AA A J ID IJHKE




AIE

CA AH=@ H @A


AI

JEA A ?

C A A I =I >E

KF =I ?KO= E E = O

AIE = ? +

A JA AI K A A A J D @K

C A A A 4 @A CH=@ E>HA

AIJA FH ?AI ?


I K = HAI K?E
  

5 CH=@K=@= F=H= A 4

5 @=@= F H
   4>  4>  4

E  4>E E  4>E  

5 

>E

@E

8E   O 8E  

 E

E

- A JAH >E @A CH=@ @A IE?ECE=I GKA >E AI K

AI AI @E

EJ F H IAH 4
8E  

AJDAHE=

AH @A A A A J I K @K I C=H= JE = ?HA

A K IEIJA =
E

E E = @A CA AH=@ HAI @A E AIE LAH 8)5'& 

- JA HA = @A )KI = @AH *K?D>=K J= A JA IA JEA A A IECKEA JA HAIK J=@

= F=HJEH @A K
@E?A E IK ?EA JA A JA CH= @A +

Proposici on IIIA.2

=I

J=?E

AI = JAHE HAI = HAI K?E


5 JEA A = B H =

E>HA

E E = 5 CH=@K=@=

F=H= A = CA>H=

  4>F  ?
H HC/5  F  H

 4>  4 

5 

8EIJ AIJ E E = @A J= AI GKA AIF=?E I EI

F=H= >JA AH A E AIE

F=I @A = HAI K?E I @EIJE J I

E>HA
5

5 F @A

I ?= ?K =H A FHE AH KC=H I L=

I AIF=?E I 8E   I I AIF=?E I 8E   I 8A= HB I = A

K I O @AIFK AI K = >=IA @A ?=@= I = @AJAH E =H A@E= JA I =D H= ?K = AI IAH = AI I AIF=?E I

AIF=?E LA?J HE=

0E 

  8E  
2=H= ? A =H IA= A ? K J B H =@ F H
HC ,=@ .

I IK>
@E?AI @A L= I = @A J=H

I CA AH=@ HAI @A 5 E A

B

+=F
JK

111

@K I @A 5E?ECE=I
F H ?=@=
.

$
E

= AA A J
5 F @A
5

E .

OF H

= ?AH

+ FA

AIJ=

J=?E

F=H=

I @A
I?

EH A IECKEA JA ?
FA =I ?E=@ =
.

IE F E?E=
FA IE F E?E=

Denici on IIIA.3

5A= =>IJH=?J

= =HA

= ?
5C

B.
.E =@ K A A A J ?=H= @A ? FA A IE E @A =F E?=?E F @A ? A @ E A=
(E +E  (E .
2

A 5 O AI? CE@= K = HEA J=?E A ?=@= IE@AH=H = D C


= HA@K?E@= 0  + IJHKO = I=  @A

I ?

L= HAI I >HA A ?KAHF @A @E


. .  @E

5A= +E 

AIF=?E LA?J HE= CA AH=@ F H =I ?=H=I @A @E  5A= J= >E A (E = 

  +E  
.

@E

. E  .. .

@ .E A

@A

..

 IE . $ . O


..

 IE .

.

..

IAH =K


IE = HEA J=?E JH ?=I


..

E @K?E@= @A . A . AI ECK= = = AI? CE@= A . A I KAIJH= =JA ?E I >HA =I =F E?=?E


+E  
E  +E   



AI   = 1 (E   ) I I @A *E   > H@AI

E +E   

? - J

E   ,A

J=HA
E

IF H

E

 = AH(E  O F H *E  E = ?E? I O =
E

A A A J I @A ?AI JA A

 IA AI @A I GKA
0E 

 @E?E

 *E 

 I

)D H= AIJ=

IA ?

AI @A A K ?E=H A HAIK J=@ GKA

L= = FAH EJEH ?= ?K =H 8E  

Teorema IIIA.4

5A= 5 K IA ECHKF =>A E= AA A J AKJH O

EJ= A JA CA AH=@

?= ?A =JEL

= =O= = .E =@ K ?

K J @A CA AH=@ HAI

$
K I @A 5 B HAI K?E JEA A
0E 

H

@K I @A 5E?ECE=I

C K ?KAHF ?

KJ=JEL
5 O

O ? I?

IE@AH= @ FA I

= IA

E>HA

E E = 5 CH=@K=@= @A   8E   ?

AIF=?E I LA?J HE= AI

F=H= J @

5 OE

Demostraci on. 8AH *+ 2'&= JA HA =


)@A =I A ANF
?EJ= A EI HE= ? @A I
=I


I =KJ HAI @= @A = AH= A

*+ 2'&= JA HA = ! ! H I

@A JA HA = = JAHE H - HAIJ @A AIJ= >E =J HE I F=H= ?


5 +

IEIJA BK @= A J= AJ @ I ?

A JA A FH >=H GKA IA JEA A K = C HEJ FKJ=H IEIJA =I E E = AI ?HAJ= A JA

>=I=@ A

@K I @A IE?ECE=I @A
J=?E AI = JAHE HAI

Algoritmo IIIA.5

- JH=@= 7 ?

K J @A CA AH=@ HAI B

C @A 5
@K @A IE

5= E@= 7 IEIJA =

E E = @A CA AH=@ HAI @A E AIE K J +E

?ECE=I @A

 += ?K =H A ?
+E

5 0E 

 $ C  ?

+= ?K =H ,  K = >=IA @A AIF=?E LA?J HE= 0E  ! += ?K =H AI K ? A ? K J


5

K J E =CA @A H I 111 ) "

+E

,  F=H= @EIJE J I E

A@E= JA A EI @A IE?ECE=I @A
- = C HEJ IAH ABA?JEL I HAI LAH @A I

E E = @A CA AH=@ HAI @A E AIE

@K

= JAHE H IAH = HA= AJ @ I GKA KJE E?A

A JA K = C HEJ

IE J @ I

F=I I IA FKA@A HA= E =H @A

= AH= ABA?JEL= - F=HJE?K =H JEA A GKA I F=H= HAI LAH @ I FH > A =I  - IACK @ FH > A = IA FKA@A I

?= ?K =H +E O ?= ?K =H K = >=IA @A 0E  = AH= = C H
J E?=

A@E= JA = CA>H= E A= HA= E = @

+=F
JK

111

@K I @A 5E?ECE=I
IECKEA JAI F=I I
5A @AJAH E = KI= @ I AJ @ I @A FH CH= =?E 11

$!

E A=

A JAH= ANF E?=@ I A A ?=F


JK
5A @AJAH E = =D H=
0E 

E

 *E 

KI= @ = CA>H= E A= K ?KAHF B =?E A JA ,A DA?D A@E= JA 81 =@= K = HEA J=?E A A ?=F
JK

H@E =HE= A AIF=?E I LA?J HE= AI I >HA K = LA ? =I =F E?=?E ?E@=I =I ?=H=I @A @A AIJ LAHA O I AI (E IA FKA@A ANF E?EJ=H

=JHE?AI 7 A A F L= I = @=H K

= IECKEA JA IA??E

AJ @ ABA?JEL F=H=

?= ?K =H + HAI LEA @ A ? = ?K F IJAHE HAI

@A +E F=H= ?K= GKEAH E A ?=F


JK I

IIIB. 0-MODULO DE SICIGIAS


8A= I A K ? O GKA A ?
5 JA A

I =D H= K = C HEJ ?=H=?JAHE =H A ?

>E =J HE GKA K J @A

I FAH EJA
+

?= ?K =H IE K J FA

I CH=@ I GKA =F=HA?A $ 

E E = @A CA AH=@ HAI @A E@A= @A K IA ECHKF C


= HA@K?E@= I AI
:


2 H JH=J=HIA @A D JAIA GKA IE

AGKEL= A JAI GKA 0  E A 4 @A CH=@ AI K = ?=H=

AN LAH *+ 2'&> 
:H H AI K

I GKA IKFF  ,A JA

)@A =I IE ) E @A CH=@ K J
H : E E E  E E E H : E 

=NE =

@A

IA JEA A GKA ANEIJA K IF H*= ?

?KO I F HJA AI )

*
5A= + @A IE@AHA IKF ? AN @HA

B:
O/

 C
E I @A CH=@ F A JAI ? J = AN=I IK =

* K IK>?

K J @A >E


I A IECKEA JA CH=B ?

L AHJE?AI =I ?

I GKA D=O I IE >

$"
=HEIJ= ?KO I ANJHA IE AI K CH=B ? ANF E?EJ= = IKFF  O IKFF  ,EHA AN ? A A IA JE@ KIK=



I IA= =I ? F A JAI ?

@K

@A 5E?ECE=I
JA C=

AN=I GKA ?

H> I GKA / AI K =

CA AH=@ H F=H=

I L AHJE?AI O I

 =HEIJ=I AI @A?EH K =H>

= HA =?E A JHA AIJ I =H> AI O A E@A= @A 5 =

I A A IECKEA JA HAIK J=@


AGKEL= A JAI
5

Teorema IIIB.1

5A= /

* 5
AI

 /

/
AN

@ K J

@A / AI K =H> A JH ?=I

CA AH=@ H F=H=

IE AIJA

O/

/ AI K ?

E E = @A CA AH=@ HAI @A 1
#
AJ @ F=H= ?= ?K =H AN +  I I =I ? E I
+I I

Demostraci on. 8AH *+ 2'&> JA HA =


K IEIJA =

) F=HJEH @A = JAHE H JA HA = IA >JEA A K E E = @A CA AH=@ HAI @A 1


5 J= AI GKA

 ,AJAH E =H 5E
E

AI
+E @

AI @A CH=@ A JAI ?

AN E A ?
IKFF
E

+  @AJAH E =

@A + I

I

AN=I @A

/
= C H
J E?= )@A =I AIA = C HEJ @ + A ?A I

C
= AH=  $  E A 0 

-IJA FH ?AI IAH = K = C HEJ


5 J= AI GKA IK

IE F @A AI F ?

I ?= ?K =H @A AN

A?AIEJ=

I ?= ?K =H =I ? IE@AH=HA

A JAI ?

AN=I 2KAI >EA AIJ = H@A =

ANEIJA O F=I=HA

I =D H= = @AI?HE>EH I GKA A ? J=?E


,A

F

) F=HJEH @A =GK
?

K J

I @= @ = CK = KAL=
EF C *

Notaci on IIIB.2

5A= )

BE

?
K J @A

)$

O*$
I 

J=HA

-) * = ?

NF J= GKA

$  F=H=    F

+=F
JK

111

@K I @A 5E?ECE=I
-I F IE> A AI?HE>EH
F :
:

$#

J )

J J

?
-) *

NO
NF

$  F=H= =
AI

IK J

-) *

0-) *
,EHA
@A

-) *

E E =C I L AHJE?AI @A -) *
I? IE@AH=H = IECKEA JA

I GKA
E?E

I A A A J I @A 0-) * I
J=?E AI F @A

) F=HJEH @A AIJ=I

Denici on IIIB.3

5A=
) AIJ =

5 O IA= )

BE

EF C

)$

O*$

,EHA

I GKA

=EI =@ @A

* IE IA ?K F A

 -I F IE> A AI?HE>EH
F :
:

J *

J J

?  ! 
E


J EF 
I

N O

$  F=H= J @ BE
EI C ) O ) $ )
* F @A

0-) *
-) * F=H= ?=@= )

2=H= @AJA?J=H IE K ? LAH =I IECKEA JAI ?  5E ANEIJA K


*

K J AI

) AIJ =

=EI =@ @A ? I F HJA ?
2F

@E?E

E @A CH=@
EF 
I

JA E@ A

5E ANEIJA E ! &)

0-) * J= GKA
 I   I 

E

B

) O & 

0-) *
 I ) -IJ IA HAIKA LA

 

 

- FH > A = AI @AJAH E =H 0-) * &)

$$
HA?KHHEA @ = J A? E?=I @A FH CH= =?E @ I GKA F = JA= I A A ?=F
JK 11 - IECKEA JA A =

@K

@A 5E?ECE=I
I AJ

E A= A JAH= O ? C
= KI=@=
* - J

I ? =HE ?= = JAH E
O)
* AIJ =

Lema IIIB.4

5A= A
*

5 *

*$

=EI =@ @A I AIJ A K

?AI JH

ANEIJA E CK = =HEIJ= A

?KO I ANJHA

A )OA

Demostraci on. 8AH *+ 2'&> A = ! #


+ ? F O= DA I LEIJ A?AIEJ= FA I IAH ?=F=?AI @A ?= ?K =H =I A K ?E= I A IECKEA JA

A JAI ?

AN=I @A ?

2=H= A

JA HA = GKA =I ?=H=?JAHE =

Teorema IIIB.5

5A= +

  +  H F

 O

5 5

AGKEL= A JAI GKA AI


6C

 + AI K = ? -NEIJA K
= +

A JA ?

AN= @A

AN

I IK>?
5C

K J I 6

LAHE ?= @

> 6 AIJ = ? 6

=EI =@= @A


+ &

F=H= ?

 C

Demostraci on. 8AH *+ 2'&> JA HA = ! 


3KA A@E= JA K *+ 2'&> 8EIJ AIJ F @A I F = JA=H O= A =D H= I
= C HEJ = =O= = F=H= ?= ?K =H A E@A= @A K IA ECHKF I? K J I 6 = JAHE HAI FKA@A IAH A ? =? JH=@ I @A B H FH >=@ = = C H
J E?= O GKA F H J= J A HAIK J=@ FKA@A IAH ?

AJ @ ABA?JEL >=I=@ A

>E =J HE= =F=HA?A A

+=F
JK
Algoritmo IIIB.6

111

@K I @A 5E?ECE=I
- JH=@= 7 IEIJA = @A CA AH=@ HAI @A K IA ECHKF 5 5= E@= 7 IEIJA =

$%
= =O= =

E E = @A CA AH=@ HAI @A E@A= @A IA ECHKF K J

 5A=

A ?

B
5E @ ? AI ? AN=I @A ?
IKFF

AI

AN C  +  I I
+I I

AN
E

@AJAH E =
+E @

E I =I ?

@A CH= A JAI

@A +

/
! /
5

AI K IEIJA =

E E = @A CA AH=@ HAI @A 1

DADOS LOS +E IIIC. CALCULO PRACTICO DE LA RESOLUCION


*+ 2'&= I? I J= ! $ K J I +E I =KJ HAI @= K = C HEJ >JA AH ?
5

HA?KHHA H I

JA F=H= @=@ I AH=@ HAI @A


0

K J I

E E = AI @A CA

8  2=H= A

@K I @A IE?ECE=I @A IA= ,   K ? C
= 0 

A@E= JA A EI 

K J @A ?E? I @A  ,A  J=HA IF H

 GKA B H = = = =F E?=?E

K = >=IA @A = D

 

E @K?E@= F H A EI "%  2=IA JHKE@ J OA J L L  I


 ?

H I

@A JA HA = 111 ) " LAH *+ 2'&= F =C AJ @ HA?KHHA JA


,   FKA@A IAH ? 2L @

I=?

JE K=?E = A K ?E=H @E?D


+ E A

 2=H= ?=@= = @

? F

AN

I @A

F=H= ?=@= ?

A JA L @A F @

K FK J 2L A A = A JAI @A
2

?AI ,   FKA@A B H =HIA ? =I =HEIJ=I @A K =H> )D H= F=H= K ?E? A 




=I @EBAHA ?E=I 2L

2

I >HA =I ?
2
2

2 2
2

 IA JEA A K A A A J AI K E

 1  @=@ F H /

 2 :2

$&
@A CH=@ K >E I F HJA ? @ HAI @A J
?
2

+ = ?K

FH =?JE? @A = HAI K?E @=@ I


2 2

I +E

- F=HJE?K =H = K ?E?
2

,   IA A =I ?E=

JEA A = 2 O 2 HAIFA?JEL= A JA AIJ = ? =H GKA 2 2 5KF




@A

2

E I @A CH=@


?KO
,  

C=
/ 

I GKA JA A
/ >

I K IEIJA = I


E E = @A CA AH=  $  O  2=H= ?=@= F=H= ?=@=

C +

IE@AHA

+ E A 0 

I ,   K IK>?
. .

K J @A I
>2
:

 >=IA @A 0  IJHK??E

,   HA= E =

I = IECKEA JA ?
:.
:2
.

FK J 2

IE@AH=

.

2.

@ J

@A =

AI K  =2  


E @A CH=@ 4 
>
F

)D H= ?
2

>2




I =2
 ?

J= GKA >2
:

=2 /

- J

?AI K =

IE?ECE=

LEA A @=@= F H
>
2

:2 = 2

! 2 H HA?KHHA ?E= IKF = @A CA AH=@ HAI @A ? IJHKE I? J , ? F @A ?K= GKEAH .



E

C=

I GKA JA A
E / >E 

I K IEIJA =

E E K   F=H=

I K IEIJA = @A CA AH=@ HAI @A


+ EA 0

E / 

C F=H=   E 
2

 ,A KAL
, 

F=HJEA @ @A K ?
.

 $  ,=@ ? ? A  ?
:

. .

FKJ=H = IE?ECE= ? @E
.


F=I I ? IE@AH=
:.
:. 
. .

IECKA 2HE AH IA F E E

>.

.

. .

@
4
>

@A
.

AI K
>.
.

?


E @A CH=@
=. /


O F=H= ?=@= . ?
:



)D H= J @E
.


= ?

I =.

=.  I

IE@AH=

>.

@=@ F H
>.
. .

:.
:. 

.

=. 

,A KAL IA ? K=

IJHKOA =.

4> 

.

AJ @ = JAHE H O ?  >JA A

JE I

I FAH= @ @A =

EI = B H = 2=H= = @E A IE

+=F
JK

111

@K I @A 5E?ECE=I
K A A A J @A   @=@ F H
>
:

$'

:2 = 2

@ J

@A =2 ? A

4> 

? HHAIF

@A = = ?=H= @A @E A IE  7 A A A
>
2

JE = IE?ECE= AI AIJA K @A@E?=@ = @K

:2 = 2

- A ?=F
JK @A FHE AH AIJ I AJ @ I

I A A F I HA= E =HA

I A ? = ?K

@A IE?ECE=I F=H= K IA ECHKF @AJAH E =@ KI= @

+)2 167 + = ?K @K @A 2HE AH @A 5E?ECE=I

18

- AIJA ?=F
JK I A @=H K ? IE?ECE= @A K J A J A K IEIJA =

O= D=>
= EJ @A ?DAGKA

I =@A = J=@

I ?A JH=HA @K @A

+ J= GKA IE ANEIJA K A A +

E E = @A CA AH=@ HAI @A FHE AH

5 IK CH=@ FAHJA A?A = + -I @A?EH +

IVA. CONJUNTO FINITO DE CHEQUEO


.E A I 5 IA ECHKF
5
Z
D

= =O= = E A 5
Z =

 5

BC J= GKA

Z =I

=

=I  HC +
D I

ZI O K

K J @A CA AH=@ HAI B I CA AH=@ HAI


I H
H


H

C @A
AA

5 5A=

B

IE@AH= @ I @A 


A J IA Z

F @A

EH = D

=JHE

)
+ A ? O= ANFKIE @K K J + @A FHE AH

D I H Z

I A 111 ) # F=H= @=H K IEIJA = @A CA AH=@ HAI @A IE?ECE=I @A = CA>H= @A IA ECHKF >=IJ= JA AH K J

5 0 

 $ C 8=

I=?

IJHKEH K ?

%
EJ + GKA ? E?E JEA A 2=H= A K = IAHEA @A @A AI O HAIK J=@ I
EJ C

K J .E EJ @A +DAGKA
I A FHE AH KC=H @=H

A?AIEJ=

Denici on IVA.1

5A=

5O.

BE

J= GKA J  ! O IA= =I IECKEA JAI ?

K F
C I GKA @E?E AI

A?AI=HE= A JA F = AI K . DKA? @A  .

?KO ? IE IA JEA A 

K J @A L AHJE?AI AI . ,EHA

&
.

J IEA @

BE E  C &

 O .J

BEJ E C

=I ?=H=I @A 5E .
)? =HA JH=JEL
. . 

O . $ . &
E?E

J A J

?AI .
E KI

I AIJ= @A

A@E= JA A IECKEA JA A A F

Ejemplo IVA.2

5E ?

IE@AH=

IA ?

FA

IE F E?E=

@=@ F H A CH = ? 18  AI

Figura IV.1. . DKA?


1

B =?E =FHA?E=H GKA A F


C ? @A 5E A >=HC AIJ=H A FH FE B ! "C A A ?
JAIA GKA @=@ K AH @A F K
C
. DKA? 0 

B H =@ F H   ! " FA
K J

! AI K B

!C DKA

A JHE = CK
?

AI K B ! "C DKA? F H

. @A L AHJE?AI @A ?=H@E = J A
J 

@EIJE J I I >HA A AI
@E?E
+ 

- FHE AH HAIK J=@ GKA F = JA= I @= K = ? K E A  IA=

I = F=HJEH @A = @A

E?E @A

A?AI=HE= F=H= GKA A AIF=?E LA?J HE=

+=F
JK
Lema IVA.3

18 + = ?K
5A= ?=H=I I

@A 2HE AH
5 J= GKA 0  . LAHE ?= @ ?

@K

@A 5E?ECE=I
K . DKA? @A

%!
?KO=I

 $  -NEIJA . O
J :



 * 

 &

Demostraci on. 2 H IAH 0 


J J= GKA ANEIJ= @
J :

 $  F @A
.


I?  * 

IE@AH=H A 

H A JAH

 $ &

 C=


J - J= ?=I

.E $ . &E $

5KF F=H= = C K

I? 
( @

FK J @A F=HJE@= GKA .
  BE C

BE E C - J

?AI

BE C
K J . ? L=

- AIJA ?=I GKA . ?

@A>A ANEIJEH K ? @E@=@ @A

$  O J= GKA E FAHJA
I = IKF AH GKA O

A ?= = A 2 H?

J=?E

BE E! C -I ? =H GKA E $ E! F HGKA . $ .
) = C= A JA ANEIJA K ? K J .! @A JHELE=

@E?E @A . DKA?  @
5E E"
E JA A .

BE! E" C J  ! FHE AH= A JA E! $ E" O E" $ E 8A= I

=I F IE>E E@=@AI @A IKHCA


I

BE E C .
I @A
@

BE E! C .!
IAA A J I
 .

BE! E C

- J

?AI F @A

EH
 .    .

!  .! !  .!
J :



 !

"

. @

?
@

 O J= AI GKA ( @


 O F H

J= J @

 5E IKF

I GKA @ $  IA JEA A GKA F H IAH J

%"
E E = @ ! KAC @ = @A
* 

+
 - AIJA ?=I = @ ?

K J .E EJ @A +DAGKA
@ * 

 OA J

?AI J

 6

  @ O= D=>H
=

I JAH E =@
I GKA J  "

IJH=?E
>JA A I GKA ANEIJA . "F H?

5E E" $ E O I=>EA @ GKA E" $ E A E" $ E! JA A ) ECK= GKA = JAI ,A KAL L= ?E 5E JKLE AIA


BE" E# C E# $ E! E"
@E@=@ @A J=

I=?

IE@AH=H
E F @A

I A ?=I E#  F H

I IACKEH A H= I JAH E =@ I IACKEH A H= JH=@E??E ? JE K= AH K I?

@A FK J = JAHE H ?  *  5E JKLE AIA




IJHKOA @ K A A A J ? GKA D=>H


=
E F @A

2"

= EA J


I A ?=I E#

@A FK J = JAHE H ?  *  J= J J 2 H ?AI -IJ= ? IJHK??E AI =

IJHKOA @ K A A A J ? I .#

2"

= EA J
. J"

 2AH AIJ A JH= A ?

BE# E$ C O ?

AIJA FH EJ @A F IE

EJ= = ANEIJEH K I?


>E E@=@AI F=H= E - J


?

?AI F @A
J :

? KEH GKA ANEIJA  *  

?
.

BE E C .

BE E! C .!
& @A K J


BE! E" C

J

.J J

BEJ E C
I FH >=H I GKA@= - AIA
G J= AI GKA

F=H= K

I @AJAH E =@ I @ C= @A . AI A ?

GKA @A>A I O .
F

=D H= AI GKA A F
C
. DKA? @A

E@ F H .


.J AI ?EAHJ= A JA K

. 2=H= AIJ .  . ?
 

FH >=H I >HA 5KF ?=I O?

= IACK @= ?

@E?E @A = @A
. . $ .


E?E @A . DKA?

I GKA ANEIJA . 

@A>A ANEIJEH = IK LA @ I A JAH I EF EG IE@AHA I.




BEF EG C $ . $ BEG EF C &

J 5KF

C=

IF H?

@E@=@ GKA F

BE EG C - J

?AI F @A

I HAI?HE>EH ? @A =

= AH=

+=F
JK

18 + = ?K
IECKEA JA
?
2J

@A 2HE AH

@K

@A 5E?ECE=I

%#

. .

J .



J .


J .

 .

G  .G 
?



J .



G .G
?

J .J

2=H= K J= J ?

@AJAH E =@ >EA ?
* 

J 

 IA JEA A GKA ? ?
* 



 2 H

 ?

 O= GKA ?

* 

 -IJ A JH= A

JH=@E??E ?
+

GKA J AI

E E =
IJH=?E = JAHE H ?=>A @A?EH GKA I

=? =H=?E = = @A
E

A JAH I A

 @AFA @A @EHA?J= A JA @A = HEA J=?E ? IJHKEH A ? @E?E I >HA I JH I L= K J I

IE@AH=@= +

7I= @ AIJA A = ? F=I= F H A ? K F


C @E B = JE? I + A ?A I @A JH=H K = ?
. DKA? @A

EJ @A ?DAGKA I = @=H AIJ= ?

5 F=H= GKA ANEIJ=

@E?E AI

= JH=L AI @A =I >=IAI @A 0E >AHJ @A ?EAHJ I IEIJA =I @A A?K=?E EA @ K H@A I >HA A IA ECHKF 5


E@ F H

Denici on IVA.4

5A=

H@A F=H?E= I >HA 5 @A K J 0 @A 5 @EHA

5

IE

5 ,=@

K IK>?

I GKA

0 AI 5


E E = A 0 IE

&

= ANEIJA ?E= @A A A A J I 5
5 LEA A C=H= JE =@= F H IAH 5

E E = AI A K IK>? A BK ?E @A A J
J

K J 0 I CA AH=@

= =O= = O= GKA AIJ 

I =IACKH= GKA

D=O K = ?= JE@=@ 5KF C=

EJ= @A AI?HEJKH=I @A I GKA


E

HAI @A 5  *+ 2'&> FH F IE?E 

AI K . DKA? @A 
E  E H J

?AI ANEIJA

H J

%$
LAHE ?= @
&
. .

+
2 2
 
. . . .

K J .E EJ @A +DAGKA

  

@= @=

&
. .

). ).

  

@= @=
J 

2
.J  .J


 
. .J  . .J

J  J

@= @=

.J  .J

).J  ).J J

@= @=

@A ).E ,=@= BA

D I H J

 Z

AI =
.

=JHE ?KO=I ? K
.E

=I I E I

=I @A )

E @E?=@=I F H A ?

K J 

AH C = >=IA ?= E?= @A NH @A A.E E 


:

.E

A

? F

E NH  NH

= FH OA??E GKA A E E = =I ? K J . .E   E  J J=?E AI = JAHE HAI JA A 


   J

H@A =@=I ? HHAI

@EA JAI = ? + =I

I GKA ANEIJA K = KF = @A
N
H J J

KF =I  J= GKA

). 
O
A ? A



).

 

). J
NH
J

J

@= 5 J= AI GKA

A. A.

A . J  A. J 

J

- J IA= K
N
H J J
 * * * * * * * * * * (

?AI

= B H = @A ? IAH = ?      

IACKEH A A A J I AI @E B = JE? I      
 +* +* +* +* +* +* +* +* +* +* )(

. DKA? @A

FKJ=H = CK =I N I K?E
  

AI


@A

I IEIJA =I @A A?K=?E 

).
  

). ).
 

).! ). !


). "


).J 

).J
@A

+ + + + + + + + J  + + )

J

@A ?=@= JH=
=

@A D I

=I @A IEIJA = AIJ =A ?

CHKA ?E= J=HA

@K

@ = 7 IEIJA = @A = B H = = JAHE H

IF H

@=

+=F
JK

18 + = ?K
@ @A
 * * * * * * * * (

@A 2HE AH

@K

@A 5E?ECE=I
 + + + + + + + + )

%%
     

).
 

). ).
 

).! ).!


)."


 

   

J D I H J

J Z

).J 
I JH=

).J
IA ?

O A I
> ,A
4

@ = D=?A HABAHA ?E= =

CHKA ?E=I AI

I =D H= 4 = ? 
 J

K J @A N I K?E
N
H J J

@=

A C

5A= 04 A ? IK>?
4

K J @A


IAA A J I
J

E E = AI @A 4
   J

O 4 =

K J @A 5

BF
5A=

5 F

).

). J

4 C

+ 4A =?E F @AH =JH=F=H A

BF

5 F AI 5

E E = A E?E

4 C

I =D H= J @=I AIJ=I @A KAL HAIK J=@ I A A A J I @A 5 ?


?AI ANEIJA

AI O

J=?E C
=

AI ? I= K=
+

A A = 18 ) ! @= @ K

A@E= JA A ?K= L=

FHE AH= D

Proposici on IVA.5

5E 0 

$  A J

K . DKA? @A

J= GKA

Demostraci on. 2 H A A = 18 ) ! JA A
?KO=I ?=H=I .E LAHE ?= GKA
?
J :

I GKA ANEIJA

K . DKA? @A



 * 


4

F=H= ?EAHJ I O


 & C= I GKA


 

J 8EIJ AIJ 4

AI ? =H GKA @A>A ANEIJEH

5KF

+ - AIJA ?=I

5 J= AI GKA

%&
5E D=>H
= 5KF


+
 JA @H
= ? KE@ C= IA J ?AI GKA


K J .E EJ @A +DAGKA
GKA

H : E 

I FH >=@

+
@E
E

O F H

J= J

I?

$ 

=I F IE>E E@=@AI GKA IA F = JA= I


5E E


. 6

IK
@E?A J= GKA E
 
E .

.
E

@E $ 

 

5 5

'

5.

B EC

-IJ A JH= A ? ? @A
5E E


JH=@E??E ?

A DA?D @A GKA

AI K . DKA

@E $ 

+ ?AI ?

 

 

E .

5 5

'


. ( 
J :

5 &

- J

IE@AH=

I .
?

B EC
.  * 

&

J -I B =?E

LAH GKA


-IJ AI K = ? = K FK J
Figura IV.2. 0

JH=@E??E O= GKA ? IA =FHA?E= A

 /H = ?= A JA JH =?JE

GKA ?KHHA AI GKA = CKH= =I ?E=@= ? J= O ?

A . DKA? AI ? = CKH= 18

C
= K =

0A

I FH >=@ FKAI GKA

+=F
JK

18 + = ?K

@A 2HE AH
=@ I

@K

@A 5E?ECE=I
E E = AI ? I=?
J

%'
A A = 18 ) ! ?= ?K =H K J  EJ I O IA FKA@A IE@AH=H A ? 
 J

4A =?E @A

I AA A J I 5 I ? K J I + I


I B= J= LAH GKA

= AH= ABA?JEL= 2=H= D=?AH AIJ L=

04
2 H JA A + AI

BF

5 F

). 

).J
K J EJ

04 C
EJ

LEIJ A A ?=F
JK I GKA 04 AI K ? EJ
J=?E

11 O A F=HJE?K =H F H A A = @A ,E? I OF H J= J J= >E A AI I AIJA DA?D F=H= @A IJH=H GKA

04 - A IECKEA JA HAIK J=@ KI=

Lema IVA.6

=I

AI = JAHE HAI IA JEA A GKA +

04

- F=HJE?K =H + AI

EJ
I A K FHE AH + A J GKA 
 J

Demostraci on. )IK =


- F=HJE?K =H JA A

+ 
4

04

I GKA
J

 '

).
4



).J
) ? ?AI ANEIJA 5E ?

IE@AH=H GKA


04 04 O

- J




FKA@A IAH
N I K?E


 

@A )
 



E E = A  J= GKA


IE@AH=

IA A A A J AI 5 EJ = IAH
I HA =?E =

). 

GKA + A

5 OF H

J= J K J

E E = A

04 JA A 4 F HGKA $
+

DA

I AC=@ = K = ?

JH=@E??E O= GKA

+ AI K ?

04
IAA A J I5 E E = AI @A
5 GKA

Nota IVA.7

JAIA GKA A A = 18 ) $
4 ?

E E = AI @A 4

04 -IJ IAH = K = FEA = ? =LA = =


I I CH=@ I
F=H=

D H= @A =? J=H A CH=@ @A =I FHE AH=I IE?ECE=I @A = CA>H= LAHA I A 8 * ! ,A DA?D A @E?D= IA??E =? J=HA F H AIJ=H A +
>JA A I K = C HEJ
5 F=H= ?DAGKA=H

A@E= JA IK FAHJA A ?E= = 04 O


A ? = ?K @A K ? K J EJ +

)F E?= @ =D H= A A = 18 ) $

I AA A J I

&
5 J= AI GKA 0 

+
$ 

K J .E EJ @A +DAGKA

Algoritmo IVA.8

) C HEJ

@A +DAGKA K J @A CA AH=@ HAI B K J O.



H

- JH=@= K ? 5= E@= + K ?

C @A 5
5 J= AI GKA 0 

EJ F=H= ?DAGKA=H

$

  /

B.

2   .  !C .O& F
C
?KO ? K J @A L AHJE?AI AI 04


EA JH=I . $
= 2=H= .

AI .  += ?K =H A IK>?  += ?K =H A ? ! /
> .

K J @A N I K?E

K J + = F=HJEH @A 04
.

B

+ C

. .
.

! +

DKA? @A

O

.

/C

-IJA = C HEJ =

18 ) &

I FAH EJA A K ?E=H A IECKEA JA JA HA

Teorema IVA.9

- ?

K J + @A 5 CH=@ I GKA =F=HA?A A @K @A IE?ECE=I @A I?

IEIJA =

E E = @A
5

CA AH=@ HAI @A FHE AH

5 FKA@A IAH ?= ?K =@

@A B H = ABA?JEL= = JH=L AI @A

F A I IE F E?E= AI
18 ) &

Demostraci on. 1


A@E=J= @A = C HEJ

A@E= JA 11 ) " O I = C HEJ I @A ? = ?K @A N I K?E AI @A ?=F


JK 11 IA FKA@A >JA AH AIJA ? K J ?= ?K = @ =I N I K?E AI E E = AI @A IEIJA =

) A

7I= @ A A = 18 ) $ F @A I ?= ?K =H + ? FH >= @ IE =I @EBAHA ?E=I @A A A A J I @A 04 AIJ = A 5 E A I 5 E E = AI

+=F
JK

18 + = ?K

@A 2HE AH

@K

@A 5E?ECE=I
KAL = C HEJ


&
F=H= ? FK IK = F=H= J @ I ?= ?K =
+ J

7I= @ 111 ) " DA J=H K IEIJA = =

I >JA E@ K

E E = @A CA AH=@ HAI @A H I
0 

I K = >=IA @A AIF=?E 0 

 O = F=HJEH @A A

>=IA @A 8   = JH=L AI @A EI

  8  
@K

Corolario IVA.10

7 ?

K J
+

E E = @A CA AH=@ HAI @A FHE AH


=I @AJ= A F=H= ? E>HA

@A IE?ECE=I @A
18 ) &

5 FKA@A IAH @AJAH E =@ KI= @ A = C HEJ

18 ) &

IJHKEH = F=HJEH @A = C HEJ A ? = ?K ? @A ?

= HAI K?E = C HEJ = C HEJ

E E = @A K = L=HEA@=@ J HE?= D=O GKA =F E?=H A K J + IA HA= E = I @A AIJA ? K J + K J I AI K J EJ GKA JEA A + O GKA AI = I= E@= @A C
= HA@K?E@= =I ?E=@= =

111 ) # - FHE AH F=I 18 ) & 7 = LA +

= F=HJEH @A K ? AA A J I

>JA E@ + A E E =

5 J= AI GKA = D

K = - HAIK J=@ @A AIJ= IA A??E AI A ?

IVB. NOTAS
)K GKA A ? GKA DA A GKA F HJ= EA J ? FKJ=?E AI >KA = @A I = C HEJ I I @AI?HEJ A AIJA ?=F
JK IK E F HJ= ?E= H=@E?=

I FAH EJA ? FHA @AH ? >E =J HE= A JA A = CA>H= =I ?E= @= = K IA ECHKF -IJ= AI = @EBAHA ?E= FHE ?EF= ? I = C HEJ I >=I=@ I A >=IAI @A /H > AH LAH -15'# JA HA = @A 5?DHAOAH  O= GKA AIJ I I IE I K = DAHH= EA J= @A ? = ?K O K = L
= @A ? FHA

+)2 167

+ = ?K @A = 4AI K?E E>HA E E =

INTRODUCCION
+ A ?=F
JK I = JAHE HAI L=
5

H

I=?

IE@AH=H
Z =I

Z =

 = K J

=I 

ZI O J= GKA 5

 5
0E 

BC 5A=
 $ C K J

B

HC O IA=

+E A ?

+E

- AIJA ?=F
JK @A E AIE
+E

L=

I = @=H K ?

EJ @A ?DAGKA

+E

J= GKA IE ANEIJA K A A A J A K IEIJA = +E 2=H= A @K @A IE?ECE= @A I CA AH= E =HA = JAHE H I HJA= @ I?

5 IK CH=@ FAHJA A?A = +E AI @A?EH

E E = @A CA AH=@ HAI 

I HAIK J=@ I >JA E@ I F=H= E I @EIJE J I FH > A =I GKA IKHCA K J I +E = JAHE HAI =? J=HA

A A ?=F
JK = CA AH= E =H

)@A =I = F=HJEH @A CH=@ @A

IA

I A A A J I GKA =F=HA?A A K IEIJA =

E E = @A CA A

&"
H=@ HAI @A E AIE =HA HA @K

K J .E EJ @A +DAGKA
5 +

@A IE?ECE=I @A KAIJH= = CA>H= ANF E?EJ=HA

I @= @ K = ? J= F=H= = FHE AH= IE?ECE= O @AIFK AI CA AH= E = JE I AIJ= ? J= = ?K= GKEAH IE?ECE= 2 H K I K = ? J=

F=H= = HACK =HE@=@ @A K = L=HEA@=@ J HE?= FH OA?JEL= O K = C HEJ F=H= ?= ?K =H = FH FE= HACK =HE@=@

VA. CONJUNTO FINITO DE CHEQUEO


- IECKEA JA A = L= = IAH K = FEA = ? =LA A O= GKA = ECK= GKA 18 ) ! ? AIJ= =FH NE =?E F @HA
 AI

= CA AH= E =?E I I K = /H=?E=I = @A +E


*E  . IE

I @= K = =FH NE =?E @A ? C
= AI AJ @ @A ? = ?K
E

F A I IE F E?E= AI ?KO= E AIE = D I @=H K

Lema VA.1

5KF
2J

C=
. 
5J

I GKA 0E 


K = O IA= ? 

 ?

BC F=H= ?=@=


?AI IA JEA A GKA
. 'G   G  J

J J= AI GKA . $

5E .

. A J

&F
Demostraci on. +
F . 5KF

.G O .G

B FC
. '    J J= GKA .OF . F=H=

A ?A I F=H= A
J :

I FH >= @ GKA &F ? JH=HE

C=

AI @A?EH F

?K= GKEAH

   J - AIA ?=I
? 
. . BFC .

BFC

+E  

 
J -IJ

2AH ? F=I A
. BFC

 F HGKA (E ? K = @A .E A IJH=?E I F D=>H


= IE@AH= 6 A IA I ?

 OF H

J= J 

 &

AI F IE> A = IAH ?

KAC O= DA C=

I FH >=@

KAIJH FHE AH
. 5E .  B FC .  B FC

. O IKF

I F H ?

@E@=@ GKA F JH=HE K J .


E

I JAH E =@ AH K
? 


= FHKA>= - ?=I ?

B


.COA ?

. . (E  . 

-I ? =H GKA ?

 *E 

+=F
JK

8 + = ?K

@A = 4AI K?E
IECKA
?
J :

E>HA

E E =

&#

-IJ= IK = GKA@= ?

.

@E .  E . $ .



. . .



2J

2 H

 

J= J
F

? IA FKA@A HAAI?HE>EH ?

?

BC F=H= ?K= GKEAH B


 
. C O IA= .
5J






O .



$ .

 

 

@A 5A=

IE

. -IJ I @ I A A A J I I=JEIB=?A

=I IECKEA JAI FH FEA@=@AI


.  .

 

 

5E F


. ANEIJA G

 G  J J= GKA .
IJHKEH ? I AIJA FH ?AI DA

.G

- HA= E@=@ F=H= ? 8=


.

I HAA F = =@ A ? = JEA A = F A@E= JA K = E @K??E A


. - ?K= GKEAH . O GKA

?=H= . F H L=HE=I ?=H=I @EIJE J=I = . GKA I


? I=? JE K=H ?
E KAL ?  JA A K J .

5E . AI ?=I


I = ECK= @=@ .




KAIJH

IECKA LAHE ?= @ GKA F

$  2 H H=
I GKA ANEIJA

= EA J I = = C I = = JAHE H =D H= I >HA ? I=>A

F=H= = C K G ?=I ?
?
2J 

JH=HE


 J J= GKA F . KAC F H   . .G  G  J 5E . BFC D=>H


= I JAH E =@  . BFC F @A I ? IJHKEH = F=HJEH @A ? O @A
K
 

= AH= = = C= = IK >JA ?E
 .
   

KAL A A A J ?

E

 *E 
J
  
5J 


.


@A  ,A

 

BC F=H= ?K= GKEAH


EA @

O J=


GKA .      

$ .  IE $
I @A KAL
.   .

.  C O .

>JA A

5E F
 

.


ANEIJA G

 G  J J= GKA .

. G

,A KAL JA A @A KAL F
.
 

IA  

= ECK= @=@ F HGKA . AI

 

$  KAIJH HAIK J=@ IA >JEA A F H HA?KHHA ?E=

&$
O= GKA AIJA FH ?AI JAH E = A K FH FEA@=@  GKEAH ? 


+
AH K

K J .E EJ @A +DAGKA
EJ @A F=I I CH=?E=I = =

 C= I =D H= GKA KAIJH HAIK J=@ AI ?EAHJ F=H= ?K=  ?


2J

5KF
E

 *E 

J . $ . IE $

 . @

@A 

O?
IA = ?=
.


.

.@

@A .

5J

BC F=H= ?K= GKEAH




. - J

?AI

5E A
.


  J= GKA F

= = ECK= @=@ AI IK ?EA JA =F E?=H = ?AI >JA A 2 H


IA

DEF JAIEI @A E @K??E = ? - J O.




I GKA ANEIJA
.G ?

B FC

 .
EI I ?

 G  J KAC D=>H
=
5E A   IA = ?= J GKA A A ?=I ? IE A   AIJA FH ?AI C=H= JE = + A O= DA
.
E

I JAH E =@
=HCK A IJHKE JE K=  I? I I 5E >JA A JAH E =

= = ECK= @=@ HAFAJE

= JAI ,A KAL A ?K= AI

I A HAIK J=@ F H E @K??E JH ?=I ?

IA JEA A = ECK= @=@ -

EJ O= GKA = FH FEA@=@ 

I FH >=@ A HAIK J=@


5? .J 0E 

-IJA A = 8 )  =I ?E= = ?=@=


.

 $ K ?

K J

O K = IAHEA @A IK>?  .
5J

K J I .

J= AI GKA

. E &

@E .  ! . 7I=HA I >HA IK>?

I AIJ=I FH FEA@=@AI F=H= @=H K =I KAL=I @A K J I @A


@EHA I GKA

E?E

AI

Denici on VA.2

5A= A ?

K J .

B.

.J C AI K = E JHE= CK =?E

@A . IE IA I=JEIB=?A  @E . 

=I IECKEA JAI FH FEA@=@AI 


J

E &

+=F
JK

8 + = ?K

@A = 4AI K?E
.
5J

E>HA

E E =

&%

)@A =I @EHA
5 IE .

I GKA 

AI K = E JHE= CK =?E @A . A

&

J O.

JAIA GKA @A
.A . DKA?

B.

.J C AI K = JHE= CK =?E

@A . A ?=H=I E?E @A

@A @E A IE E -IJ AI K = CA AH= E =?E @A = @A

O= GKA K . DKA? AI K JEF AIFA?E= @A  JHE= CK =?E @A JA A IK = JHE= CK =?E @A K ?

- A IECKEA JA A A F FA IE F E?E=

Ejemplo VA.3

.E =@ .

B

'C O A ?

FA

@=@ F H = CKH= 8  F @A

Figura V.1. E JHE= CK =?E


8

7 1 2 3

5 4

&&
@A EH ? K =

+
JHE= CK =?E @A . A
. .! .# .% .' . .!

K J .E EJ @A +DAGKA

B &C B ! &C B! " &C B" # &C B# $ &C B$ % &C B%  &C B.

B 'C . " B ! 'C .$ B! " 'C .& B" # 'C . B# $ 'C . B$ % 'C ." B%  'C ." C
.

6A A ?E D C
= AI

I K

HAIK J=@ AI ? K=

= = C =

A = 18 ) ! GKA

I HA =

= =I JHE= CK =?E

I A A A J I A 5 J= AI GKA IK E AIE =

Lema VA.4

5E 0E 

 AI

K= A J

?AI ANEIJA K ?

K J .

K = E JHE=

CK =?E @A . A

Demostraci on. -I IK ?EA JA J


? K J I . .
.J ?

=H A A A A J ?

E

 *E 

O

A A A =8 )
5

JAIA GKA @=@ K A A A J @A IA ECHKF K J . E = JHE= CK =?E A@E= JA A IECKEA JA A A F JHE= CK =?E = JAHE HAI I GKA @=@ K ?

EA ? I

E? I A CA AH= 8A= K

K J . FKA@A ANEIJEH

AI @A @EIJE J= B H =
? K J .

Ejemplo VA.5

,=@ A @=@= F H

EI

B

'C @A A A F ? HHAIF

8 ) ! F @A @EA JA = =

I? CKH= 8

IE@AH=H I >HA A K =

JHE= CK =?E

+=F
JK

8 + = ?K

@A = 4AI K?E

E>HA

E E =

&'
4 6 8 5 7 9 1

Figura V.2. 6HE= CK =?E @A 6 H


1

3 2

. ." .% . .! .$

B ! "C B $ &C B" $ #C B% & 'C B#  %C B! ' C

. .# .& . ." .%

B! " $C B & C B$ # %C B& ' "C B % !C B' #C

.! .$ .' . .# .&

B! $ C B & "C B$ % &C B' " #C B% ! 'C B # C

B.

.& C

5KF ,A

C=

I GKA

B.
GKA DE?E

.J C AI K = E JHE= CK =?E @A . A

= AH= IE E =H =

I?

I . DKA? I L=

I = >KI

?=H KAIJH=I JHE= CK =?E @E B = JE? I GKA F=I= 4A? H@A F=H= ?K= GKEAH ? K ? =I I

AI = JH=L AI @A K I=? IJHKEH

I @AJAH E =@ I IEIJA =I

I GKA = FH FEA@=@ .E
N J= AI GKA

AI AGKEL= A JA =
2H

5 -IJ IEC E ?= GKA ANEIJA .E 4A? H@A

I J= >E A GKA ) AI =
H



.E

=JHE ?KO=I

I CA AH=@ HAI @A 5 ? 


IE@AH=@ I IKI A A A J I IE

CHKA ?E=I E A ) ,A K =I I= L J=HA =

D I H Z

I F H A.

NH = LA?J H ?

J @=I IKI ?
.

H@A =@=I

AIE = GKA L= A  F=H= J @

JAIA GKA AIJ= 18

@A

JK E?E @A A. AI @EIJE J= @A = =F=HA?E@= A A ?=F

'
+
 * * * * * * * * * * (

+
IE@AHA I =  =JHE ?      

K J .E EJ @A +DAGKA

? A ?EA JAI A JAH I      


 + + + + + + + + + + )

)
  

) )
 
A.J 

)J

) )

NHJ

)


D IJ  HJ Z

OA LA?J H

A. - J   )J
A


?AI @A ?=@=
J

E JHE= CK =?E @A . A
NHJ LAHE ?= @

IA >JEA A K

@ =

! + >KI?= @ FH ?A@AH @A .E A IE@AHA AA A J I



J

O= LE

I A A ?=F
JK

@A@E?=@ = ? = ?K

@A + AIJ=

IAA A J I = AH= E LAHI= I. O

5 J= GKA 0E 

 $  KAC JA A

I GKA

B.
AIJ = 18 @A
J

.J C K = E JHE= CK =?E @A . O ?

I =D H= GKA
5 J= AI GKA

=@= 8= E I

I = >KI?=H A J @A . A I?  K J I @ =

?AI

I ,A

AI K = E JHE= CK =?E

= AH= = = C= = ?=F
JK
4

B
4



HJ

)J



A C



 

J

4 C

/H=?E=I = A = 8 )  I=>A  F @A IA ? JH=H K ?


4

I GKA IE I FKAI GKA

5 LAHE ?= GKA 0E 

$

K J @A L AHJE?AI . O K =

E JHE= CK =

?E @A . J= GKA

6A A
+E
.

+=F
JK

8 + = ?K
@

@A = 4AI K?E

E>HA

E E =
E JHE= CK =?E

'
AI @A . O . A CA AH= ? EJ I E E I=

@A = K E AI I >HA J @=I =I + O= LE I I ? I
4

.E

. FH LEA A @A A = 8 )  I? AI K J I 4 E E = F=H= K J I 


FAH IE = AI 04 @A E ?= ?K =H +E

K J I B H =@ I F H IKI A A A J I EJ I ?
  J

C ) F=HJEH @A AIJ I
I GKA L= 

I A 5 K = IAHEA @A IK>?

04
O

B
+

)
5



04 C

AI 5

E E = A

4 C

- ? AIJ=H ?

K J

04 AI EJ F H IAH 04 O + AI J= >E A EJ F H JA E@ A 04 ? I FHKA>= A IECKEA JA A =


@E?E AI = JAHE HAI
+

Lema VA.6

=I ?

04

- F=HJE?K =H + AI

EJ
IJH=?E AI = = C= = = @A A = 18 ) $
@E?E C
= AI AI @A @=H = ECK= GKA F=H= A ?=I @A I =JH=FA IAA A J I K=
K J @A L AHJE?AI . J= GKA
2J

Demostraci on. -IJ= @A


-IJ= I O= A ?

= FHE AH= IE?ECE= 18 ) # K HAIK J=@ GKA @A 5 ?KO= E AIE = D

Proposici on VA.7

5E ?

5 O 0E  .E

$  A J OK =

?AI ANEIJA K ?

E JHE= CK =?E @A . A
AH GKA 0E 
E

Demostraci on. ) IKF


A AIJA ?


 $  ANEIJA K A A A J  LAHE ?= @ GKA ?


J O? .J C JA A . $ . IE

K
. ?

K J
5J

?


 *E  

BC F=H= ?K= GKEAH


= @ . +
. O

2 H8 )

B.
4

I GKA

AI K = E JHE=

CK =?E @A . A

O GKA

.= J= FH >=H GKA ABA?JEL= A JA

'
) AIJ=H = A JA @H
=
4


+
4 JA A


K J .E EJ @A +DAGKA
E E 

I GKA AI IK = @A K A A A J 5


+ O @A K A A A J
+ O D=>H
=




5E



I GKA C=

I JAH E =@
2H

= @A

IJH=?E

5KF GKEAH GKA




I GKA



=@ EJA K = AI?HEJKH= @A JEF  



5 E F E?= @EHA?J= A JA GKA




? IJH=?E

N F=H= ?K=

 H 2 H?

@E@=@ A

= @A

IKF

C=

$  5E  . =F E?= I A A = 8 )  F=H= F  - J ?AI ANEIJEH = G   G  J J= GKA  .G O .G BC - ?K= GKEAH ?=I    5 F HGKA + O 5 F HGKA  $  6A A I  .G
A J ?AI GKA GKA .G )

B C

.G



.G

5 -IJA DA?D ? .

JH=@E?A
.

OF H 5A= .


J= J IA @A@K?A GKA 
 

AIJ=H  A . O IAH
. ?

JA A

I GKA

F=H= ?K= GKEAH

BC
J :

O IA=
+E  

 .

 I ? = ?K I L=

8= I=? +
J :

I = FH >=H GKA (E  ? IE@AH=H = HEA J=?E


(E ? 
. .

? 2=H= IE F E ?=H

=JKH= I >HA =I ?=H=I @A

 JA A

I GKA @E . 


 F=H= J @ . ?


8 ) 

2 H JH

=@
(E  ? 
:

J :

@E

.  E

. .

.

8=

I = FH >=H GKA


J :

 .


. .

.

8 ) 

O 
:

J :

 .

. .

.

8 ) !

+=F
JK

8 + = ?K

@A = 4AI K?E
5E 
. O
. .

E>HA

E E =
I GKA 

'!
.

.

BC O A J

?AI .

$  F=H= = C K    J JA A
. - ?K= GKEAH ?=I 
. . J :

E?= O JA A AI K

. .

-IJ FHKA>= 8 )  2=H= FH >=H 8 ) ! IKF = C K  O @E .  8 ) !

J +
E



. JA A
. .

C=

I GKA 
. .

. O GKA


. .

I GKA .

BC . ?

$  F=H=
. .

 )@A =I ?

O KI= @ 8 )  JA A J= J ?
*E 

-IJ FHKA>= GKA (E  ?




? OF H

AC= @


=K =? KAC

JH=@E??E AI HA=

=?

JH=@E??E IKHCA @A IKF

AH GKA

$ 

A JA A A A A J

AKJH @A 5 FH > = @ IA =I
KAIJH
I = E ? KIE

HAIK J=@
2 H = FH F IE?E = JAHE H 8 ) % JA A
+E
.

@A .

.E

AI K = E JHE= CK =?E @A . ) IAH ?=@= + JH=@ K ? K J ? K J


+E FAH = K F @A


EJ  A = 8 ) $ DA
+E 2 @H
=

IA ?

EJ ?

JA EA @ = I
+

I?

IE@AH=H O= AIJA ? =I A HAIK J=@

= ?
.

=H K F ?

A@E= JA A IECKEA JA DA?D

IE

B. .J C E JHE= CK =?E @A . JA A I = C=H= J


= @A GKA &    J FAH FKA@A ?KHHEH GKA . AI @A?EH IA=
K = E JHE= CK =?E @A . A I?
+

K = E JHE= CK =?E @A . FAH @AI?=HJ=H AIA ?=I @A E


+

2=H=

K J I
.

B
AI
+E .

GKA

AN? KOA

O IKI K E

+

- IECKEA JA JA HA = ? JEA A = @ HAI @A E AIE @K

I @= F=H= ?=@= E K ?
5

K J

EJ GKA

I CH=@ I GKA =F=HA?A A K IEIJA = @A IE?ECE=I @A

E E = @A CA AH=

'"
Teorema VA.8
- ? K J
+E @A

K J .E EJ @A +DAGKA
E E = AI @A

I 5 CH=@ I @A =I E AIE =I IE?ECE=I K J


. .E

5 AIJ =?

JA E@ A A ?
+E

EJ
+E .

) ECK= GKA ?KHH


= A A ?=F
JK @A HA= E =HIA @A ?E H= ? @K IJHKEH K ? AI = IEIJA =I @E B = JE? I 2 H I CH=@ I @A K IEIJA = @A IE?ECE=I @A = CA>H=
@A +DAGKA


18 = ? JA A

IJHK??E @A +E FKA I ?= ?K = @ N I K I K = C HEJ F= K J B H =

= AH= ABA?JEL= O= GKA AIJ= J= J K J @A CH=@ I GKA ?


5

JEA A = ?

@ F H

E E = @A CA AH=@ HAI @A E AIE

Algoritmo VA.9

) C HEJ

- JH=@= K ? 5= E@= +E K ?

K J @A CA AH=@ HAI B K J O.

C @A 5
5 J= AI GKA 0E 

EJ F=H= ?DAGKA=H

$

  /

B.

2  .  E

EA JH=I . $
= 2=H= .

. O & E JHE= CK =?E @A .


K J @A N I K?E AI 04


 += ?K =H A IK>?  += ?K =H A ? ! /
> .

K J + = F=HJEH @A 04
.

B
/ .

+ C

. .
5  .

! +E

-IJA = C HEJ == = C = 18 ) '




8 ) '

I FAH EJA A K ?E=H A IECKEA JA JA HA

+ = ?K + = ?K

= = C = 18 ) & = = C = 18 ) &

+=F
JK
Teorema VA.10

8 + = ?K
- ?

@A = 4AI K?E

E>HA

E E =

'#
E E = @A CA
5

K J +E @A 5 CH=@ I GKA =F=HA?A A K IEIJA = @K @A IE?ECE=I @A I? F A I IE F E?E= AI


8 )'
111 ) #

AH=@ HAI @A E AIE

5 FKA@A IAH ?= ?K =@

@A B H = ABA?JEL= = JH=L AI @A

Demostraci on. 1

A@E=J= @A = C HEJ

-IJA JA HA = K J ? ?E=H A IECKEA JA ? H =HE

A = C HEJ

I FAH EJA A K

Corolario VA.11

7 ?

K J

E E = @A CA AH=@ HAI @A E AIE E>HA 8 )'


K J


@K

@A IE?ECE=I

@A = HAI K?E

E E = @A K = L=HEA@=@ J HE?= FKA@A IAH @AJAH


E E = @A CA AH=@ HAI GKA > JEA A = +E D=O GKA A E E =H FA IE F E?E= AIJ GKA@= KIJE ?=@ GKA

E =@ KI= @ A = C HEJ

= B H = @A >JA AH A ? JA E@ K IKFAH? @A +E


I HA AHA A ? H =HE = JAHE H F=I= F H =F E?=H 111 ) # 7 = LA K J IA ? EJ +E GKA ? K J +E + I A A A J I ?KO= D C


= =I ?E=@= = IK ?

IA= K = )I
>JA A 111 ) # AI K = C HEJ

VB. COTAS DE LOS 5 GRADOS


+ O= DA I LEIJ KAIJH I ? K J I @A ?DAGKA AI O= IA= F=H= = FHE AH= ? K = IAHEA @A IK>? ?E AI @E B = JE?=I 8= @K F=H= = E AIE = IE?ECE= IA >JEA A = JH=L AI @A K J I @A ?EAHJ=I N I K?E E E = AI @A A?K= I I I = KI=H AIJA DA?D F=H= @=H K = ? J= @A
5

CH=@ I GKA =F=HA?A A K IEIJA = @A IE?ECE=I @A CA AH=@ HAI @A IA ECHKF 2=H= >JA AH AIJ=I ? J=I L=
N I K?E

E E = @A CA AH=@ HAI @A E AIE @AFA @AH = @A

KAIJH=I ? J=I I

I = HA?KHHEH = =I ? J=I I >HA =I = IA??E 11 * O A F=HJE?K =H KI=

AI GKA DA

I @=@ A

HA

I = @=@= F H 2 JJEAH 11 * !

'$
5A=
 * * * * * * * * * * * * * * * * * * * * (

+ J=I @A

I 5 CH=@ I

 
=

 
=

  
=

  
=

   
=!

   
=!

     

    
=I

    
=I

 + + + + + + + + + + + + + + + + + + + + )

  

  

ZD

I

 

 

 =JHE

,A

J=HA

IF H6= =
 * * * * * * * * * * (


6

 
6

  
6

 + + + + + + + + + + )

   I

 

ZJ

D I

IJ 


+E )F E?= @

.E A ANEIJA K ? @A . A )$ 


= FH F IE?E 8 ) % I=>A O ANEIJA

I GKA

K J . J= GKA

?
+

.E

K = E JHE= CK =?E

0A

I LEIJ J= >E A GKA F H A A = 8

04 ; A J
J

?AI ANEIJA

04 J= GKA
IE
A 



@A

6A A

I GKA
A

04 IE O I 0B
N
I

HJ

)J

@ = C

O IE O I

IE ANEIJA  

J= GKA

A  

0B

HJ

)
AI

C JAIA GKA A IECKA

)J 6 )JA 

D IJ  HJ

IJ   Z

= @A

E?E @=@= A 8 ) F=H= E JHE= CK =?E

+=F
JK
Lema VB.1

8 + = ?K
+ =I

@A = 4AI K?E
J=?E 


E>HA

E E =

'%

AI = JAHE HAI IA JEA A


A  


 

=NB = C

" )  D

I@E 

@E

H E

Demostraci on. 7I= @


GKA 
A  

I H=

= EA J I = JAHE HAI DA

I AC=@ =

0)  2 H 11 * !

A  


 

)
IJ

D IJ  

=JHE ) JEA A D
. O .  H ) E



=I @ - J

@A ?AI J
I@E

B . 
(

. JC .  
)

 F=H= ?K= GKEAH


IJ




(

8A=

@E O F H J= J D E  I =D H= GKA )   " ) 

  D

=NB = C

 

)J )  ) 

)JA  =NB = C )JA  =NB = C )  " )  =NB = C




)F E?= @ AIJA HAIK J=@ = I A IECKEA JA JA HA =

I CH=@ I @A = HAI K?E

>JA A

Teorema VB.2

5E

5 AI K

5 CH=@
N J= GKA
H

@A K = E IE?ECE=

E E = @A

A J

?AI

)N ?
N

N


 
H E


=N B = C
)

" )  D

I@E 

E

@E

@A @E

'&
Demostraci on. +

  J

+ J=I @A
= J=?E @A A = 8 *  JA A I

I 5 CH=@ I



 LAHE ?= @ A A = 2=H= = @A
A A

IJH=?E AI IK ?EA JA

J=H GKA


 




 

A  

 E J E

)D H= F H 8 *  @E 
- A ?=I E

 

=NB = C " )

D I@E   

 FKA@A ?

IACKEHIA K = IKIJ= ?E=

A H= A

= ? J= = JAHE H ,E?D= -

A H= FH LEA A @A GKA K . DKA? AI K JEF

AIFA?E= @A  JHE= CK =?E


J D I H J J
IJ  Z
 + + + + )

IE@AH=
)

 * * * * (

I =
).
  

=JHE
  !    "       
6

).


).


6

 
6

  

).

).

 

).

).

J 

).

8=

I = @A

EH K
,

I A JAH I F IEJEL I GKA @AFA @A @EHA?J= O =@ I A 5 IA=


=N F

AN? KIEL= A JA @A ?

K J @A CA AH=@ HAI J

C I >HA . .

B, C
N

?
,

IKFE B

) ) A E  C

>JA A = AI?HEJKH= @A

I =I
A IECKEA JA HAIK J=@ GKA I 5 CH=@ I @A
5

I @= K = ? J= I >HA

I IEIJA =I

E E = AI @A CA AH=@ HAI

@A =I FHE AH=I IE?ECE=I @A

Teorema VB.3

5A= J= GKA

5 K CH=@ @A K A A A J

E E = @A K IEIJA = D @A IE?ECE=I @A
IH 

C A A
NH

@A CA AH=@ HAI @A FHE AH

@K =I

I

5 - J H

?AI '

) O


AI =
=NE

B =E C ,D

+=F
JK

8 + = ?K

@A = 4AI K?E

E>HA

E E =
A ?E= A A

''
A K

- ?K= GKEAH ?=I H @A L=HE=> AI


)F EGKA HEA@=@ J HE?=

AIJA CH=@ AI IE F A A JA ANF

I AIJ I HAIK J=@ I = =? J=H = HACK =HE@=@ @A K = L=

VC. REGULARIDAD DE UNA VARIEDAD TORICA PROYECTIVA


8= ?E
E

I = IKF 

AH GKA 1 AI K E@A= D
H  567' A = " "  /A
H 

C A A F=H= = CH=@K=
QD J= GKA

=JKH= -IJ AI AGKEL= A JA = GKA ANEIJ= K LA?J H M


M

 &E

AJHE?= A JA 1 @A
1 AI 5 D
N ?
H

K = L=HEA@=@ FH OA?JEL= A P @A CH=@ 5KF HAI @A 1 ?


5 A J

 

JAIA GKA IE B


C A A

5 IA JEA A GKA CH=@ B

F=H=

- AIJA ?=I A IA ECHKF 5 AI E>HA @A J HIE C=


5

I GKA BB
CH=@ BE  FE C>  CH=@ CE 

B> C AI K IEIJA = 5 O CH=@ BE 




E E = @A CA AH=@
E 

@A FE
E  E 

)
@

  E  > 5E C

 C

AI K = FHE AH= IE?ECE= @A 5 CH=@


FE O CH=@ CE 

?AI 5

@A

FE )@A =I

)
D

E

O CH=@ C
E

- CA AH= IE D )I
>JA A K B H@ @A 1

D>E 


AI K = E IE?ECE= @A 5 CH=@
NH J= GKA

5 IA JEA A GKA CH=@ D

F=H=

I K = ? J= F=H= = HACK =HE@=@ @A +=IJA K L

Teorema VC.1

=I

J=?E


AI = JAHE HAI
HAC1   H
 )

" )  D@



H

@



@A @

>H ?

Demostraci on.
A =NE

= HACK =HE@=@ @A 1 AI HAC1

=NEH BJE EC @

@A JE AI

CH=@ @A =I E IE?ECE=I @A 1 LAH *5&% 


JE  

2 H A JA HA = 8 * " )  D@E


E

@E




4ACK =HE@=@ @A K = 8=HEA@=@ 6 HE?= 2H OA?JEL=


?
@E
(

H E

-I B =?E LAH GKA @E  @ F=H= ?K= GKEAH E - J


E  

?AI

JE

" )  D@



H =NE

@



)D H= AI IK ?EA JA ?
2=H= ? ? KEH LA= E E = @A 1 F=H= @=H @A

IE@AH=H A

@A AIJ=I @EBAHA ?E=I

I GKA

AI A?AI=HE ?= ?K =H = HAI K?E

= AH= ABA?JEL= IK HACK =HE@=@

Algoritmo VC.2

+ = ?K

@A = 4ACK =HE@=@ K J @A CA AH=@ HAI B H=?E =



H

- JH=@= 7 ?

C @A 5 J @ I A

IA

K DEFAHF =
5= E@=

= HACK =HE@=@ @A E@A= 1 @A 5


+= ?K =H +E JA HA = 8 ) &
+DAGKA=H >JA AH +E
+= ?K =H JE
HAC1

 2=H= ?K= GKEAH E   E  H


+E J= AI GKA 0E 

IAA A J I

$ O

B
E

)
HC

+E C

=NBJE

+)2 167 -A F I

81

- AIJA ?=F
JK =? =H=H A BK ?E = CH= =O H
= @A

L=

I = @AI=HH

=H K = IAHEA @A A A F I F=H= I @=@ I A = A HE= @= IJHKE@ I = F=HJEH @A I B =F A8! 2 H A A@E= JA

= EA J @A = CK I JH I

I = C HEJ EI IA

I A A F I D= IE@ ? J=I @A ?

JM=HA E F A A J=@ F H I K =I FAGKA =I @E?D I BJM=HA

HA= E =H F=HJA @A ? = ?K

VIA. IDEAL DE SEMIGRUPO


?
5

+ J HIE

A A F E KIJH=JEL @A ? = ?K @A E@A= @A K IA ECHKF L= I = =F E?=H A = C HEJ 1 , = IECKEA JA IA ECHKF


Z
!

      !           !         

Z !Z

>JA EA @ K IEIJA = @A CA AH=@ HAI


N N N! N" N# N$ 2=H= A ? IJHKE
5

E E = @A E@A= @A 5 A

I A FHE AH KC=H A IA ECHKF @A Z"

              !  !           !

5A= + K

K J

@A CA AH=@ HAI @A HAJ


?K

AH5  AI @A?EH A


? A A JAH @A = K =JHE
 * * * * * * (

1@A= @A 5A ECHKF
 + + + + + + )

   !             !         !

+ B  

    


   !  !  !    AH5 + H@A =@=I

C I

7 IEIJA = @A CA AH=@ HAI @A HAJ


?K FH OA?J= @ + I >HA IKI IAEI FHE AH=I ?
+ B  

>JA A

    L=

   !   !  !    C 1 + AH5 7 LEA A

)D H= JA A E@A= @A 5 -IJA F=I 2=HJE @=@ F H =I

I GKA ?= ?K =H A E@A= @A AH5 F=H= >JA AH A I = HA= E =H KI= @ A = C HEJ

I @A IEIJA = @A CA AH=@ HAI + @A HAJ


?K =I @A =
 * * * (

IEIJA = @A CA AH=@ HAI HJ C =JHE   " JA A

= LAH 1 +  @A AIJA HAJ


?K  "    #  # 
 + + + )

 % ! !

J=?E @A 1 + 
+)

I GKA )

B# $C O

B 

    " "   #  % ! ! # C


+)

- IEIJA = @A CA AH=@ HAI @A


/)
D

AI  N  N
%

N N N! N# N$

 N N # H@A

"

N! " N" N# N$ #

N! ! N" ! N# # N$ N
$
E

6 @= @A
N! N"
+)

=
N$
D

I=

)O?

IE@AH=

I = >=IA @A /H > AH HA@K?E


N

HAIFA?J @A
N#
D

ANE? CH = ? E @K?E@ F H N#
N" N$ # N! % N
!

N" N$ ! N

N" ! N$ ' N! ' N

2 H

J= J
/B$C

/B$C AI A HAIK J=@ @A =F E?=H 6B#C = ? N N" N$ ! N#

K J = JAHE H
N" ! N$ ' N! ' N
$
E

 N

N" N$ # N! % N

+=F
JK

81 - A F I
O)
) B #C

!
B$C
+)

7 = >=IA @A /H > AH @A E @K?E@ F H N$


D

HAIFA?J @A
N# AI N N! N

H@A

ANE? CH = ?

N

N! N$ N N! '
E

N" N# N N! %

N N#

N" N$ ! N#

 N! #
N# !

N$ N N" N# N N! "

N N N! N$ N N N$ N# N ! N

N$ N! # N" N$ N" N# !

N! ! N" N#

2 H
D

J= J
N

A ?
N" N# N ! N

K J / ECK= =
N$ N! # N! % N$ N# ! N N! '
E

N$ ! N$ N#

N# N

N N! N$ N N$

N N" N# N N! " N$ N" N# !

N N N!

N N N#

N! # N"

N! ! N" N#

AI K IEIJA = @A CA AH=@ HAI @A 1 AH=@ HAI @A E@A= @A 5 JAIA GKA 5 AI D=O E C K >E

AH5

6A A

I =I
K IEIJA = @A CA K J = JAHE H I? IE@AH=H =

= =O= = O= GKA A A ?

E @A 5 CH=@ ?AH 1 * " )I


F @A E E = E A @A ?=H@E =
N$ N! # N

A IECKEA JA IEIJA = EHHA@K?E> A @A CA AH=@ HAI @A E@A= @A 5 ? IACKHE@=@ @A GKA AI


D


E
N! # N" N N" N# N$ N# N#
!

N! ! N" N# N! N$
%

N ! N

N# N N N$ N$
!

N N N! N! '
E

N N N# N N! N$

N N" N#

5E GKAHA =@ F H
>read totsemig:

I HA= E =H AIJA ? = ?K I HA= E =H A

KI= @ A I BJM=HA @AI=HH =F A8! I IECKEA JAI F=I I

I JH I @A>A

>S:=[[2,0,1,0],[0,1,0,1],[1,0,0,2],[0,1,3,0],[3,0,0,1],[1,1,1,1],[3]]: >totsemig(S);

1@A= @A 5A ECHKF

N$ ! N! '

N
E

N" N#

N$ N! # N N$

N# N

N N! N$ N" N# !

N N" N#

N$ N#

N N N! N ! N

N! % N$ N# !

N N N#

N! # N"

N N! " N$

N! ! N" N#

"
*=IA @A /H > AH @A 1@A=
D

5EIJA =I ,E B = JE? I
N! ! N" N# N
!

N ! N N$ !

N$ N! # N N" N# N N" N#

N# N N N$ N! '
E

N! # N"

N$ N#

N N N!

N! % N$

N N N# N N! N$ N" N! % N

N N! % N"
D

N N$ N# N N$ # N ! N

N# !

N! ! N" N# N! % N$

N$ N! #

N# N N N$ N$ ! N

N! # N" N" N#

N$ N# N# !

N N N! N! '
E

N N N# N N! N$

N N" N#

= I= E@= @A 5 A

= AI K IEIJA =

E E = @A CA AH=@ HAI @A E@A=

N N N! N" N# N$

VIB. SISTEMAS DIOFANTICOS


8A= I A A F I @A = CK I = C HEJ I @A ?=F
JK 11

N soluci on Particular
- IECKEA JA A A F ? IE@AHA
&

I E KIJH= A = C HEJ D
N# N# N# N" N# N$

11 , # 2=H= A CHKA ?E=I @# @ @! ! "

I A IEIJA = @E B = JE? "N 


N N N

C A A A ? !N $

%N"
N"

5EIJ

"N  #N 

%N

!N!
N!

2=H= ?= ?K =H K = N I K?E F=HJE?K =H ?=I @A ANEIJEH @A IEI JA = 5EIJ ? IJHKE I A FHE AH KC=H A IA ECHKF 5 Z Z #Z Z Z Z !Z B H =@ F H =I ? K =I A IEIJA =
    !   %     # "     %   "            !   ! " 

- F=I IECKEA JA AI ? 1 , 
D

FKJ=H A E@A= @A @E?D IA ECHKF KI=HA K J


E

I 

>JA EA @ K ?

+ ECK= = N! N" N% N# " N$ ! N# & N% 

N

N$ " N# " N N$ 

N$ N% $ N#  N% # N$ #

N# # N% 

N% " N# $

A IA ECHKF AI

= =O= = N %

+ JA A

I GKA @A N% AI

?= ?K =H K >=IA @A /H > AH @A E@A= HAIFA?J @A K

H@A @

+=F
JK

81 - A F I
= L=HE=> A ?
D

#
=O H FAI - AIJA ?=I L=
N N N!

I=?
N" N#

IE@AH=H A
N$

H@A
E

ANE? CH = ? E @K?E@ F H N%
N% N# $ N$ # N N$ " N# " N

N$ ! N# "% N!

N$ # N# %# N"

N# $ N$ ! N$ $ N# '

7 = N I K?E F=HJE?K =H @A IEIJA =


# N$ # N$

I = @= A >E

E N% I JH I IE A I

EA     $ # 5E IA GKEAHA KJE E =H =I HKJE =I E F A A J=@=I F H =F A8! @A>A JA AHIA A ?KA J= GKA A IA D= ?


>


= E F A A J=?E @A AIJA

H

= C HEJ IA ECHKF I GKA DA D=?AH

IE@AH=@
H

A IA ECHKF 2 HA = JAHE HE@=@ - ?

>

=F=HA?A HAIK J=@ I @EIJE J I = ? KIE @A>AH


=

I >JA E@ ?

IECKEA JA

>read solsyst: >S:=[[3,4,-2,2],[4,1,4,5],[-1,-2,-7,0],[0,0,-3,2], >[7,-1,0,2],[-2,-1,1,1],[3,0,0,1],[5,2,3],[1]]: >solveN(S);

1@A= @A 5A ECHKF

N%  N$ # N"
E

 N$ $ N% #

N

N$ " N% "

N N!

N% ! N$ "%

N$ $ N% !

N#

N$ ' N% $

) );) ) 

N%  N$ # N" N

N$ $ N% #

- AIJA ?=I

K = N I K?E AI     $ #

N soluci on General
8A= ? IE@AHA A ? IK AA F E KIJH=JEL @A = C HEJ 11 , $ 2=H= A C A A=I I A IECKEA JA IEIJA = @A A?K=?E
&

AI @E B = JE?=I D

CHKA ?E=I
N N N

!N!
N! N!

!N"
N"

   @! @!

$
,A J=HA I F H / = ? = ? K J = JAHE H O F H /E

5EIJA =I ,E B = JE? I
K J @A N I K?E AI @A IEIJA =

BN
+ AIJ= E@A= @A E

N NE

"

C


I HA?KHHA JA A JA /E

E

2 H A A = 11 * # F=H= ?= ?K =H K IEIJA = =H ? IJHKEH A ? K J


.

E E = @A CA AH=

@ HAI @A KAIJH IEIJA = AI IK ?EA JA @=@= K = N I K?E F=HJE?K


H IE  E 

BIC

0/E  0.
11 , # O >JA A K J I

O = F=HJEH @A A JA @H
= = -IJA F=I = KF = I 2 H
.

I GKA 0/ I

- FHE AH F=I AI ?= ?K =H K = N I K?E F=HJE?K =H I @A IEIJA HA= E = J= J JA A A@E= JA A = C HEJ  !   I GKA ?= ?K =H A ?


5 5

IE  "  B !  C E   0/E B !  C 0/  0/  0/

 I

KI= @ A FH FE = C HEJ ? K J I 0/ += ?K A 

11 , $ HA?KHHA JA A JA F=H= >JA AH JA A I GKA ?

I 0/  2=H= A 
N N
&

IE@AH=H A IEIJA

= E E?E= D=?EA @ N

!N !
N! N!

!N "
N"

   @! @!

,A KAL JA A


I GKA ?= ?K =H = F=HJEH @A K = N I K?E F=HJE?K =H K J


 " IE 

I @A = JAHE H IEIJA = K ? .


BI C

E 

0/ E 

+=F
JK

81 - A F I
7 = J= I AI   ! ! KAC
.

%
5 5I 

" E 0/ E  BI C E   B  ! !C 0/ !  0/ !  0/ !  0/ "  0/ "  0/ " 

0/ !  AI B   C O= GKA A IEIJA =


&

N N

!N"
N"

   @! @! O= GKA A IEIJA = !  @! @! A@E= JA A EI H= =

F IAA

=I N I K?E GKA = JHELE=


&

) = C= A JA 0/ ! 
N N N"

!N "

F IAA E CK = N I K?E F=HJE?K =H EA J JA A I GKA 0/ !  A ?


&

- ?= >E

K J 0/ "  AI C A A A AIJA ?=I 


N N

L=?
O= GKA A IEI

JA = =I ?E=@ = A D

!N !
N! N

   @! @! '  !  ,A KA K J =KNE E=H A@E= JA K ?

JEA A F H A A F L JA A

N I K?E F=HJE?K =H I


" IE 
E 


I GKA ?= ?K =H 0/ " 


.


BI C



0/ " E 


I GKA A ? JH=H K = N I

2=H= A ?

K J 0/ "   JA A


&

K?E F=HJE?K =H @A IEIJA = !N !


N! N!

   @! @!

&
Cuadro VI.1.

5EIJA =I ,E B = JE? I
0/ 
0/ "   0/ "  0/ "  0/ "  0/ "  0/ "  0/ "  0/ "  0/ "  0/ "  0/ "  0/ "  B    C   ! " # $ % &   

0/    ! !

0/ !  0/ ! 0/ ! 0/ "  0/ " 0/ "

B   C   B'  ! C  

) A ?

JH=H

I?

K IEIJA = @A A?K=?E = CK = N I K?E

AI ?

K = I = E ? C EJ= E?= AI =K

AI JHELE= LAH IE JEA A JAIA GKA DA @ A ?E E A@E=J= ?

- AIJA ?=I

= JHELE= 0/ "   I E@

B   C
A@E= JA KAIJH= HA?KHHA ?E= HA@K?EA @A HAI K AI AC=H = K = I =

AH @A E ? C EJ=I @A IEIJA = D=IJ= AC=H = K K K = I = E ? C EJ= )@A =I =

E ? C EJ= J= >E A AI JHELE= A ?= ?K =H A ? E E = AI + I? 81 ! 2 H J= J


- ?
.

K J @A =I N I K?E

JE K= @ ?

AIJA FH ?AI F=H= 0/  O F=H= A HAIJ @A  >JA A I =I J=> =I 81  81


'  ! C ! C '   !C

K J I 0/  O 0/

JA A

I GKA

K J @=@ F H =I K E

0/  0/  0/  0/ 

AI @A

B  ! ! B$  B  ! ! B!

! C I = JAHE HAI O I AI
! C

B !   '  !  $  !    ! ! '   ! !


E E = AI ? E ?E@A A AIJA ?=I ?

5KI A A A J I

A FH FE . 0.

+=F
JK

81 - A F I

'

Cuadro VI.2.

0/ 
0/ 0/ 0/ 0/ 0/ 0/ 0/ 0/ 0/ 0/
      ! ! ! "    ! " #    

0/ 
$  ! 

Cuadro VI.3.

0/

0/
!

 ! 

0/ 0/ 0/ 0/ 0/ 0/ 0/ 0/

   ! ! ! " "

       


.

4AI K?E

E>HA

E E =

2 H D

J= J @A@K?E

I GKA A ?

K J

E E = @A CA AH=@ HAI

@A =I N I K?E

AI >=IA @A 0E >AHJ @A

KAIJH IEIJA = @E B = JE?

C A A @A F=HJE@= AI

0/

0.

B !   '  !  $  !    ! ! '   ! !

! C

LIBRE MINIMAL VIC. RESOLUCION


8=
5

I = =F E?=H A = C HEJ

18 ) & = IECKEA JA IA ECHKF # ! ! 


Z
!

         "

-IJA IA ECHKF ? HHAIF *+ 2'&=  ,A ? K J . J=HA I

@A = K = IKFAH ?EA FH OA?JEL= IE F E?E= LAH

B

! " #C ? IEIJA A @AJAH E =H A AIJA ? K J AI KAIJH ?=I

- FHE AH F=I @A KAIJH = C HEJ

B.

2   .  !C -

BB !C B "C B #C B ! "C B ! #C B " #C B ! "C B ! #C B " #C B! " #C B ! "C B ! #C B " #C B ! " #C B ! " #C B ! " #CC
K J I IA FKA@A J >E =?E =H ? IE@AH= @ I? K AI IE HAFAJE?E @A A A A J I @A I A A A J I @A . 5A= . I >HA . FKJ=H A

- CA AH= AIJ I ? J

J I B H =@ I F H =I ? + A ?A I ?

=@ I A CHKF I @A ! A ! " A " AJ? D=IJ= A FHE AH @A E? F . - AIJA ?=I I AI F IE> A K K


C  ! ? . B C . B !C O .! B! C .E =@ AIJA F
C A IECKEA JA F=I ? AI 04
!

B

!C

IEIJA A ?

? ?E

K J @A N I K?E AI
 (

A ?K= AI A ? 
 )

K J @A N I K

E E = AI @A IEIJA = @E B = JE?

).


). ).
)
!

).!

+=F
JK

81 - A F I
ECK= =
 * * * * * * * * * * * * (


" #   
A

           

! !    
!

      ?

     
A
!

" # " "

! !  ! ! 

     

     

   " #

   ! ! 

 + + + + + + + + + + + + )

J= AI GKA @A J
 * * * * * * * * * * * * (

 ? J= 11 ) " F=H= >JA AH @E?D ? AI       E E = AI 04       #    "    ! ! 


)
 + + + + + + + + + + + + )

IA K
     
! A !

E A A ?=F
JK @A>A             #    I? " ! !          

18 2 H =      
)

FKJ=H =I N I K?E " # " "


!

@A
 * * * * * * * * * * * * (  + + + + + + + + + + + + )

! !  ! ! 

-IJA ?
B #

K J AI

#$ % #   $    %  "  #  !  & !   !%#    #  $  # #     &  # " $ $ "     " ! $  "!  % $     &   ! % # "     #  $ #  ! " !    #  $  % " ! "    !    "   $    ! "   "   #   ! "  !  "  !  % !  ! '  % "     &    '  # %"  ! "% ! #       " " &      %   !  &  "%    ! !   !" & # '     & ! $   # ! %      ! $ &  !    % &  $    # $ ! # &  "&      & !'  & # $ #       "  "    &!&" '#  #" $ ! "     " #  % "      &  $ "   #      "  ! !  % !#   &"  " '  &' &  #! #   $  ! "  $" !  !" #   !&  ' !' &  # #   #   " ! " !  # !   !   " % '  #      # &    #! !   $$  ! #  % "  #   ! !   %  ! $  !" #  "&    #   !"    "!    "# '  # #  #$ $# #       #  "   #      !  " !   !      ! " '     '   " #    ' &     !  # !  ' !   %   '  '   $  !     $    !  !  $ !  $   ! !  '    $ $   % !     C



4AI K?E

E>HA

E E =

)D H= =F E?= @ K = LA =I A HAIK J=@ 11 ) " @A>A I = =@EH A ! = ?=@= A A A J @A = JAHE H ? K J F=H= >JA AH 04 ! O @A =D
04 !
4
!

% !# " !  " &     #" $  # ! ! "    

%  &  "   % 

! $ " %  $   %   ! 

 " ! % "'   !   

' %

%  

!" " ! ! $ ! !   ! %! !$  #% &  ! $  ! $ 

"' $ '

% $

"&   $ ! 

!# $  "  $    " 

$ $  !& &  ! $ 

$ "    " 

'   ' &  !  

IAA A J I5 + -IJA ? K J


! !

E E = AI @A 4

!

B !   %

%C I A A A J I @A I =I ?E=@ I =

DA

I >JA E@ HAIJ= @ @ I = @ I J @ I IF
C

04

O?

FH >= @ IE IK @EBAHA ?E= AIJ = >JA A I

A 5

4AFEJEA @ AIJA FH ?AI ? I A A A J I @A . 5A= =D H=


/
5

I HAIK J=@ I @A = J=> = 81 "

+  % #  " % # K J DKA? @A ! %   # !  !&  

B !   %
! $  - F=I IECKEA JA AI ? + 2=H= A ?E=@ I = L= I=?

& " ! C FKJ=H A ?

B
IE@AH=H

C
F A I IE F E?E= AI =I @A @E?D I

I @EBAHA JAI ?

I A A A J I @A / @=@ I A

= J=> = 81 # - ? = ?K

+=F
JK

81 - A F I

!

Cuadro VI.4. EIJ= @A +


+ ! B !   %  %   C + " B !   %  C + # B !     " C + ! " B !C + ! # B%C + " # B% C + ! " B C + ! # B "C + " # B # !  C +! " # B # C + ! " + " ! B% #C + ! " + ! # + # ! B !&   C + ! # + " # + # " B ! $  C + " # + ! " # + ! # " + " ! # + ! " # B & " ! C + ! # " + " ! # + ! " # + ! # " + " ! # + " # ! + # ! " + # " ! + ! " # + ! # " + ! " # + ! # " + " ! # + " ! #

"

"
? FA I DA ?=F
JK 11 2 H A A F F=H= ?= ?K =H

4AI K?E
I HA= E =@ = JH=L AI @A
%

E>HA

E E =

I HAIK J=@ I @=@ I A A ? IE@AH= I A IEIJA =

@E B = JE? %  
 

 

  

! 

 

" "

#

# !

!  K J

?KO I ? A ?EA JAI I E E = @A =I N I K?E

I CA AH=@ HAI @A 5 O ?= ?K = AI

IA ?

B% # "!C


I I F HJAI @A AIJ=I N I K?E @A
%

AI

E E = AI I AI I

=I ?=H=I

=NE = AI

,A DA?D

AIJ=I N I K?E

E?=I AI?HEJKH=I @A =I K I ? HHAIF @A HA= A JA

%   A BK ?E @A ?
. DKA? I @A IKI ?

I CA AH=@ HAI @A 5 FA II

I A A A J I GKA ?KO I F
C

B%

%

C

-IJA AI FHA?EI= A JA A ? 18 ) &

K J GKA IA >JEA A = =F E?=H A = C HEJ K J + JA A C


=I I GKA LAH ?K= AI @A J= J JA A I F A I IE F E?E= AI % - J ?AI JA

2=H= ?= ?K =H =D H= A ? I A A A J I @A + JEA A D GKA ?= ?K =H =I D 4A= E?A A I GKA ? I AIJA ? = ?K


(

K =I 2 H

C
=I =I ?E=@=I = IKI ? F=H= F H A A F AI
%
  + 

IE@AH=H =I =F E?=?E
+ 
%

  + 

%

@A
+ 
%

B # C B ! "C B ! #C B " #C B! " #C


O

+ 

%

B C B !C B #C B !C B "C B #C B! "C B! #C B" #C


+ 
%

BC B C B!C B"C B#C

+=F
JK

81 - A F I

#
FA I
2 1 3 5 4
1
1

Cuadro VI.5. EIJ= @A ?

!  

2
2

4
5 4
1

%

2
2 1

 "

3 5 4
2 1 3 5 4
2 1 3 5 4
2 1 3 5 4
2 1 3 5 4

!

5
2 1

3 5 4
2 1 3 5 4
2 1 3 5 4



# ! 

%  #

!&  

! $ 

& " !

$
5KI =JHE?AI =I ?E=@=I I
 * * * * * * * * * * * * * * * * * * * * * (

4AI K?E

E>HA

E E =

        

        

              

             

          

 + + + + + + + + + + + + + + + + + + + + + )

 * * * * * * * * * (

    

    

      

    

    

    

 + + + + + + + + + )

(

  

7I= @ = CA>H= E A= LA
0 
%

I GKA @

B C

B !C
% 

B  !C


 BC O @E 0 
% 

%

) = C= A JA @ @E 0    O 0 
%

B C


B "C


B  "C

0 

B C O

- AIJA ?=I

= > I?
+

K J I + O + ? E ?E@A

KAC

B%
@K

%C I=? FKJ=H K IEIJA =




7 = LA A EI AIJ= @A


>JA E@ + F=I=
0 

E E = A@E= JA

@A CA AH=@ HAI @A FHE AH H I A + = C HEJ




  8   2=H= A

@A IE?ECE=I KI=HA K J

@A

I = IA??E 111 + @A E E = @A CA AH=@ HAI 86''


-

HE= A = I ?= ?K = @ K ? I KI=@ F=H= A I >JA E@


N % 


I JH I DA
,

A I BJM=HA =F=HA?E@ A

1 ,  O DA 
 

N N" N# N! "

N! # N"

N " N

! 

N! N !

N#

+=F
JK

81 - A F I
5EC= I


%
I F=I I O =I J=?E AI @A 111 + F=H= @

B C
I

B !C B !C F H
>. 1
.

J= J B C 2=H= ?K= GKEAH . ? @E .  @=@ F H


>. 

 B !C  B !C     E A FK J I ?
:

IE@AH=

.

. .

:.
:.
.

%

@ - J

@A

AI K = I =.

E @A CH=@ =. 
2

F=H= ?K= GKEAH .


>.
2

?AI J
.

4 

%

.

=.

BC
>BC
:. . . :  . . : : :! B C BCB C : :  ! ! $ : : :# : :! =BC   :!  .
%

.

:#

B !C BCB !C

: :! $ : :


.

B C
>B C
2

 =B
.

:. . . :  . . : : :! B C B CB C : : " # : : :# :! :" :# .


%

.

:#

B !C B CB !C

: :! " :! :" :# :

 :# 

B!C
>B!C
2

 =B!C
.
.

:. . . :  . . : :! $ : B !C B!CB !C : ! " :% : : : : # "  ! .


%

.

B !C B!CB !C

: :! " :! :" :# :!

  
  =B"C
  =B#C
:! =B!C

B"C
>B"C


 :
:!  :" ! :" 

B#C
>B#C

- J

?AI

 

: =BC

: =B C

&
4A= E = @ A J EI ? = ?K


4AI K?E
? AI
:!  :" ! :"  C @

E>HA

E E =
K

>JA A

I GKA K ?

E E = @A CA AH=@ HAI @A

B:! : :# :"   :
8= 5E A GKA
C

I = LAH GKA A IACK @ @K :! BKAIA


: :#

@K

@A IE?ECE=I AI K
: :# J= AI

K
:" 

ANEIJEH
= C C
C

:

:! 

:" ! :" 

- J= ?=I

A ? ?EA JA C C JA @H
= GKA L= AH IE K J = A= A JA
: :! :!  : :# O
" :" ! :" : 

?K= AI E F IE> A 2 H

J= J C IECKA

 KAC

 O

&E 
= HAI K?E GKA@= ? 
: : : ! : " : #

 : : : ! : " : # !  : : : ! : " : #  5  

*1* 1 /4). 1)

*+ 2'&=

- *41) -5 ) +) 21 +
+

)41 7)

= @ 2 215

>E =J HE?I
A?J

B IO OCEAI B H IA ECH KF = CA>H= #$ ''& + )41 7) = @ 2 215 E

=JD "' !'

*+ 2'&>

- *41) -5 ) +) 21

E = IOIJA I B CA AH=J HI B H E@A= I B IA ECH KFI


B 2KHA = @ )FF EA@ ) CA>H=  % % ! ''&

*0'%

9 *47 5 = @ ? F ANAI ''%

0-4

/ 5A ECH KF HE CI = @ IE F E?E= &# + &

B 2KHA = @ )FF EA@ ) CA>H= 

* 54'' * 85 '!

) ) *

*1/)661 4 4 -4 1-/ -4

) 5+) ) = @

4 **1)

FKJE C 9016-

J HE? E@A= I = @/

5O > E? + HEA JA@

FKJ=JE

% !# !$# '''

)5 8-4/ )5 * 5674 .- 5
=JDA =JE?I = @ EJI )FF E?=JE

=JH E@I L K A "$ B - ?O I += >HE@CA

? FA@E= B

2HAII ''! * '! , *);-4 = @ , = CA>H=E? CA ''! * 2+86'' *41) -5 64) -5 41 561
AI

7 . 4, 9D=J ?= >A ?

FKJA@ E

AJHO 5E F IE= 2

=JDA =JE?= :::18  "&

215

+)5)4-5

= @

) 81/ -4 *5&% , *);-4 = @

6DA HACK =HEJO ) ) ?HEJAHE

B = J HE? L= B H @AJA?JE C

HEAJO 2HAFHE J @A = 7 ELAHIE@=@ @A 5ALE = ## ''' HACK =HEJO 1 LA JE


=JDA =JE?=A &%   '&%

 
*5'& E=
=JDA =JE

*E> E CH=B
=
, *);-4 = @ * 5674 .- 5 +A K =H HAI KJE @K AI #  ! " ''& 1 /
+ /H A> AH *=IAI KJ=JELA ) >ACH=

KH = BKH @EA 4AE A K @ ) CAM= @JA

*9'!

6 *-+ -4 = @ 8 9-152.) + FKJ=JE = )FFH =?D J

5FHE CAH 8AH =C ''! +,'" - + C HEJD


=JE

6- -) = @ 0 ,-81- ) AB ?EA J E ?HA A J= = B H I LE C IOIJA I B E A=H AGK=JE


= @+ FKJ=JE

I 1 B H B

! "! % I

''"

+.&'

+ )75- = @ ) . 46- *)+0-4 -B ?EA J I KJE E A=H @E FD= JE A AGK=JE &  $ '&' = @ 2 /1 - KH = B ) CA>H= 5O > E? + FKJ=JE

+/ + '

) +) 21 HEAJEAI ) +) 21 ! "'

5O OCEAI B =B # " $

A J HE? L=  I B H =

= @ +

)41 7)
5 A

0ECDAH HA =JE

K AHE?= IA ECH KF $ '' + + + 0'! + + )


DJJF

6D A H

>HAI * H@A=KN

5EIJA =
? ? = @E = K ECA EJ ) + KHIA E +

@A

? = ?K

IE > E?

0 + 0-

FKJ=JE

= ) CA>H=E?

>AH 6DA HO L K A !& B /H=@K=JA 6ANJI E JE?I 5FHE CAH 8AH =C ''!

=JDA =

+2

) +) 21

= @ 2 215
A?J

6 HE?

=JDA =JE?I BH

IA E
=JDA

CH KF LEAMF E J +6' 2 +

JAI E 2KHA = @ )FF EA@

=JE?I 5)/)8 F H =F=HA?AH

61 = @ + 64)8-45 E C

*K?D>AHCAH = C HEJD
JAI E +

= @E

JACAH FH CH=
CAH #!' ''

A?JKHA

FKJ 5?E 5FHE

*E> E CH=B
=
,*7'# . ,1 *1)5- = @ 4 74*) JDA AH A
-NFAHE A J=

 
- ) = C HEJD E= HE C D % !" ''# J ?= ?K =JA HFDEI I B ?AHJ=E F O

=JDA =JE?I "!

'

- , AGK=JE

7, 5 LE C IOIJA I B E A=H @E FD= JE A I ) = CA>H=E? =FFH =?D


A?JKHA JAI E +

FKJA 5?EA ?A 5FHE CAH 8AH =C #  " # ''

-15'#

, -15- *7, 1 JH @K?JE


@K=JA 6ANJI E

J +

KJ=JELA ) CA>H= MEJD AJHO L K A # B /H=

= 8EAM 6 M=H@I ) CA>H=E? /A

=JDA =JE?I 5FHE CAH

AM ; H

''#
,K A

-5'$ / 4%!

, -15- *7, = @ * 5674 .- 5


=JD

*E

E= E@A=

&"  "# ''$ 7A>AH @EA =KB IK C E A=HAH C AE?DK CA


=JDA =JEI?DA ) =A

2 / 4,) &%!

EJ &

HAA A ? AB ?EA JA 0-4% 0-4 '% 01 ' 0 +'#

$ !

/ /A AH=J HI B HA =JE

I B =>A E= IA ECH KFI


=JD

= @ IA ECH KFI HE C

= KI?HEFJ=

! %# '!

, 01 *-46 7A>AH @EA JDA HEA @AH = CA>H=EI?DA B H A


=JD )

!$ "%! #!" &' + DA =?=K =O HE CI ?


?, 2) =H?A ,A

0 +056-4 = @ IE F E?E= ? ! ''#

>E =J HE?I
HHEI AH

F ANAI 1 *4

=@ 4)

A@EJ HI 4E C 6DA HO 11

$ % B =J

05 05'#

5 0 56- = @ JE?A >=IEI E@A= I 5 0 56+ =KIA

50)214

2HE =HO @A?


FKJ=JE

F IEJE

5O > E? +

F H =F=HA?AH

= @ * 5674 .- 5 /HE
A@EJ HI 1 JACAH 2H CH=

) E F A A J=JE E C 1 - *= =I = @
E C = @ + >E =

B CH > AH >=IAI B H E JACAH FH CH=


J HE= FJE E =JE

*E> E CH=B
=
+5 '  5FHE CAH 8AH =C '  $%

%$ ''# 07-%& / 07-6 ) = C HEJD J D


2H ?AII

J CA AH=JA JDA >=IEI B I KJE I 1 B H

CA A KI E A=H @E FD= JE A AGK=JE


AJJ %! '%&

) &% KJE 2+86'$

) *-46 7 A > H A F KH AI C A AH=JAKHI @AI I I A JE AHAI F IEJELAI @K A AGK=JE +)5)4-5 = @ ) 81/ -4 J HIE + = ?K I = @ ) 6@E FD= JEA 41 A E A=EHA + 4 )?=@ 5?E 2=HEI !# !' " '&% 2 215 1@A= AI @A =F AL )?J=I 641
B

IA ECHKF I ? 2+86'& 2 215

A@E= JA 81/ -4 LAH Z 641

@A -)+)'$ 5ALE = 5F=E  ''$

+)5)4-5 I J

N I KJE

E A=H IOIJA I

2HAFHE J

7 ELAHIEJO B 5ALE = "! ''&

2+86AH

2 215

+)5)4-5 = @ ) 81/ -4
K E?=JE

.EHIJ IO O IE ?

CEAI B J HE? L=HEAJEAI = @ @E FD= JE A AGK=JE CHKA ?A + 2 6' 2 661-4


1 JAH =JE F E?=JE

I E ) CA>H= 2 H =F=HA?AH

E E = I KJE
= + BAHA ?A

I B E A=H @E FD= JE A IOI


4AMHEJE C 6A?D EGKAI = @ )F

JA I > K @I = @ = C HEJD I 2H ?AA@E CI B JDA . KHJD


I 1J= O F=CAI $

%! '' ' $! '" ''& 2HAIA J=?E AI @A

25'& 4/5'&

1 2--8) = @ * 5674 .- 5 5O OCEAI B ? @E A IE =JJE?A E@A= I


=JD

+04 5) -5 = @ 2 /)4+ 1) 5)
= =H= 5F=E  F=CAI ! " ''&

E@AI ?= ?A =JEL I 2H ?AA@E CI B -)+)'& /K=@= 4 5' + 4 5) -5 5A ECHKF I K AHE? I 2D, JDAIEI 7 ELAH IE@=@ @A /H= =@= ''

*E> E CH=B
=
4 5'# 47*'$ + 4 5) -5
5A ECH KF . HK

 !
EJA O CA AH=JA@ IK> # # 74*)
K E?=JE B

E@I B N ) @AJAH E EIJE? E@ "! " %

''# * ) +

+ 4 5) -5 = @ = C HEJD " EI ?= ?A =JELA + " ''$

J @A?E@A EB =

EJA O FHAIA JA@ =>A E=


I E ) CA>H=

5+0'$ 56)'$

) 5+041 8-4 4 56) *AH E -; +

6DA HO

E A=H = @ 1 JACAH 2H CH= KJ=JELA = CA>H= @

E C 9E AO 1 JAHI?EA ?A ''$ >E =J HE?I = @ ? A@ L K A " B 2H CHAII E =JDA =JE?I * IJ

*=IA
K

*EH D=KIAH ''$ "! "' $ ''


LAN 2 OJ FAI L K

567' 567'#

* 5674 .- 5 /H > AH >=IAI B J HE? L=HEAJEAI 6 D


=JD

* 5674 .- 5 /H > AH *=IEI = @ + 5 ?EAJO 2H LE@A ?A 41 ''#

A & B 7 ELAHIEJO A?JKHA 5AHEAI ) AHE?= 6 '% )2 6 ''% 8)5'& 9 8 8)5+


HEJD I = @ +

=JDA =JE?=
IJH=E JI

)5

5 LE C E A=H ,E FD= JE A +

2D, JDAIEI .=?K J=@ @A +EA ?E=I 7 ELAHIE@=@ @A F HJ +5 +


FKJ=JE FKJ=JE IE = AJD @I E + K

J=JELA ) CA>H= = @ ) CA>H=E? /A

AJHO L K A

B)C

=JDA =JE?I 5FHE CAH ''&

86''

) 81/ -4
JE I

6-

41 I

5A ECH KF E@A= I = @ E A=H


E A=H ) CA>H= = @ EJI )FF E?=

@E FD= JE A AGK=JE

'# !! "" '''

1 @E?A = B=> AJE?


 
+ 1 1
+

B " B  "


04 ' 04 %'
E E = ! AH5 
(E $

' 
AH5

  !%

# %% ' E E = %# '

K . DKA?
+E  0E 
E

% &$

E
4 4 5

E JHE= CK =?E

 $  $  $


8E   $
N I K?E

E A A

#'


) %% ) % )J '
+ %%

%$ '
5 #&

HAC1 $

/ ! /A ! / ! 0  0 ! 04 '
$ $
4 4

+ +

FA K J

IE F E?E= $ HJ C =  

1@A= AI @A HAJ
?K 4AJ
?K

= =O= =  

5A ECHKF ?= ?A =JEL 5A ECHKF

%% '  "

= =O= = 

Resumen: Dado un semigrupo abeliano, cancelativo, finitamente generado y con elemento neutro, S, y un cuerpo k, podemos considerar el lgebra S-graduada k[S]. El estudio de esta lgebra tiene un gran inters dentro de la Geometra Algebraica por su relacin con la Geometra Trica. En esta memoria nos centramos en el estudio de los mdulos de sicigias de la resolucin del lgebra asociada al semigrupo. Damos algoritmos basados en bases de Grbner que nos permiten calcular sistemas irreducibles de generadores del ideal de un semigrupo con torsin. Adems, damos un mtodo efectivo, basado en el clculo de N-soluciones de sistemas diofnticos en congruencias, para calcular los grados que aparecen en el primer mdulo de sicigias de k[S], ampliando estos resultados a toda la resolucin del lgebra k[S]. De estos mtodos, deducimos cotas para los grados que aparecen en un sistema minimal de generadores el i-simo mdulo de sicigias, en funcin solamente de los generadores del semigrupo. Explicitamos una cota para la regularidad de una variedad trica, as como un algoritmo para hallar dicha regularidad.

Abstract Given a finitely commutative cancelative semigroup with zero element, S, and a field k, we can consider the S-graduated algebra k[S]. The study of this algebra has a great interest inside the Algebraic Geometry because of its relation with the Toric Geometry. In this memory we study the modules of sizigies of the resolution of the algebra associated with the semigroup. We give algorithms based on Grbner bases that allow us to compute irreducible systems of generators of the ideal of a semigroup with torsion. Besides, we give an effective method to compute the degrees that appear in the first module of sicigias of k[S] using diophantine equations in congruences, extending these results to the whole resolution of the algebra k[S]. Of these methods, we deduce bounds for the degrees of a minimal systems of generators of the i-sizigies by means of the semigroup generators. We give explicit bounds for the regularity of a toric variety, as well as an algorithm to find it.

También podría gustarte