Modulo S

NiiRsiD~D `~CiON~i Ai!
ONO:~ Di
MiXiCO
.cii!.D Di CiiNci.s
LÂ LIL\L I^1IODLCCIO^
A LA 1LOIIA DL MODLLOS

QUL IAIA OL1LNLI LL 1I1ULO DL:
M A 1 L M 1 I C O
I I L S L N 1 A:
M A I I O M O N C A D A I A M O S
DI!LC1O! DL 1LSIS:
Di. Hugo AlLoilo !incn Moju
2012
Print to PDF without this message by purchasing novaPDF (http://www.novapdf.com/)
Act. AaurIcIo AguIIar GonzIez

Jcfc oc la Division oc Lsluoios Iiofcsionalcs oc la
Facullao oc Cicncias.
Iicscnlc.
Comunicamos a Uslco quc hcmos icvisaoo cl liaLajo csciilo:
icalizaoo poi 1n:.u 1unnJn 1nnu con nmcio oc cucnla u1u-7, quicn
cuLiio los cicoilos oc la caiicia oc 1nnn.n.
Dicho liaLajo cucnla con nucslio volo apioLaloiio.
Alcnlamcnlc
Diiccloi oc 1csis
Iiopiclaiio Hugo AlLcilo Iincon Mcja
Iiopiclaiio Di. Alcjanoio Alvaiaoo Gaica
Iiopiclaiio M. cn C. Iolanoo Gomcz Maccoo
Suplcnlc Di. Josc Ios Monlcs
Suplcnlc M. cn C. Ivn Fcinanoo Vilchis Monlalvo
Conscjo Dcpailamcnlal oc 1nnn.n
Ll Jcfc(a) ocl Conscjo Dcpailamcnlal oc Malcmlicas
À LlL\L I`TlOLCCIO`
A LA TLOlIA LL MOLLOS
Mario Moncaoa Iamos
0 oc mayo oc 2012

"Tesis" - 2012/5/9 - 8:44 - page - #6 "Tesis" - 2012/5/9 - 8:44 - page - #6
Indico gonoraI
1.1. Iicliminaics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Mooulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.8. SuLmooulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
11
1.4.1. Succsioncs cxaclas . . . . . . . . . . . . . . . . . . . . . . . 11
12
16
1.. Nclcos, conclcos y iclculas . . . . . . . . . . . . . . . . . . . . . 20
1..1. Nclcos y conclcos . . . . . . . . . . . . . . . . . . . . . . 20
1..2. Iclculas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2. AduIos dIvIsIIIes, InyectIvos, IIIres y royectIvos 37
2.1. Mooulos liLics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
2.2. Ms soLic succsioncs cxaclas . . . . . . . . . . . . . . . . . . . . . 80
2.8. Mooulos inycclivos y pioycclivos . . . . . . . . . . . . . . . . . . . 41
2.8.1. Mooulos oivisiLlcs . . . . . . . . . . . . . . . . . . . . . . . 44
2.8.2. Conlinuacion oc mooulos pioycclivos . . . . . . . . . . . . . 47
3. As tIos de nduIos, csuIas dIvIsIIIes e InyectIvas 55
8.2. Mooulos cscncialcs y mooulos cscncialmcnlc cciiaoos . . . . . . . . 7

8.8. Cpsulas oivisiLlcs . . . . . . . . . . . . . . . . . . . . . . . . . . . 0
8.4. Scuoocomplcmcnlos . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.. Cpsulas inycclivas . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
8.6. Limooulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
8.7. Mooulos simplcs y mooulos scmisimplcs . . . . . . . . . . . . . . . 67
iii
iv INDicr crNri.i
4.1. Ailinianos y nclciianos . . . . . . . . . . . . . . . . . . . . . . . . 7
88
A. Categoras 91
01
A.2. Ljcmplos oc calcgoias . . . . . . . . . . . . . . . . . . . . . . . . . 02
A.8. Funloics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 08
A.4. Calcgoia opucsla . . . . . . . . . . . . . . . . . . . . . . . . . . . 06
A.. Funloics covaiianlcs y conliavaiianlcs . . . . . . . . . . . . . . . . 07
A.6. Una calcgoia pailiculai . . . . . . . . . . . . . . . . . . . . . . . . 07
A.7. Ms soLic funloics . . . . . . . . . . . . . . . . . . . . . . . . . . . 08
A.8. Iiciiaoicalcs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 00
HIIIIograIa 101
CAPITULO 1
1.1. IroIInInuros
Suponcmos conocioa la lcoia Lsica oc giupos y la lcoia oc cspacios vcclo-
iialcs.
HecordatorIo 1.1.1. 5nn un]&nu, , j : &nn
&n.n.
1. 1n .nnjn J.:n J &n un]&nu hn]u |n &n.n
[ [ = ( )
2. 1n .nnjn .n:n J &n un]&nu hn]u |n &n.n | un]&nu:
l
[ [ = ( )
5nn j:&u nh|.nnu. 1.nu j& : &n
&n| j&:
( ) = ( ) ( )
5nn j:&u nh|.nnu j :
n .
1
2 l. ÔDiios, sir:ODiios . :oiris:os

1. unu ( ) = ( ) = 0
.
2. unu ( ) = r. j ( ) = .
5nn , j:&u. 1.nu j& :
J j:&u .
otacIn 1.1.5. 5. un j:&u j r. :
j:&u, &n:nu |n nun.n = .
5n
( ) u::
( ) = :
Lena 1.1.7. 5nn j:&u nh|.nnu, : j :
J j:&u. 1nun |n &n.n : un :j|n J u::unJn.n
( )( )
..
= ( ) ( )
DenostracIn. Vcamos quc cumplc con sci aoiliva. Si
l 2
, cnlonccs
( )(
l

2
) = (
l

2
) (
l

2
)
= ( (
l
) (
2
)) ( (
l
) (
2
))
= ( (
l
) (
l
)) ( (
2
) (
2
))
= ( )(
l
) ( )(
2
)
Ioi lo lanlo
1n nn.||u &nn j&.nn ( 0 1), JunJ:
&n un]&nu,
( 0) &n j:&u nh|.nnu,
( 1) &n nunu.J,
5 &n|n |n |j J.:.h&.n ..j&.:Jn j J:|n J| :uJ&u uh: |n
&nn, J.: n:n &n|j&.:n &n|:
( ) = .
( ) = .
E]enIo 1.1.9. 5un nn.||u:
1u n:u (Z 0 1) un |n u:n.un &&n|.
1u nnu , R j C, un |n u:n.un &&n|.
1u n:u nJ&|u , Z
n
.
l.l. Iirii:iN.irs 8
1| nn.||u J nn:.
n n
( ) un &n nn.||u j N 1, un |n
u:n.un &&n|.
FroosIcIn 1.1.10. 5. &n j:&u nh|.nnu, nun ( ( ) 0
1
)
&n nn.||u, JunJ |n unu..n
J &n.un.
DenostracIn. Dcmosliaicmos quc ( ) cs un anillo.
Scan ( ) y
l 2
.
1. Quc la suma cs una opciacion cn ( ) sc licnc poi cl lcma 1.1.7.
2. La asocialivioao oc la suma.
( ( ))( ) ( ) ( )( )
( ) ( ( ) ( ))
( ( ) ( )) ( )
( )( ) ( )
(( ) )( )
Ioi lo lanlo cs asocialiva.
8. Lxislc cl clcmcnlo nculio. Sca 0 : oaoo poi 0( ) = 0
1
paia looo
.
n)
0(
l

2
) 0
0 0
0(
l
) 0(
2
)
Ioi lo lanlo 0 ( ).
h) Vcamos quc cn cfcclo, cumplc con sci nculio:
( 0)( ) ( ) 0( )
( ) 0
1
( )
4. Lxislc cl invciso aoilivo. Sca : oaoa poi ( )( )
..
= ( ).
n)
( )(
l

2
) (
l

2
)
( (
l
) (
2
))
(
l
) (
2
)
( )(
l
) ( )(
2
)
Ioi lo lanlo ( ).
h) Quc cs cl invciso aoilivo.
( ( ))( ) ( ) ( )( )
( ) ( )
0

Ioi lo anlciioi lcncmos quc ( ( ) 0) cs un giupo aLcliano.
Ahoia Licn, si consiociamos a ( ( ) con la composicion oc funcioncs y
la funcion iocnlioao
1
:
nculio, lcncmos quc ( ( )
1
) cs un monoioc.
Vcamos ahoia quc sc cumplcn las lcycs oisliiLulivas.
Scan ( ) y . Lnlonccs:
( ( ))( ) (( )( ))
( ( ) ( ))
( ( )) ( ( ))
( )( ) ( )( )
[( ) ( )[( )
Ioi lo lanlo ( ) = .
Anlogamcnlc sc oLlicnc quc ( ) = .
As ( ( ) 0
1
)
FroosIcIn 1.1.11. 5n = Z, :nu j& (Z Z) = Z, J.: j&
DenostracIn. Iaia la ocmosliacion oc csla pioposicion nolcmos como son
los clcmcnlos oc (Z Z). Consiocicmos : Z Z
Vcamos quc qucoa oclciminaoa poi (1):
(1) = , oonoc Z.
(2) (1 1)
(1) (1)

2a.
( 1) ( ) (1)

( 1) .
As poi inouccion sc ocmucslia quc paia looo N sc cumplc ( ) = .
Ahoia Licn, como cs aoiliva, cnlonccs
0 = (0)
= ( )
= ( ) ( )
Dc oonoc ( ) = ( ) y como ( ) = (1), cnlonccs ( ) = (1).
Ioi lo lanlo qucoa oclciminaoa poi (1).
: (Z Z) Z oaoa poi
( )
..
= (1)
( ), cnlonccs:
l.l. Iirii:iN.irs
( ) = ( )(1)
= (1) (1)
= ( ) ( )
Quc cs inycclivo.
Si ( ), cnlonccs ( ) = (1) = 0, con lo quc = 0.
Quc cs supiaycclivo.
Si Z, cnlonccs =
( ) = (1) = 1 =
Ioi lo lanlo
5n &n j:&u nh|.nnu. 1.nu j& J...h| .
=
n:n uJu N 0 .
OIservacIn 1.1.13. 1n jn:n| u&:: , n. n:n nu:n: j& &n j:&u
.
E]enIo 1.1.14. J...h| jn j& n:n &n|j&.: N 0 j &n|j&.:
o
b
nnu j&
o
nb
=
o
b
j un ||u .
otacIn 1.1.15. 1n |u J.nj:nnn &nnJu |njnnu ::n.n n |n &n..JnJ J
!.
OIservacIn 1.1.16. 5. ( ) &n un]&nu n:.n|nn u:JnnJu j ,
nun (
Y Y
) &n un]&nu n:.n|nn u:JnnJu.
5n ( ) &n un]&nu n:.n|nn u:JnnJu. 1.nu j&
&nn nJnn n . (
C C
) &n un]&nu un|nn u:JnnJu.
5n &n un]&nu J un]&nu. 1.nu j& &nn &n-
.n J |.n . n:n nJn |nnu , ( ) . 1 J.:, j& n:n uJu
|nnu n uJnu uj: &n |nnu J .
A lo laigo oc cslc liaLajo ulilizaicmos los siguicnlcs axiomas quc son cquiva-
lcnlcs.
AxIona 1.1.19. ;r.unn J 1|.n). 1n:n uJu un]&nu J un]&nu nu
n.u r. &nn &n.n J |.n.
AxIona 1.1.20. ;1nn J 7u:n). 5n ( ) &n un]&nu n:.n|nn u:JnnJu.
5. uJn nJnn n nunJn n , nun ( ) .n &n |nnu nnr.nu.
AxIona 1.1.21. ;). 1| :uJ&u n:.nnu J &n un]&nu J un]&nu nu
n.u nu n.u.
Cuanoo cslcmos usanoo cualquicia oc cslos lcoicmas lo haicmos nolai cscii-
Licnoo AE.

1.2. ^duIos
5nn &n nn.||u j &n j:&u nh|.nnu. 1.nu j& &n
nJ&|u ..j&.:Ju, . r. &nn &n.n : JnJn u: ( )
j& &n|:
1. 1n:n uJu :
1
2. 1n:n &n|j&.:n j :
( ) ( )
. 1n:n uJu
l 2
j :
(
l

2
)
l

2
. 1n:n &n|j&.:n j
l 2
:
(
l

2
)
l

2
5nn &n nn.||u j &n j:&u nh|.nnu. 1.nu j& &n
nJ&|u J:|u, . r. &nn &n.n : JnJn u: ( )
j& &n|:
1. 1n:n uJu :
1
2. 1n:n &n|j&.:n j :
( ) ( )
. 1n:n uJu
l 2
j :
(
l

2
)
l

2
. 1n:n &n|j&.:n j
l 2
:
(
l

2
)
l

2
otacIn 1.2.3. 1nunnu j& &n nJ&|u ..j&.:Ju u:
1
. nn|ujn-
nn Jnunnu j& nJ&|u J:|u u:
1
.
l.2. ÔDiios 7
OIservacIn 1.2.4. n:.: J nunnu, n|u n | nu n j& r.n |&jn:
n un&.n, un..:n | &h.nJ.
1
J| nn.||u un | j& :nhn]nnJu.
E]enIo 1.2.5. 5. &n nnu, nun &n n.u u:.n|
J
&n
nJ&|u ..j&.:Ju.
E]enIo 1.2.6. 5n &n j:&u nh|.nnu. Aunnu j& &n Z nJ&|u
..j&.:Ju, un |n .j&.n u:n.n: : Z JnJn u::
1. 1n:n uJu 0
= 0
1
.
2. 1n:n uJu N j ( 1) = .
. 5. 0 j , nun = [( ) [.
5nn j nJ&|u ..j&.:Ju. 1.nu j& &nn &n.n
: &n n . &n|:
1.
2. 1n:n uJu j .n j&: ( ) = ( ).
E]enIo 1.2.8. 5. j un nJ&|u ..j&.:Ju, nun |n &n.n
0 : n| j& n:n uJu &n| j& 0( ) = 0
, &n
J nJ&|u.
otacIn 1.2.9. 5nn , nJ&|u ..j&.:Ju.
1
( ) = : un nuJ&|u ..j&.:Ju j
.
Lena 1.2.10. 5nn nJ&|u ..j&.:Ju j : , :
: &n
DenostracIn. Daoo quc la composicion oc funcioncs aoilivas cs aoiliva lc-
ncmos quc : cs aoiliva. Ahoia paia y lcncmos
quc:
( )( ) = ( ( ))
= ( ( ))
= ( ( ))
= ( )( )
S l. ÔDiios, sir:ODiios . :oiris:os

1.3. SuInduIos
5nn &n nn.||u, &n nJ&|u ..j&.:Ju j .
1nun &n &hnJ&|u ..j&.:Ju J .:
1. 0
1
,
2. 1n:n uJu
l 2
&n|
l

2
,
. 1n:n &n|j&.:n j , .
nn|ujnnn . &n nJ&|u J:|u j n| j&:
1. 0
1
,
2. 1n:n uJu
l 2
&n|
l

2
,
. 1n:n &n|j&.:n j , .
1nun J.:nu j& &n &hnJ&|u J:|u J .
OIservacIn 1.3.2. 5. j un nJ&|u ..j&.:Ju n| j& ,
nun &n &hnJ&|u ..j&.:Ju J .
FroosIcIn 1.3.3. 5nn &n nn.||u, &n nJ&|u ..j&.:Ju j &n &h-
nJ&|u ..j&.:Ju J . 1nun |n &n.n .n|&.n : &n
nu J nJ&|u.
DenostracIn.
1. Aoilivioao. Scan
l 2
. Lnlonccs
(
l

2
) =
l

2
= (
l
) (
2
)
Ioi lo lanlo cs aoiliva.
2. Sca y . Lnlonccs
( ) =
= ( )
Ioi lo lanlo cs mooulos izquicioos.
OIservacIn 1.3.4. 5. un nJ&|u ;..j&.:Ju u J:|u) j
: &n n , nun (0
1
) = 0
.
Teorena 1.3.5. 5nn , nJ&|u j : &n
l.3. Sir:ODiios 9
1. 5. &n &hnJ&|u ..j&.:Ju J , nun [ [ &n &hnJ&|u
..j&.:Ju J .
2. 5. &n &hnJ&|u ..j&.:Ju J , nun
l
[ [ &n &hnJ&|u
..j&.:Ju J .
DenostracIn.
1. Ioi la oLscivacion 1.8.4 sc licnc quc 0
= (0
1
) [ [.
Scan
l 2
, cnlonccs (
l

2
) = (
l
) (
2
). Con lo cual la suma
oc las imgcncs oc oos clcmcnlos oc csl cn [ [.
Iaia lcncmos ( ) = ( ) [ [.
2. Como cs un suLmooulo izquicioo oc , cnlonccs 0
. Ahoia Licn
oc la oLscivacion 1.8.4 lcncmos quc 0
1
l
( 0
), con la cual
0
1
l
( ).
Scan
l 2
l
( ), cnlonccs (
l
) (
2
) con lo cual
(
l

2
) = (
l
) (
2
)
y as
(
l

2
)
l
( )
Iaia lciminai si y
l
[ [, cnlonccs poi sci un suLmooulo
izquicioo oc , ( ) = ( ) y as
l
[ [.
CoroIarIo 1.3.6. 5nn , nJ&|u j : &n
||u. 1nun ( ) &n &hnJ&|u J ( ) &n &hnJ&|u
J .
OIservacIn 1.3.7. 5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u
..j&.:Ju J . .
cquivalcncia cn :
1. . Lnlonccs ya quc = 0
1
.
2. Simcliica. Scan . Si , cnlonccs y como cs un
suLmooulo oc , cnlonccs ( ) = con lo cual .
8. 1iansiliva. Sca
l 2 3
. Si
l 2
y
2 3
, lcncmos quc
l 2
y
2 3
. Como cs un mooulo izquicioo, cnlonccs
l 3
= (
l 2
) (
2 3
) .
unu | un]&nu = .

5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u J .
1
unu | un]&nu
1
= .
Teorena 1.3.10. 5n &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:Ju
J . 1nun
1
&n nJ&|u ..j&.:Ju un |n u:n.n :

1
,
JnJn u: ( )
..
= .
DenostracIn. Iiimcio
1
cs un giupo aLcliano ya quc, cn lcoia oc giupos sc

ocmucslia quc si cs un suLgiupo noimal oc , cnlonccs cl cocicnlc
1
cs giupo;
y aocms quc cs aLcliano si y solo si cl suLgiupo conmulaooi oc ,

cs un
suLgiupo oc lo quc ocuiic ya quc cs aLcliano.
Sca :
1
Scan
l

2

1
lal quc
l
=
2
, ocmosliaicmos quc
l
=
2
paia looa .
Como
l
=
2
, cnlonccs
l 2
. Al sci un suLmooulo
lcncmos quc (
l 2
) , pcio (
l 2
) =
l 2
con lo
cual
l
=
2

Scan 1
l 2
y
l

2

1
. Lnlonccs
Sca 1 . Como 1 = ya quc cs un mooulo izquicioo. 1cncmos
quc 1 = .
Sca ( ) . Daoo quc ( ) = ( ), sc cumplc quc
( ) = ( ) .
Sca (
l

2
) . Como cs un giupo aLcliano lcncmos quc
(
l

2
) =
l

2
. Con lo cual
(
l

2
) = (
l

2
) = (
l
) (
2
).
Sca (
l

2
) . 1cncmos quc (
l

2
) =
l

2
, con lo
cual
(
l

2
) = (
l

2
)
= (
l
) (
2
)
Ioi lo lanlo
1
cs un mooulo izquicioo y sc licnc cl icsullaoo.

Teorena 1.3.11. 5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u J .
1nun |n &n.n :
1
JnJn u: ( ) = &n
n
1
.
DenostracIn. Scan cnlonccs
( ) = ( )
= ( ) ( )
= ( ) ( )
l.d. ôiris:os . sicrsioNrs rx.c+.s 11

Scan ahoia y cnlonccs
( ) =
= ( )
= ( )
Ioi lo lanlo cs un
1.d.1. SucosIonos oxactas
5nn nJ&|u ..j&.:Ju, : j
:
}
rnn n .
( ) = ( )
OIservacIn 1.4.2.
}
rnn n . j
|u . = 0 j ( ) ( ).
otacIn 1.4.3. 0 &n nJ&|u ..j&.:Ju ;J:|u) j& Jnun u: 0
(0 ).
E]enIo 1.4.4. 5nn nJ&|u ..j&.:Ju, : &n
j | 0 : 0 . 1nun 0
u }
rnn n . j |u
. ( ) = 0
1
.
Teorena 1.4.5. 5nn , nJ&|u ..j&.:Ju j : &n
nu. 1n &.n 0
u }
rnn n . j |u . .nj.n.
DenostracIn. ) Scan lalcs quc ( ) = ( ). Lnlonccs
( ) ( ) = 0
Al sci un
( ) ( ) = ( ) = 0
as ( ). Ahoia poi cl cjcmplo 1.4.4 lcncmos quc

( ) = 0
1
Ioi lo lanlo = 0
1
y as = .

) Sca ( ), cnlonccs
( ) = 0
= (0
1
)
Sicnoo inyccliva, cnlonccs = 0
1
. Ioi lo lanlo ( ) 0
1
y as
( ) = 0
1
. Nucvamcnlc poi cl cjcmplo 1.4.4 como sc cumplc quc ( ) =
0
1
, cnlonccs
0
u }
cs cxacla cn .
Teorena 1.4.6.
1n &.n
} u
0 rnn n . j |u .
( ) = (0) =
1n &.n
} u
0 rnn n . j |u . &:nj.n.
1.nu j& |n &.n
I l
}1
I
}1
Il
}1
rnn .
I l
}1
I
}1
Il
rnn n:n uJu
I
.
OIservacIn 1.4.8. 1.nu j& |n &.n 0
}
0 rnn
u:n . .nj.n, &:nj.n j &n| j& ( ) = ( ). C&nnJu
&nn &.n n rnn u:n | nh:.n:n un |n nun.n
5nn nJ&|u ..j&.:Ju j : &n
nu J n . 1.nu j& nn|n n |n ..j&.:Jn
j JunJ
|
}
n| j& = , .n j& = .
Teorena 1.4.10. 5nn
un j&.n|n n:n : &n n :
1. .nj.u.
2.

DenostracIn. 1) 2) Supongamos quc cxislcn
= y quc = . Daoo quc = cxislc lal quc ( ) = ( ).
Como cs inyccliva, cnlonccs ( ) = ( ) lo cual cs una conliaoiccion
a la clcccion oc y .
Ioi lo lanlo
2) 1) Supongamos
inycclivo cxislcn
l 2
lalcs quc
l
=
2
y (
l
) = (
2
). Como
(
l
) = (
2
)
cnlonccs
(
l
) (
2
) = 0
al sci (
l 2
) = 0, cs occii
(
l 2
) ( )
Sca cl : ( ) . Nolcmos quc
= 0
ya quc si ( ), cnlonccs aplicanoo lcncmos ( ) = y aplicanoo
lcncmos ( ) = 0
1
. Ioi olio laoo consiocicmos cl 0 : ( ) .
Lnlonccs
= 0 = 0
como = 0. Ahoia paia (
l 2
) ( ) aplicanoo
lcncmos quc 0
1
= (
l 2
) =
l 2
. Ioi lo lanlo
l
=
2
. Lo cual
conliaoicc la clcccion oc
l
y
2
. As cs inyccliva.
5. un nJ&|u ..j&.:Ju j r. : &n
&n:j n .
nu J n . 1.nu j& nn|n n |n J:|n J
n| j&
}

|
,
JunJ = , .n j& = .
Teorena 1.4.13. 5nn
n|n n:n : &n n :
1. &:nj.u.
2.

DenostracIn. 1) 2) Supongamos quc cxislcn oos
quc = y quc = . Como = , cxislc lal quc ( ) = ( ).
Como cs supiayccliva, cxislc lal quc ( ) = con lo quc
( )( ) ( ( ))
( ) = ( )
( ( ))
( )( )
Lo quc cs una conliaoiccion a la clcccion oc y . Ioi lo lanlo
2) 1) Sca : ( ) cs un
suLmooulo oc poi cl coiolaiio 1.8.6. Sca
}
u
}(1)
oonoc cs
la funcion ocsciila cn cl lcoicma 1.8.11.
Si , cnlonccs
( ) ( ( ))
( ) ( )
0 ( )
( )
Ls occii paia sc cumplc quc = 0.
Ioi olio laoo consiocicmos al 0, cnlonccs 0 = 0. Ioi hipolcsis
= 0.
Si , cnlonccs
( ) ( )
0( )
0 ( )
Con lo cual ( ). Ioi lo lanlo ( ), y as = ( ).
5nn nJ&|u ..j&.:Ju j : &n nu:-
n . 1.nu j&
5nn nJ&|u ..j&.:Ju j : &n nu:-
n . 1.nu j& : &n
n n| j& =
1
j =

.
Teorena 1.4.16. 5nn
un j&.n|n n:n : &n n :
1.
2.
. h.j.n.
DenostracIn. 2) 8) Si cs una Liycccion, cnlonccs cs inyccliva y supiaycc-
liva. Ioi los lcoicmas 1.4.10 y 1.4.18 cslo ocuiic si y solo si
mcnlc poi los lcoicmas 1.4.10 y 1.4.18 lcncmos quc cs Liycccion.
8) 1) Si cs Liycccion, cnlonccs cxislc su invcisa.

Scan : un a y supongamos quc cxislc
: una funcion lal quc =

y quc =
1
. Vcamos
quc lamLicn cs un
Iaia
l 2
lcncmos quc cxislcn
l 2
lalcs quc (
l
) =
l
y
(
2
) =
2
. Con lo cual
(
l

2
) ( (
l
) (
2
))
( (
l

2
))
l

2
(
l
) (
2
)
Scan y . Iaia csc cxislc lal quc ( ) = .
Lnlonccs
( ) ( ( ))
( ( ))
( )
Con lo quc la invcisa lamLicn cs un
1) 8) Ls inmcoialo.
5nn &n nJ&|u ..j&.:Ju j Ju &hnJ&|u
..j&.:Ju J
1.
1
[ [ = &hnJ&|u J &hnJ&|u J j
&hnJ&|u J .
2.
1
( [ = &hnJ&|u J &hnJ&|u J ,
&hnJ&|u J j = .
.
1
[ ) = &hnJ&|u J &hnJ&|u J ,
&hnJ&|u J j = .
.
1
( ) = &hnJ&|u J &hnJ&|u J ,
&hnJ&|u J , = j = .
FroosIcIn 1.4.18. 5n &n nJ&|u ..j&.:Ju. 5.
I IJ
&nn nn.|.n
n
1
[ 0 [, nun
IJ
I 1
[ 0 [.
DenostracIn. Dcmosliaicmos quc
IJ
I
cs suLmooulo izquicioo oc .
1. 0
1
IJ
I
, ya quc 0
1 I
paia looa .
2. Scan
IJ
I
. Como
I
paia looa , cnlonccs
I
paia
looa . Ioi lo lanlo
IJ
I
.

8. Sca y
IJ
I
. Daoo quc
I
paia looa , lcncmos quc
IJ
I
.
5nn &n nJ&|u ..j&.:Ju j
&hnJ&|u jn:nJu u: n unu
1
= &hnJ&|u J
OIservacIn 1.4.20. Aunu j& n:n &n &hun]&nu J , &n nJ&|u
..j&.:Ju, | &hnJ&|u jn:nJu u: n | nnu: &hnJ&|u, n |
n.Ju J |n unn.n, j& un.n n .
FroosIcIn 1.4.21. 5nn &n nJ&|u ..j&.:Ju j . 1nun &J
j&
1
=
IJ
I I I I
, JunJ
I
I I
= 0
1
.
CoroIarIo 1.4.22.
1
&n &hnJ&|u ..j&.:Ju J .
DenostracIn. Ls una consccucncia aulomlica oc la pioposicion 1.4.18.
FroosIcIn 1.4.23. 5. &n nJ&|u ..j&.:Ju, j ,
nun
1 1
.
OIservacIn 1.4.24. 5n &n nJ&|u ..j&.:Ju. 5. &hnJ&|u
..j&.:Ju J , nun
1
= .
Teorena 1.4.25. nJ&|u ..j&.:-
Ju j : &n n . 1nun
1
Jc:(})
= ( ).
DenostracIn. :
1
Jc:(})
( ) oaoa poi:
( ( )) = ( )
Vcamos quc ( ) = ( ).
Lnlonccs ( ), con lo quc
0 = ( ) = ( ) ( )
y as
( ) = ( )
Dcmosliaicmos quc ( ) ( )
1
Jc:(})
,
cnlonccs

(( ) ( )) ( )
( ) ( )
( ( )) ( ( ))
Sca . 1cncmos quc:
( ( ( ))) ( ( ))
( )
( )
( ( ))
Dcmoslicmos quc
Scan ( ) ( )
1
Jc:(})
lalcs quc ( ( )) = ( ( )).
Dcmosliaicmos ( ) = ( ).
Ioi hipolcsis ( ( )) = ( ( )), cnlonccs ( ) = ( ). Daoo quc
( ) = ( ), cnlonccs ( ) ( ) = 0
1
. Como ( ) ( ) = ( )
con lo cual ( ). Dc lo anlciioi ( ) = ( ) y as cs
inyccliva.
Si ( ), cxislc lal quc ( ) = . Consiocicmos la clasc ( ),
la cual Lajo nos oa ( ( )) = ( ) = . Ioi lo lanlo cs supiayccliva.
Ioi lo lanlo
CoroIarIo 1.4.26. 5. :
1
Jc:(})
= .
5nn &n nJ&|u ..j&.:Ju j &hnJ&|u ..j&.:-
Ju J . 1nun = : .
FroosIcIn 1.4.28. 5nn nJ&|u ..j&.:Ju. 1nun
=
1
DenostracIn. Ioi ocmosliai quc cs cl mcnoi suLmooulo oc
quc conlicnc a . Iiimcio vcicmos quc cs un suLmooulo. 1cncmos quc:
1. 0 = 0 0 .
2. Scan , = (
l

l
) = (
2

2
) con
l 2
y
l 2
.
Ioi lo lanlo (
l

l
) (
2

2
) = (
l

2
) (
l

2
), quc csl cn .
8. Sca , cnlonccs (
l

l
) =
l

l
.
Como y , cnlonccs y as poi la pioposicion
1.4.28 y la oLscivacion 1.4.24 sc licnc quc = . Ahoia
IJ
I I I I
=
Ioi lo lanlo = .
1S l. ÔDiios, sir:ODiios . :oiris:os

Teorena 1.4.29. &n nJ&|u
..j&.:Ju j , &hnJ&|u ..j&.:Ju J . 1nun
=
DenostracIn. Anlcs oc ocmosliai cslc lcoicma hagamos una oLscivacion

ncccsaiia. Si son
. Ahoia
= ( ) ,
Icio si ( )
1J
1
, cnlonccs
( ) = ( ) ( )
= ( )
=
con lo quc los clcmcnlos oc
1J
1
son clcmcnlos oc la foima .
Iascmos a la ocmosliacion. Consiocicmos a la inclusion : ( ),
la pioycccion : ( )
1J
1
, y la composicion oc cslos
I
( )
Dcmosliaicmos quc ( ) = . Sca ( ), cnlonccs:

( )( )
( ( ))
(0 )

Ahoia poiquc = . 1cncmos quc
I
( )
1J
1
con lo
cual y as . Ioi lo lanlo ( ) .
Si , cnlonccs cn pailiculai . As ( ) = 0 y
(0 ) = como , cnlonccs = . Ioi lo lanlo ( ).
Ioi lo lanlo ( ) =
quc
J
1|J
= ( ).
( ) =
1J
1
. Como pasa quc ( )
1J
1
.
Solo vcicmos la olia conlcncion.
Sca ( )
1J
1
. Ioi la oLscivacion hccha al comicnzo oc csla ocmosliacion
( ) = = ( )( ). Ioi lo lanlo
1J
1
( ) y as ( ) =
1J
1
Teorena 1.4.30. &n nJ&|u ..j&.:-
Ju, &n &hnJ&|u J j &n &hnJ&|u J . 1nun
l.5. ôiris:os . sicrsioNrs rx.c+.s 19

=
1
1
J
1
DenostracIn. Consiocicmos :
1
1
1
J
la asignacion oaoa poi
( ) =
Dcmoslicmos quc
J
1
y usanoo cl piimci lcoicma
Dcmoslicmos quc
1
1
lalcs quc
= . Ioi hipolcsis , cnlonccs con lo quc
( ) =
=
= ( )
Ahoia ( ) = , as:
(( ) ( )) (( ) )
( )
( ) ( )
( ) ( )
Ioi olio laoo si , cnlonccs:
( ( )) (( ) )
( )
( )
( )
Ioi lo lanlo cs un
Dcmosliaicmos quc ( ) =
J
1
. Sca ( ), cnlonccs
( ) = 0
poi olio laoo
( ) =
oc oonoc ; as
( )
J
1
. Ahoia sca
J
1
, cnlonccs con lo quc
( ) = = 0
as ( ). Ioi lo lanlo ( ) =
J
1
.
Dcmoslicmos quc
1
J
. Daoo quc ,
consiocicmos la clasc
1
1
la quc Lajo la funcion nos oa ( ) = .
Ioi lo lanlo
Al sci ( ) =
J
1
y

1.. cIoos, concIoos y rotcuIus
1..1. ^cIoos y concIoos
nu J n . 1.nu j& | n: ( ) &n n4|u J .:
1. &n nJ&|u ..j&.:Ju.
2. : &n n n| j& = 0 : .
. 1n:n uJu : n| j& = 0, r. &n 4n.u
: n| j& = .
1 J.:, j& | .j&.n J.nj:nnn unn&n:
|
u
}
Teorena 1.5.2. 5n : nJ&|u. 1nun |n n:]n

( ( )) &n n4|u J , JunJ |n .n|&.n : ( ) .
J n . 1.nu j& | n: ( ) &n un4|u J .:
1. &n nJ&|u ..j&.:Ju
2. : &n n n| j& = 0 :
. 1n:n uJu : n| j& = 0, r. &n 4n.u
: n| j& = .
}
u
u
t
Teorena 1.5.4. 5nn nJ&|u ..j&.:Ju j : &n

nu J n . 1nun |n n:]n (

Jn(})
) &n un4|u n:n , JunJ :
}(1)
|n :uj.n nn&:n|.
DenostracIn. Scan : un a , :

}(1)
y la composicion oc cslos oos
l.5. ìciros, coNiciros . ir+cii.s 21

}
( )
Nolamos quc si , cnlonccs ( ) ( ) y ( ( )) = ( ) ( ), pcio
( ) ( ).
Consiocicmos : lal quc = 0
:
( )
oaoo poi
( ( )) = ( )
Vcamos quc cfcclivamcnlc cs cl
Scan
l
( )
2
( )

}(1)
lalcs quc
l
( ) =
2
( )
Como
l
( ) =
2
( ), cnlonccs
l 2
( ) con lo quc
l 2
= ( )
paia algn . Ahoia lcncmos quc aplicanoo la funcion nos qucoa
0
1
= ( ( )) = (
l 2
)
pcio cs
(
l 2
) = (
l
) (
2
)
Ioi lo lanlo 0
1
= (
l
) (
2
) y as (
l
) = (
2
).
Aoilivioao oc . Scan
l
( )
2
( )

}(1)
, cnlonccs
((
l
( )) (
2
( ))) = ((
l

2
) ( ))
= (
l

2
)
Como cs
(
l

2
) = (
l
) (
2
)
(
l
) (
2
) = (
l
( )) (
2
( ))
Unicioao oc . Si cxislicia :

}(1)
lal quc = , cnlonccs
= = . Como
= y as sc licnc la unicioao.

1..2. HotcuIas
1.nu j& &nn &n:n ( ) &nn :.&|n .:
1. ( ) &n un]&nu n:.n|nn u:JnnJu ;CC1C).
2. 1n:n uJu r.n j , JunJ
|n nnju: J |n un .n:.u: n:n j , nnn|ujnnn |n nnu:
J |n un &:.u: un&n n:n j .
j j n | ||nnn &:nu n:n j .
5n ( ) &nn :.&|n. 1.nu j& &nn :.&|n un-
|n . n:n &n|j&.: &hun]&nu
FroosIcIn 1.5.7. 5n ( ) &nn :.&|n un|n. 1nun n:n &n|-
j&.:
DenostracIn. Scan ( ) una iclcula complcla, y

supicmos oc . Como cs supicmo oc y

cs cola supciioi, cnlonccs

.
Anlogamcnlc

. As =

.
Dc mancia similai sc ocmucslia quc cl supicmo oc looo suLconjunlo oc cs
nico.
HecordatorIo 1.5.8. 5nn &n nn.||u j &n nJ&|u ..j&.:Ju. 1nun
1
[ 0 [ = &hnJ&|u J &hnJ&|u J .
OIservacIn 1.5.9. 5. &n nn.||u j &n nJ&|u ..j&.:Ju, nun
(
1
[ 0 [ ) &n CC1C un | .j&.n u:Jn: n:n

1
[ 0 [ J.nu
j&

.

unn.n.
FroosIcIn 1.5.10. 5nn &n nn.||u j &n nJ&|u ..j&.:Ju. 1nun
(
1
[ 0 [ ) &nn :.&|n un|n.
DenostracIn. 1cncmos quc (
1
[ 0 [ ) cs un conjunlo paicialmcnlc oioc-
naoo poi la oLscivacion 1..0.
Dcmosliaicmos ahoia quc cualquici familia
I IJ 1
[ 0 [
mo y un supicmo.
Sca
I IJ 1
[ 0 [
1. Dcmoslicmos quc
IJ
I I IJ
, cs occii la mayoi oc las
colas infciioics paia
I IJ
. 1cncmos quc
IJ
I
cs un suLmooulo oc

paia looa .
Supongamos quc cxislc un suLmooulo oc lal quc cs suLmooulo
izquicioo oc
I
paia looa , cnlonccs cs suLmooulo oc
IJ
I
, con
lo quc
IJ
I
=
IJ
I
=
IJ
I
.

2. Consiocicmos
IJ
I
=
J

. Nolamos quc
poi la oLscivacion 1.4.24,
I
=
1 I
cs suLmooulo oc
IJ
I
paia
looa .
Y aocms cs la mcnoi oc las colas supciioics, ya quc si consiociamos a
un suLmooulo izquicioo oc lal quc paia looa ,

I
cs un
suLmooulo izquicioo oc
los oc
IJ
I
csl conlcnioa cn

poi sci cslc un suLmooulo oc , con lo
cual paia looo

IJ
I
lcncmos quc
J
.
Ioi lo lanlo
IJ
I
y as lcncmos quc
IJ
I
=
IJ
I
=
IJ
I
.
Ioi lo lanlo
1
[ 0 [ cs una iclcula complcla.
E]enIo 1.5.11. (N " " ) &nn :.&|n un|n.
l
5n ( ) &nn :.&|n. 1.nu j& &nn :.&|n
J.:.h&.n, . n:n &n|j&.:n &n|: ( ) = ( ) ( ).
E]enIo 1.5.13. 5n &n un]&nu. 1nun ( ( ) ) &nn :.&|n
un|n j J.:.h&.n.
5. , nun J. j& .n un|nnu j
= . C&n| j& = j = .
Iooiamos picgunlainos cuanoo sc pucoc gcncializai cl conccplo oc
cn una iclcula, cn pailiculai cn la iclcula oc suLmooulos oc un mooulo. Lo
cual nos llcva a la siguicnlc ioca: Si cs un mooulo, un suLmooulo
oc cl y si cs un complcmcnlo oc cn
1
[ 0 [, cnlonccs ocLci ocuiiii quc
= y quc = 0.
otacIn 1.5.15. 5nn &n nJ&|u ..j&.:Ju, &n -&hnJ&|u J
j &n -&hnJ&|u J . 5. u&:: j& = j = 0, nun
J.:nu j& J.:n j :.h.:nu .
OIservacIn 1.5.16. 5nn &n nJ&|u ..j&.:Ju, &n -&hnJ&|u J
j &n -&hnJ&|u J . 5. &n un|nnu J n
1
[ 0 [, nun
:.h.:nu .
5n &n nJ&|u ..j&.:Ju. 1.nu j&
1
[ 0 [
un|nnnJn . n:n uJu &n &hnJ&|u J , r. &n &hnJ&|u
J n| j& = .
ul nnino conn nlfiplo do dos nnoios.


FroosIcIn 1.5.18. 5nn &n nnu j &n nJ&|u ..j&.:Ju. 1nun
1
[ 0 [ &nn :.&|n un|nnnJn.
DenostracIn. Si cs un suLmooulo oc , cnlonccs cxislc , lal
quc cs Lasc, la cual sc pucoc complclai a una Lasc oc . Supongamos quc
lal quc cs una Lasc oc M, cnlonccs cs un complcmcnlo paia A.
OIservacIn 1.5.19. 1u un|nnu nu un 4n.u. Cun.J:nu n

[0 R
2
[
j |u .j&.n |nnu J ||n = ( 0) R , = (0 ) R j
= ( ) R . Ch:nnu j& = R = , j .n nhn:ju = .
;) 5nn (
I I
)
IJ
&nn nn.|.n J un]&nu n:.n|-
J n nn.|.n unu:
IJ
I
..
= :
IJ
I
( )
I
1 J.: = ( ( ))
IJ
.
IJ
I
JnJu u:: ( )
IJ
( )
IJ
. j |u . ( )
I
( ) n:n uJn .
FroosIcIn 1.5.21. 5n (
I I
)
IJ
&nn nn.|.n J un]&nu n:.n|nn u:-
IJ
I
&n un]&nu n:.n|nn u:JnnJu.
FroosIcIn 1.5.22. 5. (
I I I I
)
IJ
&nn nn.|.n J :.&|n un|-
n, nun
IJ
I
1..2u.
DenostracIn. Scan :
IJ
I
y :
IJ
I
oaoas poi
( ) =
I
( ) y ( ) =
I
( )
1. =
. Dcmosliaicmos quc

paia looa .
( ) =
I
( ), lcncmos quc paia looa sc cumplc quc
( )
I
( ). As paia looa lcncmos quc

.
Supongamos cxislc lal quc

paia looa . Lnlonccs paia cualquici
lcncmos quc

( ) ( ) y cslo paia looa . Ioi lo lanlo
I
( ) ( ).
Ioi lo lanlo y as =
.

2. =
; cs occii

paia looa .
( ) =
I
( ), pcio
I
( )

( ) paia looa . Dc lo anlciioi
paia looa .
Supongamos ahoia quc cxislc lal quc

paia looa . Lnlonccs
paia cualquici ( )

( ) paia looa . Ioi lo lanlo ( )
I
( ).
Ioi lo lanlo ( ) y as =
.
5n ( ) &nn :.&|n. 1.nu j& &nn
&h:.&|n .:
1. 5 ::nJn hn]u , J.:
S S
: &n.n.
2. 5 ::nJn hn]u , J.:
S S
: &n.n.
5n ( )
nnu: unu 0
..
= j | |nnu nnju: J unu 1
..
= . Aunnu j& |n
&n..JnJ J u |nnu nu |n Jn |n :uu..n 1..7.
OIservacIn 1.5.25. 5. ( ) &nn :.&|n un|n, nun r.n
|nnu nnju: j nnu:.
5n (
I I I I
)
IJ
&nn nn.|.n J :.&|n un 0,
J.: r. 0
I
=
I
n:n nJn
unu:
IJ
I
..
= :
IJ
I
( )
I
j ( ) = 0
I
n:n n. uJn
OIservacIn 1.5.27. 1n:n (
I I I I
)
IJ
&nn nn.|.n J :.&|n un 0, |
u:uJ&u J |n nn.|.n j&Jn J:n.nnJu J |n .j&.n nnn:n:
IJ
I
..
= :
IJ
I
( )
I
j ( )
FroosIcIn 1.5.28. 5n
I IJ
&nn nn.|.n J :.&|n un 0. 1nun
IJ
I
&nn &h:.&|n J
IJ
I
.
DenostracIn. Scan oos funcioncs cn
IJ
I
y licncn
( ), cnlonccs ( ( ) ( )) ( ) cl cual cs
IJ
I
.
Ahoia si ( ), cnlonccs lcncmos quc ( ) ( ) = 0
I
. Lo an-
lciioi cs vlioo si y solo si ( ) ( ). Dc lo anlciioi lcncmos quc
( ) ( ) ( )
Ioi lo lanlo
IJ
I
.

FroosIcIn 1.5.29. 5.
I IJ
&nn nn.|.n J :.&|n J.:.h&.n, nun
IJ
I
&nn :.&|n J.:.h&.n.
DenostracIn. Sca . Lnlonccs
( ( ))( ) = ( ) ( ( ) ( )) = ( ( ) ( )) ( ( ) ( ))
oonoc la scgunoa igualoao cs vlioa ya quc sc cumplc la oisliiLulivioao cn la
i-csima cnliaoa.
FroosIcIn 1.5.30. 5. ( ) &n un]&nu un|nn u:JnnJu, nun
( . n ) &nn :.&|n J.:.h&.n.
DenostracIn. Scan , qucicmos vci quc succoc con ( ) o
( ) o ( ). Supongamos, sin pcioioa oc gcncialioao, quc ,
cnlonccs ocuiic:
( ) = = .
( ) = = .
( ) = = .
Ahoia Licn = = ( ) ( ), lamLicn = = ( ) ( )
y poi llimo = = ( ) ( ), con lo quc la oisliiLulivioao sc cumplc.
Ioi lo lanlo ( ) cs una iclcula oisliiLuliva.
E]enIo 1.5.31. (N . n ) &nn :.&|n J.:.h&.n.
Icio no looas las iclculas son oisliiLulivas.
Teorena 1.5.32. 1n :.&|n J| nnjunu:
1

nu J.:.h&.n.

DenostracIn. Scan lalcs quc = = = y . Lnlonccs
( ) 1
=
0
( ) ( )
Ioi lo lanlo no cs oisliiLuliva.
Teorena 1.5.33. 1n :.&|n J| J.nnnn:
1

nu J.:.h&.n.
DenostracIn. Scan lalcs quc = = = y . Lnlonccs
( ) 1
= 0
0 0
( ) ( )
Ioi lo lanlo no cs oisliiLuliva.
( ) . n:n &n|-
j&.:n n| j& , &n| j& ( ) = ( ).
5n ( ) &nn :.&|n. 1.nu j& |n :.&|n nuJ&|n: . n ||n
n| |n :u.JnJ nuJ&|n:, J.: n:n &n|j&.:n n| j&
&n| ( ) = ( ).
Teorena 1.5.35. 5n &n nJ&|u ..j&.:Ju. 1nun
1
[0 [ nuJ&|n:.
DenostracIn. Scan
1
[0 [ lal quc . Dcmosliaicmos quc
( ) = ( ).
Como ( ) , ( ) y poi hipolcsis , cnlonccs
( ) ( )
Ahoia si ( ), cnlonccs = con , y ahoia
ya quc y = ( ) . Ioi lo lanlo ( ).
FroosIcIn 1.5.36. 1| nnjunu nu nuJ&|n:.
2S l. ÔDiios, sir:ODiios . :oiris:os

DenostracIn. Consiocicmos nucvamcnlc la iclcula ocl pcnlgono:
1

Lnlonccs nolamos quc sc cumplc quc y sin cmLaigo:

( ) 1
=
0
( )
OIservacIn 1.5.37. 5. ( ) &nn :.&|n J.:.h&.n, nun nu-
J&|n:. 1u &n| jn j& n| &n|.: |n J.:.h&..JnJ, nnu j& n:n
&n| j& ( ) = ( ) ( ). 5. nJnn &.:nnu j&
, nun ( ) = un |u &n| ( ) = ( ), j& :.nnn
|n unJ..n n:n j& ( ) n nuJ&|n:.
Lena 1.5.38. 5. ( ) &nn :.&|n, nun ( ) ( ).
Teorena 1.5.39. 1nn :.&|n ( ) un nn J |nnu nuJ&|n:
. j |u . nu .n &h:.&|n J |n u:nn J| nnjunu.
DenostracIn. ) Ioi conliapucsla. Daoo quc cl pcnlgono no cs mooulai
poi la pioposicion 1..86, cualquici iclcula quc lcnga como suLiclcula a una oc
la foima pcnlgono no pucoc sci mooulai.
) La ocmosliacion oc csla implicacion la haicmos poi conliaoiccion. Su-
pongamos quc ( ) cs un iclcula con ms oc 4 clcmcnlos quc no licnc
suLiclculas oc la foima ocl pcnlgono y no cs mooulai.
Scan lalcs quc pcio ( ) ( ).
Nolamos quc ya quc si = cnlonccs pasaia quc:
= ( )
( )
( )
= ( )
=
Con lo quc lcnoiamos lo quc cs una conliaoiccion.

1omcmos ahoia la siguicnlc suLiclcula:
( ( ))
1.1.
= ( ( ))
( )
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
( )
( ( ))
1.1.
= ( ( ))
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(1.1)
Vcicmos quc
1. ( ( )) = ( ( )).
2. ( ( )) = ( ( )).
con lo cual lcnoiamos una suLiclcula oc la foima pcnlgono; lo quc nos oai
la conliaoiccion.
Dcmoslicmos 1):
) Ioi hipolcsis lcncmos ( ) ( ), as ( ( )) ( ( )).
) Ahoia:
( ( )) ( ) ( ( ))
( ) ( ))
=
( ( ))
Donoc la igualoao cs vlioa poiquc . Ioi lo lanlo ( ( )) =
( ( )).
Dcmoslicmos 2)
) Ioi hipolcsis lcncmos ( ) ( ), con lo cual ( ( ))
( ( )).
) 1cncmos ( ( )) ( ) ( ). Como , cnlonccs
( ( )) ( ) ( ( ))
( ) ( ))
=
( ( ))
Ioi lo lanlo (1.1) cs una suLiclcula pcnlagonal oc , lo quc cs una conliaoic-
cion.

Teorena 1.5.40. 1nn :.&|n ( ) nuJ&|n: . j |u . nu .n &h-
:.&|n J |n u:nn J.nnnn.
Teorena 1.5.41. 5n ( ) &nn :.&|n. ( ) J.:.h&.n . j
|u . n:n &n|j&.:n . = j = , nun = .
DenostracIn. ) Supongamos oisliiLuliva y quc = , = .
1cncmos quc
= ( )
= ( )
= ( ) ( )
= ( ) ( )
= ( )
= ( )
=
Ioi la anlciioi lcncmos , simcliicamcnlc . Ioi lo lanlo = .
) Iiimcio vcicmos quc cs una iclcula mooulai. Iaia cllo supongamos quc
poi cl conliaiio cxislc una suLiclcula pcnlagonal oc :
=

la cual cumplc quc = y = . Ahoia Licn poi hipolcsis lcnoia

quc pasai quc = lo cual scia una conliaoiccion. Ioi lo lanlo una iclcula
isomoifa al pcnlgono no pucoc sci suLiclcula oc , con la cual cs mooulai poi
cl lcoicma 1..80.
Scan Dcmosliaicmos quc sc valc la piopicoao oisliiLuliva, consioc-
icmos = ( ) ( ( )) y = ( ) ( ( )).
Lnlonccs:
( ) ( ( ))
( ( ))
( ) ( )
Donoc la scgunoa igualoao cs vlioa ya quc ( ) y la lciccia poi quc
( ) y sc valc la piopicoao mooulai.

Ioi olio laoo
( ) ( ( ))
( ( ))
( ) ( )
Donoc la scgunoa igualoao sc cumplc poi ( ) y la lciccia poi quc
( ) y nucvamcnlc sc cumplc . Con lo cual = .
y :
(( ) ( ( )))
( ) ( ( ( )))
( ) ( )
Donoc la scgunoa igualoao cs vlioa poi ( ) y y la lciccia poiquc
( )
Ll oc y :
(( ) ( ( )))
( ) ( ( ( )))
( ) ( )
La scgunoa igualoao poi ( ) y y la lciccia poiquc ( ).
1cncmos cnlonccs = .
Dc lo anlciioi lcncmos quc = , lucgo = . Con lo cual:
y :
(( ) ( ( )))
( ) ( ( ))
( ) ( )
Iaia la scgunoa igualao cs vcioaocio quc ( ) y sc cumplc , paia
la lciccia sc cumplc quc ( ).
y :
(( ) ( ( )))
( ( )) ( ( ))
( )
Como ( ( )) y sc cumplc , cnlonccs sc oa la scgunoa igualoao.
Ioi lo lanlo ( ) = ( ) ( ), con lo cual sc cumplc la piopicoao
oisliiLuliva.
5nn (
J J J
) j (
1 1 1
) Ju nn.|.n J :.&-
|n ;un|n). 1.nu j& :
.:
1. (
J
I IJ
) =
1
(
I
)
IJ
, n:n
2. (
J
I IJ
) =
1
(
I
)
IJ
, n:n

5nn (
J J J
) j (
1 1 1
) Ju nn.|.n J :.&-
|n ;un|n). 1.nu j& :
.:
1.
2. 1r. : = 1
J
j
= 1
1
.
Teorena 1.5.44. ;Ju:nn J |n u::unJn.n) 5. un Ju nJ&|u
..j&.:Ju j : &n &n
: [ ( ) [ [ 0 [ JnJu u:
( ) = [ [, J.: |n .nnjn J.:n J hn]u .
DenostracIn. La ocmosliacion oc cslc lcoicma la haicmos cn lics pailcs.
1) Dcmosliaicmos quc
Sca
I
IJ
[ ( ) [.
Dcmosliaicmos quc
IJ
I
=
IJ
[
I
[ .
) Sca
|
I=l
I
IJ
I
. Lnlonccs
|
I=l
I
= (
l

2

|
)
= (
l
) (
2
) (
|
)
=
|
I=l
(
I
)
Ioi lo lanlo
IJ
I
IJ
[
I
[ .
) Sca
|
I=l
I
IJ
[
I
[ .
1cncmos quc paia caoa 1 , (
I
) [
1
[ paia algn
I
. Ahoia
Licn
|
I=l
I
1
J
1
.
Aplicanoo lcncmos
|
I=l
(
I
) =
|
I=l
I
1J
1
IJ
I
.
Dcmosliaicmos quc
IJ
I
=
IJ
[
I
[.
) Sca
IJ
[
I
[. Si , cnlonccs = (
I
) paia algn
I I
. Si ,
cnlonccs = (

) paia algn

.
Ahoia Licn (
I
) = = (

) oc oonoc (
I
) = 0, con lo quc
I
( ). Como ( )

paia looa , cnlonccs
I
con lo quc
I
y as
I
J
. Ioi lo lanlo (
I
) [
J
[.

) Sca [
IJ
I
[ cnlonccs cxislc
IJ
I
lal quc ( ) = . Como
( ) [
I
[ paia looa , cnlonccs ( )
IJ
[
I
[ y as
IJ
I
IJ
[
I
[.
Con lo quc
Consiocicmos la funcion : [ 0 [ [ ( ) [ oaoa poi ( ) =
l
[ [,
pasaicmos a ocmosliai ahoia quc 2) 8)
invciso oc
Dcmoslicmos 8) Sca un suLmooulo oc lal quc ( ) cs suLmooulo
oc . 1cncmos quc
}
[ [
}
l
[ [ [[.
Dcmosliaicmos quc
l
[ [ [[ = = ( ) .
) Sca ( ) . Lnlonccs ( ) = ( ) ( ) = 0 ( ) = ( ).
Con lo quc
l
[ [ [[. Ioi lo lanlo ( )
l
( ( )).
) Ioi olio laoo si
l
[ [ [[, cnlonccs ( ) = ( ) paia alguna ,
cnlonccs ( ), as ( ) ( ). Ioi lo lanlo
( ) =
l
[ [ [[.
Si cs un suLmooulo izquicioo oc , cnlonccs aplicanoo y lcncmos
quc
}
l
[ [
}
[
l
[ [[ = . Donoc la llima igualoao cs vlioa ya quc poi
hipolcsis cs la invcisa oc .
5n ( ) &n un]&nu n:.n|nn u:JnnJu. 1.nu j&:
1. nnr.nu n . n:n uJu n| j& , nun = .
2. nnju: n . n:n uJu .
5n &n nJ&|u ..j&.:Ju j &n &hnJ&|u :u.u
..j&.:Ju J |. 1.nu j& nnr.nu n , . nnr.nu n | n.Ju
J |n unn.n n
1
[ 0 ).
FroosIcIn 1.5.47. 5. &n nn.||u ;J..nu J| :..n|), nun unu
nJ&|u ..j&.:Ju .n nnr.nu.
DenostracIn. Como cs no liivial cs cquivalcnlc a quc 1 = 0. Sca
1
[ 0 )
la familia oc iocalcs izquicioos piopios oc y consiocicmos
(
1
[ 0 ) )
a la familia oiocnaoa con la inclusion, csla cumplc con sci un conjunlo paicial-
mcnlc oiocnaoo. Vcicmos quc (
1
[ 0 ) ) salisfacc con las hipolcsis ocl lcma oc
Zoin.
Supongamos quc

cs una caocna cn
1
[ 0 ), cnlonccs
I
I
cs un iocal
izquicioo oc .
Si
I
I
, cnlonccs
|
,

paia . Supongamos sin pcioioa
oc gcncialioao quc , cnlonccs

. Ioi lo lanlo

. Ahoia
I
I
lamLicn cs cciiaoa mulliplicacion poi ya quc caoa uno oc los

lo cs.

Ahoia 1
I
paia looa ya quc

, cnlonccs 1
I
I
. Como
I
I
cs una cola supciioi paia la caocna

concluimos quc (
1
[ 0 ) ) licnc
mximos.
Teorena 1.5.48. 5nn &n nJ&|u ..j&.:Ju, &n .Jn| h.|n:n| J n|
j& = 0. 1nun:
1.
1
J
&n nn.||u.
2. &n
1
J
-nJ&|u ..j&.:Ju.
DenostracIn. 1)
1
J
cs un anillo.
2) :
1
J
oaoo poi ( )
..
= .
= , cnlonccs . Daoo
quc = , cnlonccs paia cualquici sc cumplc quc ( ) = 0 oc
oonoc = . Ioi lo lanlo
5n ( ) &nn :.&|n un |nnu nnu: 0. 1.nu
j& &n &Juun|nnu J .:
1. = 0.
2. nnr.nu un n :u.JnJ ; J.: . r. n| j& = 0,
nun = ).
Teorena 1.5.50. 5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:Ju
J . 1nun r. &n &hnJ&|u ..j&.:Ju J n| j& &Ju-
un|nnu J .
DenostracIn. Sca = cs un suLmooulo oc y = 0 .
1cncmos quc ( ) cs un conjunlo paicialmcnlc oiocnaoo.
Sca
I
IJ
una caocna cn . Dcmosliaicmos quc
IJ
I
cs una cola paia
I
IJ
. Si
IJ
I
, cnlonccs y

paia algn

IJ
I
.
Como

, cnlonccs = 0, lucgo = 0
1
y as
I
IJ
csl acolaoa
supciioimcnlc cn .
Ahoia poi cl lcma oc Zoin, licnc mximos. 1omamos uno oc cllos y csc cs
FroosIcIn 1.5.51. 5n &n nn.||u .u unu nJ&|u ..j&.:Ju &n
&hnJ&|u ..j&.:Ju J . 1nun &n &nnnJu J.:u J . j |u .
= n:n n|j4n n| j& = .
DenostracIn. ) Supongamos cs un sumanoo oiicclo oc (cs occii cxislc
un suLmooulo izquicioo oc lal quc = ). 1cncmos paia cl clcmcnlo
iocnlioao (cs occii cl nculio mulliplicalivo) quc 1 = . Sca , cnlonccs
= 1 = ( ) = . Con lo cual = oc oonoc = 0 .

Ioi lo lanlo = quc cs lo quc quciamos ocmosliai.
) Supongamos ahoia quc = . Lnlonccs con = Dcmosliaic-
mos quc = (1 ).
SaLcmos quc 1 = (1 ), con lo cual lcncmos = (1 ).
(1 ) = 0 . Sca (1 ).
Como , cnlonccs = . Ioi olio laoo oaoo quc (1 ) cnlonccs
= (1 ).
As = (1 ), mulliplicanoo poi la ociccha a amLos laoos oc la igualoao
lcncmos quc
(1 )
( )
0
Ioi lo lanlo (1 ) = 0 .

"Tesis" - 2012/5/9 - 8:44 - page 36 - #44 "Tesis" - 2012/5/9 - 8:44 - page 36 - #44
CAPITULO 2
Iibros y royocfivos
2.1. ^duIos IIIros
5nn &n nJ&|u ..j&.:Ju j . 1.nu j&
|.h: un hn .:
5. &n nJ&|u ..j&.:Ju j : &nn &n.n J n ,
r. &n 4n.u : n| j& | .j&.n J.nj:nnn
unn&n.u:
I
!}
Teorena 2.1.2. 5nn &n nn.||u j

()
= : ( ) .
()
|.h: un hn .
DenostracIn. A caoa lc asociamos la funcion
a
: oaoa poi:
a
( ) =
1 si =
0 si =
Supongamos aocms quc cxislc una funcion : .
87
8S 2. ÔDiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

Si
()
, cnlonccs =
aso( )
( )
a
. Visla oc csla mancia poocmos
:
()
oaoa poi
aso( )
( )
a
=
aso( )
( ) ( )
as lcncmos quc cs
5nn &n nJ&|u ..j&.:Ju j . 1.nu j&
&nn hn J .:
1. =
2. .nJnJ.n ; J.: .
aJ
a
= 0, nun
a
= 0).
Teorena 2.1.4. 5nn &n nJ&|u ..j&.:Ju j . 5. &nn hn J
, nun |.h: un hn .
DenostracIn. Ioi hipolcsis lcncmos la funcion inclusion : .
Suponcmos aocms quc cxislc una funcion : . Qucicmos vci quc cxislc
lal quc cl siguicnlc oiagiama conmula:
I
}
!}
Si , cnlonccs =
l l

n n
con
I
y
I
oaoa poi: ( ) =
l
(
l
)
n
(
n
)
FroosIcIn 2.1.5. 0 |.h: un hn
DenostracIn. Sca : 0 y supongamos cxislc

: .
0 : 0 cl cual cumplc con sci nico.
FroosIcIn 2.1.6. 5n &n nn.||u .u unu &n nJ&|u ..j&.:Ju. 1nun
|.h: un hn 1 .
DenostracIn. Consiocicmos la funcion inclusion : 1 y supongamos
: 1 .
: . Como qucicmos quc sca un
(1) = (1), con lo cual
( ) = (1) = (1)
Ioi lo lanlo cs
2.2. ^.s sorir sicrsioNrs rx.c+.s 89

2.2. ^s soIro sucosIonos oxuctus
5nn : nJ&|u ..j&.:Ju, Ju
: , : j |n .. 0
}
r
0. 1nun:
1. 1.nu j& |n &.n .nJ u: |n ..j&.:Jn . r. : &n
=
.
.
2. 1n &.n .nJ u: |n J:|n . r. : &n
n| j& =
C
.
. 1n &.n .nJ . .nJ u: |n ..j&.:Jn j .nJ u: |n
J:|n.
Teorena 2.2.2. 5n 0
}
r
0 &nn &.n rnn u:n.
1. 1r. : n| j& =
.
2. 1r. : n| j& =
C
. = ( ) n:n n|j4n &hnJ&|u J n| j&
1
: &n
DenostracIn. 1) 8) Ioi hipolcsis lcncmos 0
}
u
. Dcmosliaicmos
quc = ( ) ( ). Sca .
Lnlonccs
u
( )
}
( ( ))
u
( ( ( ))) = ( )
1cncmos quc
( ( ( )) ) = ( ( ( ))) ( ) = 0
con lo cual
( ( )) ( )
As
( ) ( ( )) ( ) ( )
y con cllo ( ) ( ).
La olia conlcncion cs inmcoiala ya quc
( ) y ( )
con lo quc ( ) ( ) . Ioi lo lanlo = ( ) ( ).
Vcamos quc la suma cs oiiccla. Sca ( ) ( ), cnlonccs = ( )
paia algn . 1cncmos quc
0 = ( ) = ( ( )) =
40 2. ÔDiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

poi lo quc = 0 y con cllo = ( ) = (0) = 0.
Lnlonccs = 0 y as ( ) ( ) = 0. Ioi lo lanlo = ( ) ( ).
Ahoia vcamos quc
Jc:(u)
: ( ) cs un Liycccion. 1cncmos quc
= ( ) = ( ( ) ( )) = 0 ( ( )). Lnlonccs ( ( )) = , con
Ioi olio laoo
Jc:(u)
= ( ) ( ) = ( ) ( ) = 0, con
lo quc cs inyccliva. Ioi lo lanlo cs Liyccliva y as lcncmos cl icsullaoo.
8) 2) Consiocicmos la succsion cxacla
0
}
( )

0
Dcmosliaicmos quc cxislc
: ( )
lal quc =
C
.
Consiocicmos
l
1
: la invcisa oc la icsliiccion oc a y cl
: ( ) . Sca =
l
1
la composicion oc
cslas oos funcioncs. Vcamos quc =
C
.
Sca . 1cncmos quc
( ) = ( ( ))
= (
l
( ))
= ( (
l
)( ))
= ( (
l
( ))
= (
l
( ))
=
Ioi lo lanlo lcncmos cl icsullaoo.
2) 1) Sca 0
}

u
0 lal quc =
C
.
Dcmosliaicmos quc = ( ) ( ). Sca . Lnlonccs
( )
u
( ( ))

( ( ( ))) = ( )
1cncmos
( ( ( )) ) = ( ( ( ))) ( ) = 0
cnlonccs
( ( )) ( )
Con lo cual
( ( )) ( )
Como la succsion cs cxacla lcncmos quc
( ) = ( ) y ( ( )) ( )
2.3. ÔDiios iN.rc+ivos . iio.rc+ivos 41

Lnlonccs ( ) ( ). Ioi lo lanlo = ( ) ( ).
Ahoia vcamos quc cs oiiccla. Sca ( ) ( ). 1cncmos quc
( ) = = ( )
paia algunos , cnlonccs ( ) = 0 ya quc ( ) y poi hipolcsis
la succsion cs cxacla.
Ioi lo lanlo ( ( )) = 0 y cn cfcclo = ( ) ( )
siguicnlc funcion : ( ) ( ) oaoa poi ( ) = ( ( ) ( )) = .
2.3. ^duIos InyoctIvos y royoctIvos
5n &n nJ&|u ..j&.:Ju. 1.nu j& :uj.u
. | &nu:
1
( ) rnu.
l
5n &n nJ&|u ..j&.:Ju. 1.nu j& .nj.u .
| &nu:
1
( ) rnu.
Teorena 2.3.3. 5n &n
j&.n|n:
1. :uj.u.
2. JuJn &.n rnn u:n 0
}
0 .nJ.
. &n &nnnJu J.:u J &n nJ&|u |.h: ; J.: &n &nnnJu
J.:u J
()
n:n n|j4n ).
. : n| j&:
}
0 0
: n| j& | .j&.n J.nj:nnn unn&n.u:
}
}
0 0

DenostracIn. 1) 4) Supongamos quc cs pioycclivo y consiociamos cl
siguicnlc oiagiama:
}
0 0
Consiocicmos la siguicnlc s.c.c 0 0, poi hipolcsis lcncmos
quc
0 ( )
( )
( ) 0
cs cxacla. Ioi lo quc ( ) lal quc
= . Ioi lo lanlo ( ).
4) 1) Sca 0 0 una s.c.c. y consiocicmos
0 ( )
( )
( ) 0
Ncccsilamos vci la cxacliluo cn ( ). Si ( ), cnlonccs cxislc
( ) lal quc cl siguicnlc oiagiama cs conmulalivo:
}
}
Ioi lo lanlo = , con lo cual ( ) cs cxaclo.

Ioi lo lanlo cs pioycclivo.
2) 8) Consiocicmos una succsion cxacla 0
0, con
un mooulo liLic. Ioi hipolcsis la succsion sc cscinoc, con lo cual cs isomoifo
a un sumanoo oiicclo oc un mooulo liLic.
4) 2) Consiocicmos cl siguicnlc oiagiama:
lT
|
0
}

0
Ioi hipolcsis cxislc : lal quc = 1
1
. Ioi lo lanlo la succsion sc
cscinoc y sc licnc la implicacion.
8) 1) Iaia ocmosliai csla implicacion, vcicmos quc ) 1ooo mooulo liLic
cs pioycclivo y ) un sumanoo oiicclo oc un pioycclivo cs pioycclivo, lo cual nos
oai cl icsullaoo.

Scan 0
}
0 una s.c.c., un mooulo liLic y :
lal quc cl siguicnlc oiagiama conmula:
|
|
0
}
0
Dcmoslicmos ). Sca una Lasc oc . Consiocicmos ahoia cl oiagiama:
|
|
: , paia caoa cscogcmos un clcmcnlo cn

l
( ( ( )))
y lo llamamos ( ) ( ( )) = ( ( )) y as = . Ioi la
piopicoao oc las Lascs cxislc : lal quc = . Lucgo
= =
Ioi la unicioao cn la piopicoao oc las Lascs lcncmos quc = . Ioi lo
lanlo cs pioycclivo.
Dcmoslicmos ). Sca un mooulo izquicioo pioycclivo lal quc =
l 2
.
Qucicmos vci quc
l
cs pioycclivo. Scan :
l
, :
y cl siguicnlc oiagiama:
=
l 2
l
|
I
0
Lxislc : lal quc =
l
. Dcmosliaicmos quc = .
1cncmos quc =
l
. Ioi lo lanlo
l
=
l l
= , oonoc la llima
igualoao cs vlioa ya quc
l l
= 1
1
.
FroosIcIn 2.3.4. 5n
I
IJ
&nn nn.|.n J nJ&|u ..j&.:Ju. 1n .-
1.
IJ
I
:uj.u.

2.
I
:uj.u n:n uJn .
DenostracIn. 1) 2) 1cncmos quc
IJ
I
cs sumanoo oiicclo oc , con
un mooulo liLic, cnlonccs cxislcn las siguicnlcs inclusioncs
I
IJ
I
y
amLas inclusioncs sc cscinocn.
Ioi lo lanlo
I
cs un sumanoo oiicclo oc . Ioi lo lanlo
I
cs pioycclivo.
2) 1) Iaia caoa cxislc
I
liLic lal quc
I
cs sumanoo oiicclo oc
I
.
Ioi lo lanlo
IJ
I
cs sumanoo oiicclo oc
IJ
I
, la cual cs liLic.
2.3.1. ^duIos dIvIsIIIos
5n &n Z nJ&|u ..j&.:Ju. 1.nu j& J...h| .
= n:n uJn N 0 .
Lena 2.3.6. Cu.n J nJ&|u J...h| J...h|.
DenostracIn. Scan un mooulo izquicioo, :
y 0. Lnlonccs = ( ) = ( ) = ( ) = con lo cual lcncmos quc
paia looo 0 sc cumplc = , as lcncmos quc cocicnlc oc oivisiLlcs cs
oivisiLlc.
Teorena 2.3.7. 5n &n Z nJ&|u ..j&.:Ju. 1n .j&.n unJ..un un
j&.n|n:
1. J...h|.
2. = n:n uJu :.nu.
. nu .n &hnJ&|u nnr.nu.
DenostracIn. 1) 2) Ioi hipolcsis sc cumplc quc = paia looo
N 0 , cn pailiculai paia looo piimo.
2) 1) Supongamos = con piimo. Sca N 0 cl cual poi
cl lcoicma funoamcnlal oc la aiilmclica saLcmos quc =

l
2
!
|
su
ocscomposicion cn piimos. Ioi lo anlciioi lcncmos quc
= (

l
2
!
|
) =

l
2
!
|
|
=

l
2
!
|
Hacicnoo cslc pioccso inouclivamcnlc lcncmos quc
2
!
|
=
con lo quc lcncmos cl icsullaoo.
1) 8) 1cncmos poi cl lcma 2.8.0 quc cocicnlc oc oivisiLlcs cs oivisiLlc. Ahoia
Licn si cs oivisiLlc y cs un Z mooulo mximo oc , cnlonccs
1
1
cs simplc y
aocms oivisiLlc. Ioi olio laoo si cs un Z mooulo izquicioo, cnlonccs = Z
.
Ioi lo anlciioi lcncmos quc = = Z
= 0.

8) 1) Supongamos quc no licnc Z suLmooulos mximos y quc no cs
oivisiLlc, cs occii cxislc un nmcio piimo lal quc = . 1cncmos quc
cs un Z suLmooulo piopio oc .
Consiocicmos :
1
1
y nolcmos quc (
1
1
) = . Ulilizanoo cl 1coicma
1..48 lcncmos quc
1
1
vislo como Z
mooulo cs isomoifo a Z
( )
paia algn .
Ahoia poi cl lcoicma oc la coiicsponocncia las iclculas [ [ y [0
1
1
[ son
isomoifas y csl llima cs isomoifa a [0 Z
( )
[.
Como Z
( )
cs un Z cspacio vccloiial. licnc mximo. Lo quc implica quc
1
1
licnc un suLmooulo mximo
J
1
. Dc oonoc cs mximo cn . Quc cs conliaoic-
cion. Ioi lo lanlo = .
E]enIo 2.3.8. J...h|.
E]enIo 2.3.9.

J...h|.
Teorena 2.3.10. 5n &n j:&u nh|.nnu .u unu Z nJ&|u. 1n .j&.n
1. &n Z nJ&|u .nj.u.
2. &n Z nJ&|u J...h|.
. 1n:n uJu Z : Z : Z n| j&
| .j&.n J.nj:nnn unn&n.u:
Z
|
Z
a=|
1unJ , J.: n&|.|.n: u: n|j4n |nnu J .

I
IJ
&nn nn.|.n J Z nJ&|u J...h|. 1nun
IJ
I
J...h|.
DenostracIn. Si
IJ
I
, cnlonccs :
IJ
I
lal quc ( )
I
y
( ) = 0 paia casi looa . Dcmosliaicmos quc paia looo piimo sc licnc quc
= , paia alguna
IJ
I
.
Iaia caoa lcncmos quc ( )
I
. Daoo quc ( ) =
I
, cnlonccs
como siguc:
( ) =
I
si ( )
0 si ( )
. Ioi lo lanlo
IJ
I
y sc licnc cl icsullaoo.
FroosIcIn 2.3.12. 5n &n j:&u nh|.nnu .u unu Z nJ&|u ..j&.:Ju.
1nun un.n &n &hj:&u J...h| nnju: n| j& = j nu
.n &hj:&u J...h|.

DenostracIn. Consiocicmos cl copioouclo
I
cs suLgiupo oc y
I
cs oivisiLlc
IJ
cl cual cs oivisiLlc poi la pioposicion 2.8.11.
Consiocicmos la funcion
IJ
I
IJ
I
oaoa poi
Iso(})
( ). Lsla fun-
cion cs soLicyccliva ya quc paia
IJ
I
, cnlonccs
I
paia algn .
Ulilizanoo la funcion oclla oc Kioncckci quc saLcmos csl cn
IJ
I
lcncmos quc
a
I
I
. Con lo cual
IJ
I
cs oivisiLlc.
Ahoia =
I I
cs Z suLmooulo izquicioo oc
IJ
cs un Z suLmo-
oulo izquicioo oc
Consiocicmos la succsion cxacla 0
1
1
0, como cs
inycclivo poi cl lcoicma 2.8.10 la succsion cxacla sc cscinoc, con lo cual cs un
sumanoo oiicclo y sc licnc cl icsullaoo.
Teorena 2.3.13. JuJu j:&u nh|.nnu &n:j n &n j:&u J...h|.
DenostracIn. Scan un giupo y 0 . Consiocicmos Z cl
suLgiupo cclico gcnciaoo poi cn . Ahoia Licn si
Z cs liLic con lo quc la asignacion 1 con 1
a
: Z
a
Si licnc oiocn con N, cnlonccs Z cs isomoifo a Z y as cxislc un

a
: Z
a
Z
Z
Ahoia Licn, como y

son oivisiLlcs cxislc:

Si
a
:
oaoa poi
a
( ) = 1
Si cs oc oiocn con N
a
:
Z
oaoa poi
a
( ) =
l
n
Z

Consliuimos la siguicnlc funcion:
Y

Z
2
oaoa paia oc la siguicnlc mancia: ) =
Y,2
a
Donoc cs lal quc = y cs lal
quc = cs oc oiocn con N .
2.3.2. ContInuacIn do nduIos royoctIvos
Teorena 2.3.14. ;1nn J 1n:) 5nn &n nn.||u j &n nJ&|u ..j&.:Ju.
1. .nj.u.
2. 1n:n uJu .Jn| ..j&.:Ju J j uJn &n.n : n| j&
0
I
}
r. &nn &n.n : n| j& | .j&.n J.nj:nnn unn&n.u:
0
}
I
DenostracIn. 1) 2) Ls claio.
2) 1) Consiocicmos un mooulo izquicioo, un suLmooulo izquici-
oo oc y : , qucicmos vci quc .
Consiocicmos
= (

) cs suLmooulo oc , cs suLmooulo oc ,

:
y
.
=
oc lal mancia quc:
}
I
}
o
4S 2. ÔDiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

Ln (

) (
Y
) si y solo si cs suLmo-
oulo oc y
Y
=

, cs occii
Y
cxlicnoc a

( )
cs un conjunlo paicialmcnlc oiocnaoo.
Sca = (
I S
1
)
IJ
una caocna cn (
S
), oonoc =
IJ
I
y
S
=
IJ
S1
. Ls occii
s
( ) =
s1
( ) si
I
.
(
S
) cs una cola oc cn . Ioi lo anlciioi ( ) cumplc con las hipolcsis
ocl Lcma oc Zoin, as quc cxislc ( ) un clcmcnlo mximo cn . Solo nos falla
= paia lciminai la ocmosliacion.
licnc quc sci cscncial cn pucs 0 : cxlicnoc a , si cs
un suLmooulo oc y =
u
. Ioi conliaoiccion, supongamos cs un
suLmooulo piopio oc . Sca y consiocicmos = ,
quc cs un iocal ociccho no ccio oc : lal quc ( ) = ( ).
Ioi hipolcsis cxislc : lal quc cxlicnoc a .
: poi
( ) = ( ) ( )
oonoc y . Vcamos quc cs una funcion.
Si =
con
lalcs quc =
,
lcncmos quc

= (

) , cs un clcmcnlo oc , oc oonoc

.
Aplicanoo la funcion lcncmos quc
(
) ( ) = (
) = ((
) ) = (
) = ( ) (
)
Dc oonoc lcncmos quc
( ) = ( ) ( ) = (
) (
) = (
)
Ioi lo lanlo cxlicnoc a , lo quc cs una conliaoiccion a la conoicion oc quc
( ) cs mximo cn . Ioi lo lanlo = y lcncmos cl icsullaoo.
Teorena 2.3.15. 5un j&.n|n n:n &n j:&u nh|.nnu ( 0):
1. J...h|.
2.

.nj.u.
DenostracIn. Ioocmos ulilizai cl lcma oc Laci y quc looo iocal oc Z cs oc
la foima Z.
1) 2) Si
Z
}
Z

con 0, cnlonccs 0 = ( )
( ) : Z
Z
}
Z
}(n)
ya quc:
( )
As poi cl lcma oc Laci cs inycclivo como Z mooulo izquicioo.
2) 1) Ioi ocmosliai quc cs un suLmooulo oc paia looo 0.
Sca y
Z
}
Z
Donoc ( ) = . Si cxlicnoc a , cnlonccs

= ( ) = ( ) = ( 1) = (1)
Ioi lo lanlo cs un suLmooulo oc .
FroosIcIn 2.3.16. 5n &n nn.||u. 5. &n j:&u J...h|
2
.u u-
nu Z nJ&|u ..j&.:Ju, nun
1
( ) .nj.u unu nJ&|u
..j&.:Ju.
DenostracIn. Ulilizaicmos cl Lcma oc Laci. Consiocicmos siguicnlc oia-
giama con un iocal izquicioo oc :
}
1
( )

1cncmos quc ( )( ) , cn pailiculai ( )(1) aocms cs oivisiLlc y poi cl
lcoicma picvio lcncmos quc cs inycclivo con lo cual cxislc h lal quc cl siguicnlc
oiagiama cs conmulalivo:
}( )(l)
|
cs aoiliva y ( ) = ( )(1) paia looa .

Qucicmos ocmosliai quc cl siguicnlc oiagiama cs conmulalivo:
}
1
1
( )
Sca la funcion inoucioa poi .
Dcmosliaicmos quc ( ) = ( ). Lnlonccs ( ) = ( ( )) = ( ( )) =
( ) = ( )(1), oonoc la llima igualoao cs vlioa poi la oLscivacion aiiiLa mcn-
cionaoa.
Ioi lo lanlo = ( ) y lcncmos cl icsullaoo.
FroosIcIn 2.3.17. 5n &n nJ&|u ..j&.:Ju n| j& = 0. 1nun
= .
DenostracIn. Laslai ocmosliai quc paia looo = 0 cxislc
:

con 0 = , paia quc cl siguicnlc oiagiama sca conmu-

lalivo:
Sca = 0, cnlonccs 0 = como Z mooulo ociccho. As cxislc

a
:

lal quc
a
= 0. Aplicamos ( ) : Z
cl cual cs cxaclo ya quc cs pioycclivo. 1cncmos
a
: ( )

.
Dcmosliaicmos quc
a
= 0 (
a
( )) 1 =
a
(1 ) =
a
( ) = 0.

Ioi lo lanlo sc licnc cl siguicnlc oiagiama:
( )
o ,=u
,=u
=
CoroIarIo 2.3.18. 5n &n nJ&|u ..j&.:Ju. 1n:n uJu un = 0
r.
a
:

n| j&
a
( ) = 0.
Teorena 2.3.19. 5n &n nJ&|u ..j&.:Ju. 1nun &J &n:j.:
n &n nJ&|u .nj.u.
j&.n|n:
1. &n nJ&|u .nj.u ; J.:, ( ) rnu).
2. JuJn &.n rnn 0
}
0 .nJ.
. 1n:n uJn &.n rnn 0
}
0
: n| j&:
0
|
0
: n| j& | .j&.n J.nj:nnn unn&n.u:
0
}
|
0
DenostracIn. 1) 8) Supongamos quc la siguicnlc succsion cs cxacla:
0
}
|
0
y consiocicmos la siguicnlc succsion:
0 ( )

( )
}
( ) 0

quc cs cxacla poi hipolcsis. Ln pailiculai cxislc lal quc ( ) ( ) = .
8) 1) Sca 0
}
0 una succsion cxacla y consiocicmos la
siguicnlc succsion:
0 ( )

( )
}
( ) 0
Ahoia si ( ), cnlonccs lcncmos cl siguicnlc oiagiama:
0
}
|
0
Con lo cual cxislc ( ) lal quc = , con lo cual cs
( ) cs cxaclo y as cs inycclivo.
8) 2) Scan 0
}
0 una succsion cxacla y 1
J
:
. Ioi hipolcsis cxislc : lal quc cl siguicnlc
0
}
lT
|
0
Dc oonoc = 1
J
, con lo quc la succsion sc cscinoc y sc licnc cl icsullaoo.
2) 1) Iaia csla implicacion ocmosliaicmos quc ) 1ooo mooulo sc sumcigc
3
,
y ) Un sumanoo oiicclo oc un mooulo inycclivo cs inycclivo.
) Qucoa ocmosliaoo cn cl lcoicma 2.8.10.
) Supongamos quc = con inycclivo. Usaicmos nucvamcnlc cl lcma
oc Laci.
Si
I
}
cnlonccs lcncmos
\ouso lu obsoivucin l.1.ll puiu ol foinino so sunoigo.


I
}
Donoc csl oaoa poi la inycclivioao oc . Consiocicmos ahoia :

la cscision oc (cslo ya quc cs sumanoo oiicclo oc )
Dcmoslicmos ahoia quc cl siguicnlc oiagiama cs conmulalivo:
I
}
1cncmos
= = 1
.
=
Consiocicmos la siguicnlc succsion cxacla coila:
0
Q
J
0
Ioi hipolcsis la succsion sc cscinoc as cs sumanoo oiicclo oc y poi )
lcncmos quc cs inycclivo. Ioi lo lanlo lcncmos cl icsullaoo.
I
IJ
&nn nn.|.n J nJ&|u ..j&.:Ju. 1n-
un
IJ
I
.nj.u . j |u .
I
.nj.u n:n nJn .
DenostracIn. ) Consiocicmos 0
}
0 una succsion
cxacla coila y a :
I
. Daoo quc
IJ
I
cs inycclivo, cxislc :
IJ
I
lal quc =
I
poi lo lanlo
I
=
I I
= 1 = .

0
}
|
0
I
I1
IJ
I
1
1cncmos las siguicnlc igualoaocs =
I
y
I I
= 1
11
. Qucicmos
ocmosliai quc
I
= pcio =
I
, as
I
=
I I
= 1
11
= ,
con lo quc lcncmos cl icsullaoo.
) Consiocicmos 0
}
0 una s.c.c.y :
I
.
Como
I
cs inycclivo paia looa , cxislc
I
:
I
lal quc
I
=
I
.
Lnlonccs:
0
}
|
1
0
IJ
I
1
I
Consiocicmos a la familia oc
I
IJ
:
IJ
I
oaoa poi
( )
..
= (
I
( ))
IJ
sc cumplc quc
I
=
I
=
I
, pcio
I
=
I
=
I
, oonoc la piimcia igualoao cs vlioa ya quc poi
hipolcsis
I
cs inycclivo paia looa . Ioi lo lanlo = .
CAPITULO 8
divisibIos o inyocfivas
IIIros do torsIn
5n &n nJ&|u ..j&.:Ju. 1.nu j&
jn:nJu . r. ,
1
= .
FroosIcIn 3.1.2. 5n &n nJ&|u ..j&.:Ju. 1n .j&.n unJ..un
&n|n:
1. . j |u . | 4n.u &hnJ&|u J
j& un.n n .
2. : j ,
nun ( ) ( ).
DenostracIn. Sca un mooulo izquicioo.
1. Supongamos =
1
= cs suLmooulo oc
cnlonccs
cs suLmooulo oc =
6 3. ^.s +iios Dr :ODiios, c.isii.s Divisirirs r iN.rc+iv.s

Iaia la olia implicacion, oaoo quc cnlonccs . Como cs
un mooulo y poi hipolcsis cl nico mooulo quc conlicnc a cs ,
cnlonccs = .
2.
}(1)
: [ [
gcnciaoo poi . Supongamos quc cs un suLmooulo oc lal quc ( )
cs un suLmooulo oc . 1cncmos quc
l
[ [ [[
l
( )
Ioi 1)
l
[ [ = . Ioi lo lanlo
( ) [
l
[ [[ = [ [ =
cnlonccs cl nico oc los suLmooulos oc quc conlicnc a ( ) cs .
Al sci [ [ un suLmooulo oc , cnlonccs
l
[ [ [[ cs un suLmooulo
oc
l
[ [ y aocms
l
[ [ cs un suLmooulo oc . Ioi cl inciso 2 lcncmos
quc
l
[ [ = . Ioi lo lanlo
= [
l
[ [[ = [ [
CoroIarIo 3.1.3. 5. nu .n nnr.nu, nun
:nJu.
HecordatorIo 3.1.4. J...h| j u.n J J...h| J...h|.
CoroIarIo 3.1.5. .u unu Z nJ&|u ..j&.:Ju nu .n nnr.nu. 1u: |u
nnu
DenostracIn. Dcmosliaicmos quc no licnc mximos poi icouccion al
aLsuioo. Supongamos quc si licnc mximos.
Nolcmos quc Z
no cs oivisiLlc ya quc paia sc licnc quc Z
= 0 = Z
.
Ahoia Licn iccoiocmos quc un giupo con solamcnlc oos suLgiupos cs isomoifo
a algn Z
.
Si cs un suLmooulo mximo oc , cnlonccs

1
cs un mooulo con cxacla-
mcnlc oos suLgiupos con lo cual cs isomoifo a Z
. Conliaoicicnoo quc Z
no cs
oivisiLlc, pcio un cocicnlc oc s lo cs, con lo cual no licnc mximos.
5n &n j:&u nh|.nnu. 1.nu j& J u:.n . uJu
FroosIcIn 3.1.7. 5. &n j:&u nh|.nnu, nun
( ) = : ( )
&n &hj:&u J .
3.2. ÔDiios rsrNci.irs . :ODiios rsrNci.i:rN+r crii.Dos 7

5. &n j:&u, ( ) ||nnn | &hj:&u J u:.n J .
5.
( ) = ( ) =
n
n:n n|j4n N 0
unu |n n: :.nn:.n J .
Vcamos ahoia algunos icsullaoos oc lcoia oc giupos.
Teorena 3.1.10. 5n &n j:&u nh|.nnu J u:.n. 1nun |n &nn
J.:n J & n: :.nn:.n.
DenostracIn. Ioi ocmosliai =
jiIno
( ).
Sca 0 =

( )
j jiIno, ,=
(
j
( )) , cnlonccs ( ) =
n
paia algn
N.
Ioi olio laoo =
j

jr
, oonoc (
j1
) =
n1
I
, cnlonccs (
n1
l
nr
n
)
= 0, poi lo lanlo
n n1
l
n
r
n
, y cn consccucncia oivioc a
I
paia algn
, lo quc cs una conliaoiccion ya quc =
I
paia looa y
I
son piimos. Ioi lo
lanlo

( )
j jiIno, ,=
(
j
( )) = 0 .
Sca , cnlonccs ( ) =

l
!
|
, nomLicmos
I
=
o(a)
1
1
y nolamos quc
(
l
; ;
|
) = 1, cnlonccs cxislcn
l |
Z lalcs quc
l l

| |
= 1,
mullipliqucmos poi sc licnc quc = (
l l

| |
) =
l l

| |
.
Ahoia
(
I
) =
( )
I
=
( )
o(a)
1 1
=
1
I
con lo quc
I I
(
1
( )) =
1
I
y sc siguc cl icsullaoo.
E]enIo 3.1.11. Cunu

J u:.n, nun

=
,r1ro
.
Z
.
3.2. ^duIos osoncIuIos y nduIos osoncIuInonto
corrudos
5n &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:Ju
J . 1.nu j& n.n| n . n:n uJu &hnJ&|u ..j&.:Ju
J J..nu J 0, &n| j& = 0 ;u j&.n|nnn | 4n.u
&hnJ&|u ..j&.:Ju J n| j& = 0, = 0).
E]enIo 3.2.2. 2Z &n Z nJ&|u n.n| n Z jn j& 0 = 2 2Z Z .
= 0. 1n jn:n| nnu j& Z &n Z nJ&|u n.n| J Z, . = 0.
S 3. ^.s +iios Dr :ODiios, c.isii.s Divisirirs r iN.rc+iv.s

E]enIo 3.2.3. Z &n Z nJ&|u n.n| n jn j& n:n &n Z &hnJ&|u
J un 0 = nnu 0 =
o
b
n:n n|j&nu Z, nun
0 = =
o
b
Z , un |u j& Z = 0.
FroosIcIn 3.2.4. 5n &n nJ&|u ..j&.:Ju j &n &hnJ&|u J .
&n &hnJ&|u n.n| J . j |u . n:n uJu un 0 = ,
r. n| j& 0 = .
DenostracIn.
) Sca 0 = . 1cncmos quc 0 = , poi hipolcsis cs cscncial cn ,
poi lo lanlo 0 = , cs occii cxislc 0 = = .
) Supongamos ahoia 0 = . Si 0 = , cnlonccs cxislc lal quc
0 = . Ioi lo lanlo 0 = y lcncmos cl icsullaoo.
FroosIcIn 3.2.5. 5nn
.un un n|.Jn:
1. 5. &n &hnJ&|u n.n| J j &n &hnJ&|u n.n|
J , nun &n &hnJ&|u n.n| J .
2. 5. &n &hnJ&|u J , &n &hnJ&|u J j n &n
&hnJ&|u n.n| J , nun n &n &hnJ&|u n.n| J
j n &n &hnJ&|u n.n| J
DenostracIn. 1) Sca 0 = . SaLcmos quc cxislcn lalcs quc
0 = y 0 = ( ) = ( ) con lo quc oLlcncmos cl icsullaoo.
2)
5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u J .
1.nu j& n.n|nn ::nJu n . nJn . j& n.n| n
, &n &hnJ&|u J &n| j& =

.
FroosIcIn 3.2.7. 5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:-
Ju J . 5. &n &nnnJu J.:u J , nun n.n|nn ::nJu
n .
DenostracIn. Scan un mooulo izquicioo, , suLmooulos izquici-
oos oc lalcs quc = . Supongamos quc cxislc

un suLmooulo
izquicioo oc lal quc cs cscncial cn
. Succoc quc
( )
Ahoia Licn cs un suLmooulo oc

, ulilizanoo la piopicoao mooulai
lcncmos

( ) =

.
Dc lo anlciioi 0 =
. Como cs cscncial cn
, cnlonccs
= 0. Ioi lo lanlo =
.
3.3. C.isii.s Divisirirs 9

3.3. CsuIus dIvIsIIIos
5nn Z nJ&|u ..j&.:Ju j : &n nununu:-
n . 1.nu j& &nn n&|n J...h| .:
1. J...h|.
2. ( ) n.n| n .
E]enIo 3.3.2. 1n ]n|u J n&|n J...h| : Z
JnJn u:
(1) =
l
.
FroosIcIn 3.3.3. 5n &n Z nJ&|u ..j&.:Ju, J...h| j |.h: J u:.n.
1nun &n nJ&|u ..j&.:Ju j | .j&.n J.nj:nnn unn&n.u:
lT
Z
DenostracIn. Scan 0 y con = 0. 1cncmos quc cxislc
lal quc = y aocms csla cs nica ya quc si = =

, cnlonccs
= 0, al sci oivisiLlc y lcnci un pioouclo oc oos clcmcnlos igualaoo

a ccio, cnlonccs alguno oc los oos ocLc sci ccio. 1cncmos poi hipolcsis quc = 0
as quc
= 0; poi consiguicnlc =
. A la ocnolamos como
a
n
siguicnlc funcion : oaoa poi:
n
n
..
=
a
n
las piopicoaocs paia quc sca un mooulo izquicioo.
CoroIarIo 3.3.4. 5n &n Z nJ&|u ..j&.:Ju J...h| j |.h: J u:.n. 1n-
un .unu:u n
()
n:n n|j4n unu Z nJ&|u ..j&.:Ju.
FroosIcIn 3.3.5. 5n &n Z nJ&|u ..j&.:Ju. 5. J...h|, nun
( ) J...h|.
DenostracIn. Sca ( ). Si 0, cnlonccs = con . Ahoia
Licn 0 = ( ) = ( ( ) ) oonoc ( ) cs cl oiocn ocl clcmcnlo . As ( )
y cn consccucncia ( ) ( ) paia looo 0. Ioi lo lanlo ( ) = ( ) y
as ( ) cs oivisiLlc.
CoroIarIo 3.3.6. 5n &n Z nJ&|u ..j&.:Ju. 5. J...h|, nun =
( ) JunJ |.h: J u:.n.
5nn &n nJ&|u ..j&.:Ju j
I
IJ
&nn nn.|.n J
&h&hnJ&|u J . 1.nu j&
I
IJ
.nJnJ.n . n:n uJn
&n|
I
J\I]
= 0.

FroosIcIn 3.3.8. 5n &n nJ&|u ..j&.:Ju. JuJn nn.|.n .nJnJ.n
J &hnJ&|u J n unn.Jn n &nn nn.|.n .nJnJ.n nnr.nn.
DenostracIn. Sca =
I
IJ
I
cs inocpcnoicnlc
cl siguicnlc oiocn:
I
IJ
S

si
I

quc (
S
) cs un oiocn paicial.
Sca =
I
IJ J
una caocna cn
I
|
cs una cola
supciioi y csla cn .
Dcmosliaicmos quc cs inocpcnoicnlc. Supongamos quc no fucia inocpcnoicnlc,
cnlonccs cxisliia
I
lal quc
0 =
I
|\I]
= 0
Con lo quc
I !
no scia inocpcnoicnlc con
u
,
I l
, ,
| |
.
Daoo quc cs una caocna, cnlonccs
I ! | |JI
. Donoc
l
lo quc cs una conliaoiccion ya quc cs una caocna foimaoa poi familias
inocpcnoicnlcs.
FroosIcIn 3.3.9. 5. Z &n j:&u .|.u J u:Jn
n
, nun Z
&nn
n&|n J...h|.
DenostracIn. SaLcmos quc Z
cs un Z suLmooulo izquicioo oc

y con-
: Z Z
oaoo poi ( ) =
l
r
.
1cncmos quc ( ) =
n
r
. Icio
n
r
= 0 si = 0. Ioi lo lanlo (Z ) =
l
r
cs un Z suLmooulo izquicioo cscncial oc Z
y con cllo (Z
r) = Z
.
Teorena 3.3.10. 5n &n Z nJ&|u ..j&.:Ju. 5. J...h| j &n j:&u,
nun .unu:u n Z
()
n:n n|j4n un]&nu .

DenostracIn. Si = 0, cnlonccs cs isomoifo a Z
C
.
Si = 0, cnlonccs cxislc con = 0 lal quc ( ) =
n
con 0 (si
1 cnlonccs
n l
= ). Ioocmos sin pcioioa oc gcncialioao suponci quc
( ) = .
Lnlonccs lcncmos cl siguicnlc oiagiama:
Z
I
= |
Z
n
Z
oonoc
3.3. C.isii.s Divisirirs 61

I
|
1
l
Como cs oivisiLlc y : Z
lal quc cl siguicnlc oiagiama cs conmulalivo:

Z
I
= |
Z
n
Z
|
Vcamos quc cfcclivamcnlc 0 =
o
r
( ) con ( ) = 1.
Lnlonccs
n l o
r
( ), con lo quc
l
( ). Icio
1
= (1)
= ( ( ))
= ( ( ))
= ( )
con lo quc ( ) = 0, pcio = .
Dc oonoc ( ) = 0 as ax0 y con cllo oivioc a , lo quc cs una conliaoiccion.
Ioi lo lanlo
Dcmosliaicmos quc : Z
( ), cnlonccs
(
l
) = 0 pcio
(
1
) = ( ( )) =
Ioi lo lanlo oivioc a , con lo cual
l
= 0. As ( ) = 0.
Sca ( ) con = 0 y Z.
1cncmos 0 =
| n
. Ioi olio laoo 0, como cl oiagiama cs
conmulalivo lcncmos 0 = 0 lo cual cs una conliaoiccion.
Daoo quc Z
cs oivisiLlc, lcncmos quc (Z
) cs oivisiLlc. Ioi lo lanlo

(Z
) cs un sumanoo oiicclo oc , oc oonoc (Z
)
jiIno
cs un conjunlo
inocpcnoicnlc cn .
Sca
=
I
IJ
I
cs inocpcnoicnlc
I
cs Z suLmooulo oc y
I = Z

Supongamos quc
I
IJ
cs una familia inocpcnoicnlc mxima. Lnlonccs
IJ
I
cs un Z suLmooulo oc cl cual cs oivisiLlc y poi lo lanlo =
IJ
I
.
conlcnoia
algn Z
(lo quc scia una conliaoiccion a la conoicion mxima oc

I
IJ
).
FroosIcIn 3.3.11. 5n &n Z nJ&|u ..j&.:Ju. 5.
( ( ) ) = 1 un N 0 , nun J...h|.
DenostracIn. Como ( ( ) ) = 1 cxislcn Z lalcs quc ( ) =
1, poi lo lanlo = ( ) . Donoc la scgunoa pailc cs ccio y con cllo
sc oLlicnc cl icsullaoo.
FroosIcIn 3.3.12. 5.
,r1ro
Z
, nun
,r1ro
Z
=
,r1ro
Z
.
DenostracIn. 1cncmos quc
jiIno
Z
jiIno
Z
. Dcmosliaicmos quc
sc cumplc la igualoao, cs occii si
jiIno
Z
, cnlonccs
Sca lal quc ( ) Z
1
con ( ) = 0.
Si = 0, cnlonccs ( ) = 0, con lo quc
I
oivioc a . As
I
lo quc
ocuiic paia looa cn cl sopoilc oc
cs una conliaoiccion.
FroosIcIn 3.3.13. 5n &n j:&u .u unu Z nJ&|u ..j&.:Ju. 5.
nh|.nnu, nun
C
|(C)
u:.n).
DenostracIn. Sca ( )
C
|(C)
lal quc ( ). Si ( ) fucia oc
( ( )) = ( ) poi lo quc ( ). As cxislc 0
lal quc ( ) = ( ) = 0. Ioi lo lanlo ( ), lo quc cs una conliaoiccion a
la hipolcsis inicial.
FroosIcIn 3.3.14.

= J...h| j |.h: J u:.n.

DenostracIn. Iaia vci quc cs oivisiLlc, Laslai vci quc paia looo piimo,
sc cumplc quc = .
Sca
os jiIno
Z
. 1omamos un piimo , con , cnlonccs

= ( (1) (2) ( ) ( 1) )
= ( (1) (2) ( ) 0 0)
(0 0 (
l
) (
2
) )
Donoc

con

piimo paia looo .
3.d. SriDoco:iir:rN+os 68
Como looos cslos piimos son oislinlos oc , cnlonccs (

) =

licnc solucion
cn Z
:
(cl cual cs oivisiLlc y aocms

y son piimos oislinlos.
Hagamos:
= (0 0
l 2
)
Con lo quc = y aocms y son congiucnlcs mooulo
os jiIno
Z
.
Ioi lo lanlo
os jiIno
Z
=
os jiIno
Z
lo quc mucslia quc cs oivisiLlc.

3.d. SoudoconIonontos
5n &n nJ&|u ..j&.:Ju j Ju &hnJ&|u J
. 1.nu j& &Juun|nnu J .:
1. = 0.
2. nnr.nu un :u n 1.
FroosIcIn 3.4.2. 5n &n nJ&|u ..j&.:Ju j Ju &hnJ&|u
J . 5. &Juun|nnu J , nun = 0 j ( ) &n
&hnJ&|u n.n| J .
DenostracIn. Sca scuoocomplcmcnlo oc . SaLcmos quc ( ) cs un
suLmooulo oc . Ahoia si ( ) no fucia cscncial, cnlonccs cxisliia un
suLmooulo oc , 0 = lal quc ( ) = 0. Con lo anlciioi ( )
scia un suLmooulo oc , pcio ( ) = ( ). Icio cs un
suLmooulo piopio oc
scuoocomplcmcnlo oc . Ioi lo lanlo ( ) cs un suLmooulo cscncial oc
.
FroosIcIn 3.4.3. 5n &n nJ&|u ..j&.:Ju j &n &hnJ&|u J .
1. &Juun|nnu J n:n n|j4n &hnJ&|u J .
2. n.n|nn ::nJu n .
DenostracIn. 1) 2) Supongamos quc cs scuoocomplcmcnlo oc y
quc cxislc
un suLmooulo oc lal quc cs un suLmooulo piopio y

cscncial cn
. Si 0 =
, cnlonccs
cs un suLmooulo oc
. Daoo
quc cs cscncial cn
, cnlonccs 0 =
= 0 lo quc cs
una conliaoiccion. Lucgo cnlonccs ocLc sci quc 0 =
, lo quc lamLicn cs
conliaoicloiio. Ioi lo lanlo cs cscncialmcnlc cciiaoo cn .

2) 1) Supongamos quc cs cscncialmcnlc cciiaoo cn . Sca scuoocom-
plcmcnlo oc . Sca
lal quc cs scuoocomplcmcnlo oc con
. Dcmoslia-
icmos quc
cs
poi conliaoiccion. Si no fucia cscncial, cnlonccs cxisliia un

suLmooulo oc

con 0 = lal quc = 0 y ( ) cs un suLmooulo
oc

. 1cncmos quc ( ) = 0, con lo quc ( ) = ( ) =
( ), lo quc conliaoicc quc cs un scuoocomplcmcnlo oc . Ioi lo lanlo
cs un suLmooulo cscncial oc
. Como
, cnlonccs =
ya quc poi
hipolcsis cs cscncialmcnlc cciiaoo. Ioi lo lanlo cs scuoocomplcmcnlo oc .
FroosIcIn 3.4.4. 5n &n nJ&|u ..j&.:Ju. JuJu &hnJ&|u J
n unn.Ju n &n &hnJ&|u n.n|nn ::nJu.
DenostracIn. Sca scuoocomplcmcnlo oc y

un scuoocomplcmcnlo
oc lal quc conlcnga a . Lnlonccs cs un suLmooulo cscncial oc

y

cs cscncialmcnlc cciiaoo.
CoroIarIo 3.4.5. 5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:-
Ju. 1nun .n &n &Juun|nnu n .
FroosIcIn 3.4.6. 5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:-
Ju J . 5. &Juun|nnu J n , nun
. 1
1
&n &hnJ&|u
n.n| J
1
1
.
DenostracIn. Supongamos quc
. 1
1
C
1
=
1
1
as quc
(. 1)|C
1
=
1
1
.
Daoo quc cs un suLmooulo oc , cnlonccs poocmos aplicai la piopicoao
mooulai, as ( ) = ( ) . As = ( ) = 0. Como
cs scuoocomplcmcnlo, cnlonccs = y as
C
1
=
1
1
, con lo quc sc oLlicnc cl
icsullaoo.
Teorena 3.4.7. 5nn &n nJ&|u ..j&.:Ju .nj.u j &n &hnJ&|u
..j&.:Ju J
1. .nj.u.
2. &n &nnnJu J.:u J .
. n.n|nn ::nJu n .
DenostracIn. 1) 2) Sc licnc poi cl lcoicma 2.8.20.
2) 8) Lsla implicacion valc cn gcncial (vcasc pioposicion 8.2.7).
8) 2) Scan cscncialmcnlc cciiaoo cn y
oos suLmooulos izquici-

oos oc lalcs quc cs scuoocomplcmcnlo oc ,
cs scuoocomplcmcnlo oc
y cs suLmooulo oc
. Como cs cscncialmcnlc cciiaoo, cnlonccs =
,
con lo quc cs scuoocomplcmcnlo oc y cs scuoocomplcmcnlo oc .
1cncmos quc ( ) cs un suLmooulo oc y poi la pioposicion 8.4.6
lcncmos quc
(. 1)
1
J
1
pcio =
. 1
1
, aocms cs
un suLmooulo oc con lo quc lcncmos quc cl siguicnlc oiagiama conmulalivo:
3.5. C.isii.s iN.rc+iv.s 6

|
=
I
. 1
1 cs
|
J
1
Vcicmos quc
J
1
con y lal quc ( ) =
0. Daoo quc cs inclusion y
.1
1
cs cscncial cn
J
1
, cnlonccs cxislc lal quc
0 =
.1
1
, cnlonccs = con lo quc 0 = .
Ahoia 0 = ( ) = ( ) = lo quc cs una conliaoiccion. Ioi lo lanlo
( ) = 0 y as
Ahoia si nos icsliingimos a la imagcn oc nolamos quc
As
|
I
. 1
1 cs
|
J
1
(
T
1
)
J
1
I
Ioi olio laoo cs cscncialmcnlc cciiaoo y
J
1
cs cscncial cn
J
1
con lo
quc =
J
1
. As
.
= 1
.
y
J
1
=
. 1
1
. Como
. 1
1
cs cscncial cn
J
1
, cnlonccs = 0 y poi lo lanlo
. 1
1
=
J
1
. Con lo quc = .
Teorena 3.4.8. 5nn &n Z nJ&|u ..j&.:Ju j &n Z &hnJ&|u ..j&.:Ju
1. &n &nnnJu J.:u J .
2. n.n|nn ::nJu n .
. J...h|.
DenostracIn. Ioi cl lcoicma 2.8.10 lcncmos quc cs inycclivo si y solo si
cs oivisiLlc y poi cl lcoicma 8.4.7, lcncmos cl icsullaoo.
3.. CsuIus InyoctIvus
5nn Ju nJ&|u ..j&.:Ju j : &n
n . 1.nu j& &nn n&|n .nj.n J .:
1. ( ) n.n| n ).

2. .nj.u.
FroosIcIn 3.5.2. 5nn &n
: un .nj.u, nun .n &nn n&|n .nj.n.
DenostracIn. Sca una cxlcnsion cscncial mxima oc ( ) cn . As
cs isomoifo a ( ) cl cual cs un suLmooulo cscncial mximo oc , y cs un
sumanoo oiicclo oc pucs cs cscncialmcnlc cciiaoo.
Nolcmos quc cs inycclivo. Si consiociamos a
J
: la composicion
oaoa poi

( )
I
inycclivo y as lcncmos cl icsullaoo.
CoroIarIo 3.5.3. 5n &n nJ&|u ..j&.:Ju. 1nun .n &nn n&|n
.nj.n.
DenostracIn. Ls un coiolaiio ocl lcoicma 2.8.10.
FroosIcIn 3.5.4. 5n &n nJ&|u ..j&.:Ju. 1u n&|n .nj.n J
un .unu:n.
DenostracIn. Scan ( ), (
) oos cpsulas inycclivas. 1cncmos cl si-

guicnlc oiagiama:
Como
cs inycclivo y :
lal
quc = cs mono. Supongamos quc cxislc con = 0
lal quc ( ). Daoo quc = 0 y ( ) cs un suLmooulo cscncial oc
, cxislc 0 = ( ) y con cllo cxislc = 0 lal quc ( ) = 0. Daoo quc
0 = , cnlonccs ( ) = 0, pcio = , as ( ) = ( ( )) = 0.
Sin cmLaigo ( ) = ( ) = 0 lo cual cs una conliaoiccion. Ioi lo lanlo
( ) = 0 y
Ahoia consiocicmos
=
( )
I
. Daoo quc ( ) cs inycclivo, cnlonccs
( ) cs sumanoo oiicclo oc
, cs occii = ( ) con un suLmooulo

izquicioo oc
. Ioi olio laoo ( ) cs un suLmooulo oc ( ) y ( ) cs un

suLmooulo cscncial oc
, as lcncmos ( ) cs un suLmooulo cscncial oc
, cnlonccs = 0. Ioi lo lanlo ( ) =

y as =
.
3.6. HInduIos
5nn Ju nn.||u j &n j:&u nh|.nnu. 1.nu j&
1 S
&n h.nJ&|u .:
1. &n nJ&|u ..j&.:Ju,
3.7. ÔDiios si:iirs . :ODiios sr:isi:iirs 67

2. &n nJ&|u J:|u,
. 1n:n uJu , j &n| j& ( ) = ( ).
E]enIo 3.6.2. JuJu nJ&|u J:|u n |n . &n Z h.nJ&|u
un.J:nnJu n unu &n Z nJ&|u ..j&.:Ju.
E]enIo 3.6.3. 5n &n j:&u nh|.nnu. 5. un.J:nnu ( ) | nn.-
, nun &n ( ) Z h.nJ&|u unu
( ) nJ&|u ..j&.:Ju j Z
( )
..
= ( ).
Teorena 3.6.4. 5nn Ju nn.||u,
S 1
&n h.nJ&|u j &n nJ&|u
..j&.:Ju. 1nun
S
( ) &n nJ&|u ..j&.:Ju un |n .j&.n u:n.n:
( ) ( ) = ( ).
DenostracIn. Scan
l 2 S
( ),
l 2
y . Vcamos
quc cn cfcclo sc cumplc las conoicioncs paia quc sca un mooulo:
(1 ) ( ) = ( 1) = ( )
((
l 2
) ) ( ) = ( (
l 2
)) = ((
l
)
2
) =
2
(
l
) =
l
(
2
( ))
((
l

2
) ) ( ) = (
l

2
) =
l
( )
2
( )
(
l

2
) ( ) = (
l

2
) ( ) =
l
( )
2
( ).
OIservacIn 3.6.5. 5. &n j:&u J...h| .u unu &n Z nJ&|u ..j&.:-
Ju, nun

( ) &n nJ&|u ..j&.:Ju un.J:nnJu n| nn.||u
unu Z h.nJ&|u, n unu Z
( ) ( ) = ( ).
FroosIcIn 3.6.6. 5n &n nn.||u .u unu Z h.nJ&|u. 1nun
.nj.u unu nJ&|u ..j&.:Ju.

DenostracIn. Ls un coiolaiio oc la pioposicion 2.8.16
3.7. ^duIos sInIos y nduIos sonIsInIos
5n &n nJ&|u ..j&.:Ju. 1.nu j& .n| .
1
[ 0 [ = 0 j 0 = .
FroosIcIn 3.7.2. 5n &n &hnJ&|u J &n nJ&|u ..j&.:Ju.
nnr.nu . j |u .
1
I
.n|.
6S 3. ^.s +iios Dr :ODiios, c.isii.s Divisirirs r iN.rc+iv.s

DenostracIn. SaLcmos quc cxislc :
1
I
( ) =
iclculas [ [ [ 0
1
I
[. As quc cs un suLmooulo mximo oc si y solo
si [ [ = 2 si y solo si [ 0
1
I
[ = 2 si y solo si
1
I
cs simplc.
E]enIo 3.7.3. 5n &n :.nu. 1nun Z
.n|.
5n &n nJ&|u ..j&.:Ju. 1.nu j& n..n|
. uJu &n &hnJ&|u ..j&.:Ju J &n &nnnJu J.:u J .
E]enIo 3.7.5.
1. JuJu nJ&|u ..j&.:Ju .n| n..n|.
2. 0 n..n|.
. 5. &n nnu, nun &n|j&.: nJ&|u ..j&.:Ju n..n|.
Teorena 3.7.6. 1n |n J |u nJ&|u n..n| ::nJn hn]u unn: &h-
nJ&|u j hn]u u.n.
DenostracIn. Dcmosliaicmos quc cs cciiaoa Lajo suLmooulos.
Scan un mooulo izquicioo scmisimplc y un suLmooulo izquicioo oc
. Dcmosliaicmos quc cs scmisimplc. Sca un suLmooulo izquicioo oc
y consiocicmos la siguicnlc succsion
I I
. Como cs un suLmooulo
izquicioo oc y cs scmisimplc, cnlonccs cs sumanoo oiicclo oc . Lnlonccs
la succsion sc cscinoc oigamos quc (
2 l
) = 1
J
, cnlonccs (
2
)
l
= 1
J
.
Con lo quc
l
cs una cscision oc
2
. Ioi lo lanlo cs un sumanoo oiicclo oc
.
Dcmosliaicmos ahoia quc la clasc oc los mooulos scmisimplcs cs cciiaoa Lajo
cocicnlcs.
Scan oos mooulos izquicioos lalcs quc cs scmisimplc y :
a . Complclanoo a una succsion cxacla coila lcncmos
0 ( )
I
0. Como ( ) cs un suLmooulo izquicioo oc
y cs scmisimplc, cnlonccs ( ) cs un sumanoo oiicclo oc . Como la
succsion sc cscinoc poi la izquicioa, lamLicn sc cscinoc poi la ociccha, poi lo quc
cxislc : lal quc = 1
1
y as ( ) cs scmisimplc. Ioi cl icsullaoo
picvio y consiocianoo quc
=
( ), sc licnc quc cs scmisimplc.
CoroIarIo 3.7.7. 5nn Ju nJ&|u ..j&.:Ju j : &n .u-
n..n|, nun n..n|.
OIservacIn 3.7.8. 1n |n J |u nJ&|u n..n| n jn:n| nu ::nJn
hn]u :uJ&u, n. hn]u rn.un.
La succsion
0 2Z
d
Z
d
Z
d
2Z
d
0
oc giupos aLclianos, licnc los cxlicmos simplcs pcio Z
d
no cs scmisimplc pucs
sus suLmooulos foiman una caocna con lics clcmcnlos 0 2Z
d
Z
d
y 2Z
d
no cs un
sumanoo oiicclo oc Z
d
.
Ioi lo lanlo la clasc oc los scmisimplcs cn gcncial no cs cciiaoa Lajo cxlcnsioncs

5n &n unu
( )
..
= &hnJ&|u ..j&.:Ju J j .n| .
Ls inmcoialo quc ( ) cs un suLmooulo oc .
un j&.n|n:
1. n..n|.
2. = ( ).
. |n &nn J.:n J &nn nn.|.n J &hnJ&|u .n|, J.:
=
I I
&hnJ&|u ..j&.:Ju J j .n|
IJ
.
DenostracIn. 8) 2)
2) 1) Sca un suLmooulo izquicioo oc . Dcmosliaicmos quc cs
sumanoo oiicclo oc . Sca un scuoocomplcmcnlo oc cn , cnlonccs ( )
cs un suLmooulo cscncial oc . Sca un suLmooulo izquicioo simplc oc
.
1cncmos quc 0 = ( ) = con lo cual cs un suLmooulo
izquicioo oc paia looo suLmooulo izquicioo simplc oc . Como
= cs suLmooulo izquicioo oc y cs simplc . As
= . Ioi lo lanlo cs complcmcnlo oc .
1) 8) Supongamos = 0 y cs scmisimplc. Como = 0 cnlonccs
cxislc lal quc 0 = . Ahoia lcncmos y cxislc
cs scmisimplc lcncmos quc sc cscinoc, as sc
sumcigc cn con lo quc ( ) = 0.
Sca
I
IJ
una familia inocpcnoicnlc mxima oc suLmooulos simplcs oc .
Sca un scuoocomplcmcnlo oc
IJ
I
, cs occii =
IJ
I
. Si suponcmos quc
= 0, cnlonccs conlcnoia un simplc y as
I
IJ
scia inocpcnoicnlc,
lo quc conliaoiia a la conoicion mxima oc
I
IJ
. Ioi lo lanlo = 0 y
=
IJ
I
.
FroosIcIn 3.7.11. 5n &n nJ&|u ..j&.:Ju. 1nun
( ) = &hnuJ&|u ..j&.:Ju n.n| J
DenostracIn. ) Sca un mooulo izquicioo simplc y si cs un suL-
mooulo izquicioo cscncial oc , cnlonccs = 0, con lo quc = , as
. Ioi lanlo ( ) cs suLmooulo izquicioo cscncial oc .
) Ioi ocmosliai cs suLmooulo izquicioo cscncial oc = cs
scmisimplc. Sca un suLmooulo izquicioo oc y un scuoocomplcmcnlo oc
cn , lcncmos quc ( ) cs un suLmooulo cscncial oc , as lcncmos la
siguicnlc succsion .
Ulilizanoo la piopicoao mooulai lcncmos = ( ) = ( ). Ioi
lo lanlo cs un sumanoo oiicclo oc .

FroosIcIn 3.7.12. 5n &n nJ&|u ..j&.:Ju. 5. .n|, nun
1
( ) =
1
( ) &n nn.||u un J...n.
DenostracIn. Sca : un = 0. 1cncmos quc
( ) = 0 con lo cual ( ) = y cs soLic.
As
Teorena 3.7.13. 5n
1. .u unu nJ&|u ..j&.:Ju n..n|.
2. JuJu nJ&|u ..j&.:Ju n..n|.
. JuJu nJ&|u ..j&.:Ju .nj.u.
. JuJu nJ&|u ..j&.:Ju :uj.u.
. JuJn &.n rnn 0 0 .nJ.
. JuJu &hnJ&|u J &n nJ&|u ..j&.:Ju n.n|nn -
::nJu n .
DenostracIn. 1) 2) Scan un mooulo izquicioo y
()
un
()
cs scmisimplc pucs la suma oiiccla oc scmisimplcs
cs scmisimplc. Ioi lo lanlo cs scmisimplc ya quc cs un cocicnlc oc un scmisimplc.
2) 8) Scan un mooulo izquicioo y : ( ) una cpsula
inyccliva. Ioi hipolcsis ( ) cs scmisimplc, con lo quc cs sumanoo oiicclo oc
( ). As ( ) = . Como cs un suLmooulo cscncial oc ( ) y
= 0, cnlonccs = 0. Ioi lo lanlo = ( ) y as cs inycclivo.
8) 6) Scan mooulos izquicioos lalcs quc cs un suLmooulo
oc . 1cncmos . Como cs inycclivo, cnlonccs cs sumanoo oiicclo
oc . Ioi lo lanlo cs cscncialmcnlc cciiaoo cn . (Vcasc pioposicion 8.2.7).
6) 4) Dcmosliaicmos quc cs pioycclivo.
4) ) Sca una succsion cxacla 0 0. Como cs
pioycclivo, cnlonccs sc cscinoc.
) 1) Sca cs un iocal izquicioo oc . Como 0
1
J
0 sc
cscinoc, cnlonccs cs un sumanoo oiicclo oc .
FroosIcIn 3.7.14. 5. nnu | .j&.n J.nj:nnn:
n
|=l
|
T
n
l=l
l
I
I1
T1
T I1=T1
JunJ
I
,

un :.nnn |n .n|&.n j |n :uj.n nnn.n, nun
|n &n.n
1
(
n
)
n n
( ( )) JnJn u: ) = [
I,
[
l I, n


DenostracIn. Dcmoslicmos piimcio quc cs aoiliva. Si :
n n
,
cnlonccs
) = [ [
I,
= [
I
( )

[
= [
I

I
[
= [
I
[ [
I
[
)
Dcmoslicmos quc cs inyccliva.
Si
) =
0 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0
cnlonccs
I
= 0 : paia looo y paia looo .
Fijcmos , cnlonccs (
I
)

= 0 :
n
paia looa . Ioi la piopicoao
univcisal oc la suma oiiccla lcncmos quc
I
= 0 :
n
, pucs lamLicn sc
licnc quc 0

= 0 : paia looa .
Dc oonoc lcncmos quc
I
= 0 Iaia looa 1 , as quc poi la
piopicoao univcisal ocl pioouclo lcncmos quc = 0 :
n n
. Ioi lo lanlo
0 . Ioi lo lanlo cs inyccliva.
Dcmoslicmos ahoia quc
usaicmos quc
1
r =
n
|=l
| |
:
n n
cnlonccs ) = [( )
I,
[
( )
I,
=
I
( )

Ahoia
I
( )

=
I
(
1
r )

=
I
n
|=l
| |
=
n
|=l
(
I |
) (
|
)
))
I,

Ioi lo lanlo ) y con cslo lcncmos quc cs mulliplicaliva.
1
r = [
I
1
1
r
|
[ = [
I,|
[ pucs
I,|
=
I |
:
As lcncmos quc
Ahoia ocmoslicmos quc cs supiayccliva. Supongamos
[
I,
[
n n
( ( ))
.
Fijcmos , cnlonccs la familia
I,
:
n
=l
I
:
n
lal quc cl siguicnlc oiagiama cs conmulalivo:
}
1
}1
poi la piopicoao univcisal ocl pioouclo.

Ahoia la familia
I
n
I=l
:
n n
lal quc cl siguicnlc
n
}
n
I
}1
Lnlonccs
n
}
n
}1
I
}1
conmula paia looa y paia looa .

Ioi lo lanlo ) = [
I,
[.
Ioi lo lanlo
CoroIarIo 3.7.15. 5. &n nJ&|u ..j&.:Ju .n|, nun
(
n n
) = n n
(
1
( )), JunJ
n n
(
1
( )) &n nn.||u un J.-
..n.
Teorena 3.7.16. 5n

1. n..n|.
2. = n
(
l
)
n
!
(
|
), JunJ
I
&n nn.||u un J...n n:n
uJn .
DenostracIn. 1) 2) Sca scmisimplc, cnlonccs =
n
I=l
I
, con
I
simplc
paia looa 1 . Ioi cl coiolaiio anlciioi, lcncmos
= (
ll l|
) (
2l 2|
)
oonoc los agiupamos con la siguicnlc conoicion
I = l|
si y solo si = ,
ahoia lcncmos (
ll l|
) =
l
, (
2l 2|
) =
2
, con lo quc =
l |
.
= ( ) =
I,
(
I
) =
I
(
I I
)
Ahoia, lcncmos la siguicnlc asociacion paia
I
: (
s,|
), oonoc
s,|
=
s |
ya quc:
I
It
s
I,|
st
I,s
Lscogcmos
I,l
t
=
I,|
lal quc
I,|
st
t
I,s
s
I,l
s
st t
I,l
Con lo cual
I
s s,| |
, oonoc

s s,| |
(
I,l
) =
I
.
Ioi lo lanlo =
I
n1
(
I
).
2) 1) Iiimcio haccmos una oLscivacion anlcs oc ocmosliai csla impli-
cacion. Ln gcncial lcncmos quc =
l n
, ocmosliaicmos quc, cn gcncial
= l n
Vcamos quc
l 2 = l 2
, y ulilizanoo inouccion
oLlcnoicmos cl icsullaoo.

Sca un
l 2
mooulo. 1cncmos las siguicnlcs funcioncs asociaoas:
1 1
((1 0) (0 1) ) y (
1 l 1 2
)
1
(
l 2
) csla ulli-
ma vlioa ya quc = =
l 2
= (1 0) (0 1) . As, s cs un
mooulo izquicioo, cnlonccs (1 0) cs un
l
mooulo con cl siguicnlc moi-
:
l
(1 0) (1 0) la funcion oaoa poi
l
((1 0) ) =(
l
0) .
mooulos : , cnlonccs la funcion icsliingioa a
caoa cooiocnaoa Laslai paia complclai la asociacion cnlic las calcgoias, como
sc ocmucslia cn cl oiagiama:
1
}
((1 0) (0 1) )
(}
f
,}
f)
1
((1 0) (0 1) )
Ahoia Laslai vci quc paia looo N y si cs un anillo con oivision, cnlonccs
n
( ) cs scmisimplc. Sca N y
n
( ). Lnlonccs
fr T
T
T
T
T
T
T
.
0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0
cs un iocal simplc oc
n
( ).
Sca
n
( ), cnlonccs
0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0
=
0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0
con
. Ioi lo lanlo
0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0
cs un iocal izquicioo oc
n
( ).
CoroIarIo 3.7.17. 5n &n nn.||u. n..n| unu nJ&|u ..j&.:Ju
. j |u . n..n| unu nJ&|u J:|u.
DenostracIn. Quc = n
(
l
)
n
!
(
|
) cs una conoicion quc no
licnc lalcialioao.
CAPITULO 1
d.1. ArtInIunos y notorIunos
5nn &n nn.||u j &n nJ&|u ..j&.:Ju. 1.nu j&
&n| un |n unJ..n J nJnn nnJn n &hnJ&|u, ;n nh:.n&:n
C.C..) .:
1.
nn,
2. 1n:n uJn nJnn nnJn J &hnJ&|u J ,
l 2 3
|
r. &n N n| j& n.unn, J.:
I
=
|
n:n uJn
.
5n &n nJ&|u ..j&.:Ju. 1.nu j& J Au|:
;u n:.nnu) . &n| C.C..
5n &n nn.||u j &n nJ&|u ..j&.:Ju. 1.nu j&
&n| un |n unJ..n J nJnn JnJn n &hnJ&|u, ;n nh:.n&:n
C.C.1.) .:
1.
nn,
7
76 d. ÔDiios .i+iNi.Nos, Nr+rii.Nos . siiririios

2. 1n:n uJn nJnn JnJn J &hnJ&|u J ,
l 2 3
|
r. &n N n| j& n.unn, J.:, n:n uJn
&n| j&
|
=
I
.
5n &n nJ&|u ..j&.:Ju. 1.nu j& J :.n
;u n:.n.nnu) . &n| C.C.1.
E]enIo 4.1.5. Z .u unu Z nJ&|u ..j&.:Ju n:.nnu :u nu n:.n.nnu
jn j& 2Z _ 4Z _ 8Z _ .
FroosIcIn 4.1.6. 5n &n
un j&.n|n:
1.
2. :
n
, n:n n|j4n N.
. :
J
I
, nun r. ,
:
J
I
.
DenostracIn. 2) 1) Si cxislc :
n
y lcncmos quc
l n
gcncia a
n
(
l
) (
n
) cs un conjunlo
gcnciaooi oc .
1) 8) Ioi hipolcsis cxislc
l n
un conjunlo gcnciaooi oc . Su-
pongamos quc cxislc :
J
I I
sc licnc quc
I
=
|1

|11
con
|1 |
y
,I
.
Sca cl conjunlo oc las
,I
. Si icsliingimos , cnlonccs
.
!
1
:
2
|1
8) 2) SaLcmos quc looo pucoc sci cuLicilo poi
()
paia algn conjunlo
()
, poi hipolcsis cxislc ,
(J)
, con lo quc sc oLlicnc cl icsullaoo.
OIservacIn 4.1.7.
1 J.:, .
n
n|j4n N.
FroosIcIn 4.1.8.
u.n j hn]u rn.un.
DenostracIn. Sca un
:
Ioi la pioposicion anlciioi cxislc un N lal quc
n
cs un cpi-
n
. Ioi lo lanlo
gcnciaoo.
Vcamos ahoia quc cs cciiaoa Lajo cxlcnsioncs.
d.l. i+iNi.Nos . Nr+rii.Nos 77

Sca 0 0 una succsion cxacla con y
mcnlc gcnciaoos poi la oLscivacion anlciioi cxislcn
n
1
.
n
1
1
0 0
con N, complclcmos la succsion oc aiiiLa:
n
1
.
|
n n
|
n
1
1
0 0
Como
n
cs pioycclivo cxislc :
n
lal quc =
1
.
Ahoia
.
y inouccn lal quc cl siguicnlc oiagiama cs conmulalivo:
n
1.
|
n n
|
n
11
0 0
Como
nn
=
n n
y
5n &n nJ&|u ..j&.:Ju. 1.nu j& &n| |n
unJ..n nnr.nn n &hnJ&|u . n:n uJn nn.|.n nu n.n J &hnJ&|u J
.n nnr.nu.
un j&.n|n:
1. n:.nnu.
2. .n unJ..n nnr.nn n &hnJ&|u.
. 5. &n &hnJ&|u ..j&.:Ju J , nun
:nJu.
DenostracIn. 2) 1) Dcmosliaicmos la conliapucsla.
Si
l 2 3
fucia una caocna asccnocnlc piopia oc suLmooulos
izquicioos oc , cnlonccs
I
I\u]
no lcnoia mximos.
1) 8) Dcmosliaicmos la conliapucsla.
Si cs un suLmooulo izquicioo oc
cnlonccs = 0. 1amLicn cxislc
l
con
l
= 0 lal quc
l
, poi consi-
guicnlc cxislc
2 l
con
2
= 0 y con cllo
l l 2
. Conlinuanoo
oc csla mancia lcncmos
l l 2 l 2 3
. Lucgo cxisliia
7S d. ÔDiios .i+iNi.Nos, Nr+rii.Nos . siiririios

una succsion
l n
con N lal quc
l n l nl
. Ioi lo
8) 1) Sca
l

2

3
una caocna asccnocnlc piopia oc suLmoou-
los izquicioos oc . Lnlonccs
IJ
I
cs un suLmooulo izquicioo oc .
Ioi hipolcsis cxislc
l n
lal quc
l n
=
IJ
I
con
I
1
.
As
l n
n
I=l
1
=
I
I
paia algn N. Con cllo lcncmos la caocna
l

s
=
I
I
, la cual lcimina cn
I
I
5n &n nJ&|u ..j&.:Ju. 1.nu j&
:
IJ
I
, nun r. &n
n| j&
T
1
:
IJ
I
nnh.n .nj.u.
FroosIcIn 4.1.12. 5n &n &n
.un un j&.n|n:
1.
2. 5.
I
IJ
&nn nn.|.n J &hnJ&|u ..j&.:Ju J n| j&
IJ
I
=
0 n| j&
IJ
I
= 0.
DenostracIn. 1) 2) Sca
I
IJ
una familia oc suLmooulos izquicioos
oc lal quc
IJ
I
= 0.
Daoo quc paia looa lcncmos quc
I
cs un suLmooulo izquicioo oc
. Lnlonccs lcncmos cl siguicnlc oiagiama:
1
1
1
1
IJ
1
1
1
Ahoia Licn 0 =
IJ
I
IJ
1
1
cs una succsion cxacla, oc oonoc cxislc
IJ
1
1
IJ
1
1
d.l. i+iNi.Nos . Nr+rii.Nos 79

con cs la coiicsliiccion oc . Ioi lo lanlo
0 = ( ) =
IJ
I
.
2) 1) Supongamos quc paia looa cl siguicnlc oiagiama cs conmulalivo:
}
}1
IJ
I
1
I
Lnlonccs 0 = ( )
IJ
(
I
). Ioi hipolcsis, cxislc ,
lal quc
IJ
(
I
) = 0. Ioi lo lanlo la consliuccion oc a
IJ
I
cs un
Teorena 4.1.13.
&hnJ&|u j n&|n .nj.n.
Scan un un suLmooulo
izquicioo oc y
I
IJ
una familia oc suLmooulos izquicioos oc lal quc
IJ
I
= 0. Con cllo cxislc ,
IJ
I
= 0 ya quc cs
Dcmosliaicmos quc cs cciiaoa Lajo cpsulas inycclivas.
Sca un
( )
I
IJ
una familia oc suLmooulos
izquicioos oc ( ) lal quc
IJ
I
= 0. 1cncmos
IJ
I
=
IJ
I
= 0,
oc oonoc paia caoa ,
I
cs un suLmooulo izquicioo oc . Ioi
hipolcsis ,
IJ
I
=
IJ
I
= 0. Con lo quc
IJ
I
= 0 ya quc cs un
suLmooulo cscncial oc ( ). Ioi lo lanlo ( )
nn.un un j&.n|n:
1. =
n
I=l
I
.
2.
. n:.nnu.
. n:.n.nnu.
.
S0 d. ÔDiios .i+iNi.Nos, Nr+rii.Nos . siiririios

DenostracIn. 1) 2) Si =
n
I=l
I
cnlonccs csl gcnciaoo poi
l n
con 0 =
I I
paia looa .
2) 1) Como cs scmisimplc, cnlonccs cxislc
I
IJ
una familia oc simplcs,
lal quc =
IJ
I
1
1
:
IJ
I
. Como ,
1
1
:
IJ
I
poi la pioposicion 4.1.6. Ioi lo lanlo =
IJ
I
.
2) 8) Un simplc cs nclciiano pucs solo licnc oos suLmooulos. Ahoia,
como la clasc oc los nclciianos cs cciiaoa Lajo cxlcnsioncs, cnlonccs una suma
oiiccla oc simplcs cs nclciiana.
8) 2) Si
Ln pailiculai
1) 4) Un simplc cs ailiniano pucs solo licnc oos suLmooulos. Ahoia,
como la clasc oc los ailinianos cs cciiaoa Lajo cxlcnsioncs, cnlonccs una suma
oiiccla oc simplcs cs ailiniana.
4) ) Si
nciaoos, cn pailiculai
) 2) =
IJ
I
cs un suLmooulo izquicioo oc
IJ
I
. Ioi hipolcsis,
:
IJ
I
=
IJ
I
. Lucgo cnlonccs cs sumanoo oiicclo oc
IJ
I
y con cllo
5n &n nJ&|u ..j&.:Ju. 1.nu j& &n|
|n unJ..n n.n.nn n &hnJ&|u ..j&.:Ju . uJn nn.|.n nu n.n J
&hnJ&|u J .n n.n.nu.
un j&.n|n:
1. n:.n.nnu.
2. .n unJ..n n.n.nn n &hnJ&|u ..j&.:Ju.
DenostracIn. 1) 2) Ioi conliapucsla. Si cs una familia no vaca oc
suLmooulos izquicioos oc lal quc no licnc mnimos, cnlonccs uno pucoc
cscogci
l 2
quc no sc cslaciona. Ioi lo lanlo no cs ailiniano.
2) 1) Ioi conliapucsla. Sca
l 2
una caocna ocsccnocnlc piopia
suLmooulos izquicioos oc . Ioi lo lanlo
I
I
cs una familia
oc suLmooulos izquicioos sin mnimos.
FroosIcIn 4.1.17. 1n |n J |u nJ&|u n:.n.nnu ::nJn hn]u &hn-
J&|u j hn]u u.n.
d.l. i+iNi.Nos . Nr+rii.Nos S1

Scan un mooulo izquicioo ailiniano y un suLmooulo izquicioo
oc . Dcmosliaicmos quc cs ailiniano. Como licnc conoicion mnima cn
suLmooulos izquicioos, cn pailiculai licnc conoicion mnima cn suLmooulos
izquicioos oc . Ioi lo lanlo cs ailiniano.
Dcmosliaicmos quc cs cciiaoa Lajo cocicnlcs.
Sca un mooulo izquicioo y : un
Dcmosliaicmos quc cs ailiniano. Al sci supiaycclivo, cnlonccs poi cl lco-
icma oc la coiicsponocncia hay una coiicsponocncia Liyccliva cnlic [ ( ) [
y [ 0 [. Ioi hipolcsis cs ailiniano con lo cual [ ( ) [ licnc conoicion
mnima. Ioi lo lanlo [ 0 [ licnc conoicion mnima y as cs ailiniano.
FroosIcIn 4.1.18. 5n &n nJ&|u ..j&.:Ju.
:nJu . j |u . ( ) ( ) &n &hnuJ&|u
n.n| n .
DenostracIn. ) Supongamos quc
lcoicma 4.1.18 lcncmos quc ( ) ( ) =
IJ
I
con
I
cs simplc. Como ( )
1cncmos quc ( ) cs la inlciscccion oc los mooulos cscncialcs oc . Si
( ) = 0, con un suLmooulo oc , cnlonccs
0 = ( ) = ( cs un suLmooulo cscncial oc )
Como
0.
Digamos quc
l 2 |
= 0. Nolcmos quc
l 2 |
= 0
como
l 2 |
cs cscncial cn lcncmos quc = 0.
Ioi lo lanlo ( ) cs cscncial cn .
) Supongamos ahoia quc ( ) ( ) cs un
suLmooulo cscncial oc . Dcmosliaicmos quc
Al sci ( )
Consiocicmos
I
IJ
una familia oc suLmooulos izquicioos oc lal quc
IJ
I
= 0. Lnlonccs 0 = ( )
IJ
I
=
IJ
( )
I
. Como ( )
lal quc 0 =
IJ
( )
I
=
IJ
( )
I
= ( )
IJ
I
. Ioi lo lanlo
IJ
I
= 0. Ioi lo lanlo
Teorena 4.1.19. 5nn Ju nJ&|u ..j&.:Ju. n:.n.nnu . j |u
: ,

DenostracIn. ) Sca ailiniano. Como la clasc oc los ailinianos cs cc-
Como ( ) cs un suLmooulo izquicioo oc y cs ailiniano cnlonccs
( )
oo. Dcmosliaicmos ahoia quc ( ) cs un suLmooulo cscncial oc . Si no
fucia as cxisliia un suLmooulo izquicioo oc con = 0 y lal quc
( ) = 0. Como cs un suLmooulo izquicioo oc lcncmos quc cs
ailiniano (ya quc los ailinianos son cciiaoos Lajo suLmooulos) con lo cual licnc
conoicion mnima. Dc lo anlciioi lcncmos quc cxislc un suLmooulo izquicioo
oc con = 0 y mnimo, lal quc paia looo con = 0 sc licnc quc
0 = cl cual cs un suLmooulo izquicioo oc . Al sci mnimo, cnlonccs
= , con lo cual cs simplc y as 0 = ( ) lo quc cs una conliaoiccion
a la conoicion mnima oc . Lucgo cnlonccs ( ) cs un suLmooulo cscncial
oc
) Scan
l

2
una caocna ocsccnocnlc y =
I
I
. Como
1
1
I
1
1
= 0, cnlonccs cxislc N,
IJ
1
1
= 0. Ioi lo lanlo
IJ
I
= =
I
I
. Icio
I
IJ
|
=
IJ
I
I
I
.
FroosIcIn 4.1.20. 1n |n J |u nJ&|u n:.n.nnu ::nJn hn]u rn-
.un.
DenostracIn. 1cncmos quc un mooulo cs ailiniano si y solo si caoa
cocicnlc oc
Scan 0 0 una succsion cxacla coila lal quc y son
mooulos izquicioos ailinianos y :
0
}
0
Si ( )( ) = , cnlonccs
oc . Si ( )( ) , cnlonccs cxlcnocmos cl oiagiama a
d.2. ÔDiios Siiririios S8

0
u
}
|
0
=
1
(} )(.)
Con lo quc cxislc :
1
(} )(.)
1
(} )(.)
cogcnciaoo, poi sci un cocicnlc oc .
Lnlonccs
0 ( )( )
( )( )
0
cs
Ln cualquici caso, cs ailiniano y
sc licnc cl icsullaoo.
5nn &n nJ&|u ..j&.:Ju j &n &hnJ&|u ..j&.:-
Ju J . 1.nu j& . n:n &n|j&.: &hnJ&|u
..j&.:Ju J , = .n|.n = .
5n &n
unu
( ) = &hnJ&|u ..j&.:Ju nnr.nu J
FroosIcIn 4.2.3. &hnJ&|u ..j&.:Ju nnr.nu J =
DenostracIn. ) Iaia csla conlcncion vcamos quc cualquici mooulo su-

un suLmooulo
y un suLmooulo mximo oc . Si suponcmos
quc no cs un suLmooulo izquicioo oc , cnlonccs scia un suLmooulo
piopio oc poi lo quc = , pcio , cnlonccs
= lo cual cs una conliaoiccion a la conoicion mxima oc .

) Scan un -suLmooulo izquicioo piopio oc y
cs suLmooulo izquicioo mximo oc con = 0. Dcmosliaic-
mos quc cs un . Si = , cnlonccs poi
1a
1a|I
=
1aI
I
=
1
I
. Lnlonccs
1
I
cs cclico y conlicnc un suLmooulo mximo
C
I
. Ahoia no conlicnc a pucs
= ( ) no cs un suLmooulo izquicioo oc . As cs un suLmooulo
mximo oc quc no conlicnc a lo cual cs una conliaoiccion.
Lena 4.2.4. 5nn &n nJ&|u ..j&.:Ju j Ju &hnJ&|u ..j&.:-
Ju J . 5. , nun .
DenostracIn. Si = , cnlonccs inlcisccanoo con y usanoo la
piopicoao mooulai lcncmos quc = ( ) = ( ( )) = ( ( )).
Como , cnlonccs ( ) = y poi lo lanlo con lo
quc = ( ) ( ) = poi lo lanlo .
FroosIcIn 4.2.5. () : &n :::nJ.n|.
l
DenostracIn. 1cncmos quc
( ) = cs
: cn
, cnlonccs
( ( ) = cs
cs
= ( ))
Ioi lo lanlo paia looo : , () cs un piciiaoical.
FroosIcIn 4.2.6. 5. &n :::nJ.n| n , nun ( ) &n .Jn|
h.|n:n| J .
DenostracIn. Iaia looo lcncmos quc cl siguicnlc oiagiama cs con-
mulalivo:
s
( )
s
rT
( )
.
Ioi lo lanlo ( ( )) ( ). As quc ( ) cs un iocal ociccho oc . Ahoia
( ( )) ( ( )) cs un iocal
izquicioo.
d.2. ÔDiios Siiririios S

CoroIarIo 4.2.7. ( ) j ( ) un .Jn| h.|n:n|.
Teorena 4.2.8. 5n &n nn.||u. n..n| . j |u . ( ) = 0 j
n:.n.nnu ..j&.:Ju.
DenostracIn. ) Supongamos cs scmisimplc. 1cncmos =
n
I=l
I
con
I
simplc paia looo 1
ailiniano (vcasc cl lcoicma 4.1.14). As
I
=
,=I
cs mximo, cnlonccs ( )
cs un suLmooulo izquicioo oc cs suLmooulo mximo oc cl
cual cs suLconjunlo oc
IJ
I
= 0.
) Sca cs ailiniano con ( ) = 0. Como cs ailiniano, cnlonccs
l n
oc suLmooulos mximos lal quc cl
:
n
I=l
1
1
oonoc paia caoa 1 ,
I
cs suLmooulo izquicioo
mximo oc , lamLicn cs inycclivo. Lnlonccs sc sumcigc cn un scmisimplc. Ioi
lo lanlo cs scmisimplc.
FroosIcIn 4.2.9. 5n &n nJ&|u ..j&.:Ju. 5.
:nJu, nun ( ) &n &hnJ&|u ..j&.:Ju :u.u J .
DenostracIn. Como licnc suLmo-
oulos mximos. Como
( ) = cs un suLmooulo mximo oc
cnlonccs ( ) .
Ioi olio laoo paia looo , : ()
cs un piciiaoical, cnlonccs paia looo lcncmos quc ( ) ( ).
Ioi lo lanlo ( ) ( ) .
FroosIcIn 4.2.10. 5n &n nn.||u. 5. n:.n.nnu, nun ( )
n.|un.
DenostracIn. Scan = ( ( ))
n
N 0 y ( ( ))
n
mnimo
cn . Si ( ( ))
n
= 0, cnlonccs ( ( ))
nl
= ( ) ( ( ))
n
cl cual cs
un suLmooulo izquicioo oc ( ( ))
n
. Ioi la clcccion oc ( ( ))
n
lcncmos
( ( ))
n
= ( ( ))
nl
, as 0 = ( )
n
= ( ( ))
n
( ( )).
Sca = cs suLmooulo izquicioo oc y ( ( ))
n
= 0 c
mnimo cn . Dc lo anlciioi lcncmos quc cxislc con = 0 lal quc
( ( ))
n
= 0 aocms cs un suLmooulo izquicioo oc . Sin cmLaigo
cs mnimo as = . Lucgo cnlonccs ( ( ))
n
= ( ( ))
n
( ( ) )
y con cllo ( ( )) = lo quc cs una conliaoiccion a la pioposicion picvia.
Ioi lo lanlo ( ( ))
n
= 0.
Teorena 4.2.11. 5n &n nn.||u. 5. n:.n.nnu, nun n:.nnu.

DenostracIn. Supongamos quc ( ( ))
n
= 0, con N y mnimo
icspcclo a csla piopicoao. Dcmosliaicmos quc
1
(1oJ(1))
r cs nclciiano paia looo
N. La ocmosliacion sc hai poi inouccion soLic .
Nolcmos quc
1
1oJ(1)
cs scmisimplc, Lasla vci quc
1
1oJ(1)
= 0. Consi-
:
1
1oJ(1)
. Ioi cl lcoicma oc la coiicspon-
ocncia lcncmos una Liycccion cnlic las iclculas oc [ ( ) [ y 0
1
1oJ(1)
y
una coiicsponocncia Liyccliva cnlic los mximos oc y los oc
1
1oJ(1)
. Con lo quc
( )
=
( )
cs suLmooulo mximo oc =
cs suLmooulo mximo oc
( )
=
( )
( )
= 0
Ioi lo lanlo
1
1oJ(1)
cs scmisimplc ailiniano.
Iaso inouclivo. Supongamos quc
1
(1oJ(1))
!
cs nclciiano. Como ( ( ))
|l
cs un suLmooulo izquicioo oc ( ( ))
|
, lcncmos la siguicnlc succsion cxac-
la 0
(1oJ(1))
!
(1oJ(1))
!
1
(1oJ(1
!
))
1
1oJ(1
!
)
0. Daoo quc ( ) anula
a
(1oJ(1))
!
(1oJ(1))
!
, cnlonccs
(1oJ(1))
!
(1oJ(1))
!
cs un
1
1oJ(1)
mooulo, con lo quc cumplc con
sci scmisimplc ailiniano y poi lo lanlo cs nclciiano. Como la clasc oc los nclcii-
anos cs cciiaoa Lajo cxlcnsioncs, cnlonccs
1
(1oJ(1))
!
cs nclciiano y cn pailiculai
=
1
1oJ(1
r
)
=
1
u
cs nclciiano.
5n &n nJ&|u ..j&.:Ju. 1.nu j& n.n:-
.n.nnu .
1
J
= 0 n:n uJu
1
J
= 0.
5n &n nJ&|u ..j&.:Ju. 1.nu j& n.|un
. r. N n| j&
n
= 0.
FroosIcIn 4.2.14. 5n &n Z nJ&|u ..j&.:Ju. n.n:.n.nnu . j
|u . J u:.n.
FroosIcIn 4.2.15. 5n &n nJ&|u ..j&.:Ju. 5. n.n:.n.nnu,
nun ( ) &n &hnJ&|u n.n| n .
DenostracIn. Ioi conliaoiccion, supongamos ( ) no cs cscncial cn .
1cncmos quc ( ) licnc un scuoocomplcmcnlo 0 = lal quc ( )
cs un suLmooulo cscncial cn . Sca un scuoocomplcmcnlo oc lal quc
conlcnga a ( ). Ioi lo lanlo cs un suLmooulo cscncial cn .
=
\ I
\
cl cual cs un
suLmooulo cscncial cn
1
\
, as
1
\
= 0, con lo quc
\ I
\
1
\
= 0.
Ahoia cl quc
\ I
I
sca un suLmooulo cscncial oc
1
\
sc siguc oc quc cs un
scuoocomplcmcnlo oc poi la pioposicion 8.4.8.
d.2. ÔDiios Siiririios S7

Ahoia,
\ I
\
ocLc lcnci un suLmooulo simplc aocms al sci isomoifo a ,
cnlonccs lamLicn ocLc conlcnci un simplc, con lo cual
0 = = ( )
lo cual cs una conliaoiccion ya quc ( ) = 0. Ioi lo lanlo ( ) cs
cscncial cn .
Teorena 4.2.16. 1n |n J |u nJ&|u n.n:.n.nnu ::nJn hn]u:
1. Cu.n.
2. 5&hnJ&|u.
. 1rn.un.
. 5&nn J.:n.
DenostracIn. 1) Scan oos mooulos izquicioos. Si cs scmiailini-
ano y : = 0, cnlonccs cs scmiailiniano. Ioi
lo lanlo cxislc
}

J
J
= 0 cs un cocicnlc
oc y

J
= 0.
2) Scan un mooulo izquicioo y un suLmooulo oc . Supongamos
quc cs scmiailiniano cnlonccs cxislc :
}
1
|c:(})
Donoc = 0 y :
1
|c:(})
. Dcmosliaicmos quc
. Lnlonccs y ( ) = . Ioi olio laoo
( ) = ( ) = ( )
con lo cual ( ), as = ( ) = 0. Ioi lo lanlo = 0 y as ( ) = 0 .
Como cs scmiailiniano, cnlonccs
1
|c:(})
cs scmiailiniano. Dc oonoc
1
|c:(})
cs cscncial cn
1
|c:(})
.
Ahoia Licn ( ) = 0, cnlonccs
1
|c:(})
( ) = 0 y ( ( )) = 0 y
como = ( ) cnlonccs ( ) = 0. Ioi lo lanlo cs scmiailiniano.
8) Sca 0 0 una succsion cxacla coila con y oos
mooulos izquicioos scmiailinianos. Dcmosliaicmos quc cs scmiailiniano.
SS d. ÔDiios .i+iNi.Nos, Nr+rii.Nos . siiririios

Consiocicmos cl siguicnlc oiagiama con los icspcclivos cocicnlcs oc y :
0
} }
0
0 ( ) ( )
1
(} )(.)
0
.
OLscivcmos quc si ( ) = 0, cnlonccs ( ( )) cs cscncial cn
( ( )) pucs ( ) cs scmiailiniano y
0 = ( ( )) ( ), con lo cual ( ) = 0. Si ( ) ( ) = 0,
cnlonccs =
1
(} )(.)
cl cual cs un cocicnlc oc y cs scmiailiniano. Ioi lo
lanlo cs scmiailiniano y as ( ) = 0.
4) Si
I
IJ
cs una familia oc scmiailinianos y supongamos quc hay un cpi-
:
IJ
I
con = 0. 1omcmos un suLmooulo oc
oislinlo oc 0 lal quc = 0. Lnlonccs:
IJ
I
}
|
=l
I
}
Con = ( ) y as
IJ
I
.
Como
|
=l
I
cs scmiailiniano poi 8), cnlonccs cs scmiailiniano, con lo quc
( ) cs cscncial cn . Lucgo cnlonccs ( ) = 0 y as ( ) = 0. Ioi
lo lanlo 0 = ( ) cs un suLmooulo oc ( ).
5n &n nn.||u. 1.nu j& n.n:.n.nnu .
( ) = 0
n:n uJu nJ&|u ..j&.:Ju un = 0.
Teorena 4.2.18. 5n
1. n.n:.n.nnu.
2. n.n:.n.nnu unu nJ&|u ..j&.:Ju.
. n.n:.n.nnu n:n uJu nuJ&|u ..j&.:Ju .
. ÔDiios Siiririios S9
DenostracIn. 8) 2) Si cs paia looo mooulo izquicioo, cn pailiculai
paia cl mismo vislo como mooulo izquicioo.
2) 8) Si cs un mooulo izquicioo scmiailiniano, cnlonccs
()
cs
scmiailiniano paia looo . Como looo mooulo izquicioo cs cocicnlc oc un
liLic, cnlonccs looo suLmooulo izquicioo cs scmiailiniano.
8) 1) Si cs un mooulo izquicioo scmiailiniano lal quc = 0,
cnlonccs ( ) cs cscncial cn , con lo quc ( ) = 0.
1) 8) Si cs un mooulo izquicioo lal quc = 0 y : cs un
( ) = 0. Ioi lo lanlo cs scmiailiniano.
2
() :
2
( )
( )
=
( )
&n u:J.nn| &u::
nl
( )
n
( )
=
n
( )
` n:n &n u:J.nn| |.n.:
( ) = ( )
FroosIcIn 4.2.21. 5n &n nJ&|u ..j&.:Ju. 1nun n:n uJn N,
n
( ) n.n:.n.nnu.
Teorena 4.2.22. 5n &n nn.||u. 5. n.n:.n.nnu j n:.nnu, nun
n:.n.nnu.
DenostracIn. Consiocicmos la siguicnlc familia ( ) cs un oioinal
la cual licnc un mximo
n
( ). Si
n
( ) fucia un suLmooulo piopio oc
, cnlonccs (al sci cs scmiailiniano) 0 =
:otr(1)
:ot
r
(1)
=
1
:ot
r
(1)
lo cual cs
una conliaoiccion. Ioi lo lanlo
n
( ) = .
Vcamos poi inouccion quc
|
( ) cs ailiniano paia looa N.
Lasc:
l
( ) = ( ) cs scmisimplc y nclciiano, poi lo lanlo ailiniano.
Supongamos
n
( ) cs ailiniano, cnlonccs
:otr(1)
:otr(1)
=
1
:otr(1)
. 1cnc-
mos la siguicnlc succsion cxacla coila
0
n
( )
nl
( )
n
( )
0
Ahoia
n
( ) cs ailiniano poi hipolcsis oc inouccion. 1amLicn
1
:otr(1)
cs scmisimplc y nclciiano, con lo cual cs ailiniano. Ioi lo lanlo
nl
( ) cs
ailiniano ya quc la clasc oc los ailinianos cs cciiaoa Lajo cxlcnsioncs.

"Tesis" - 2012/5/9 - 8:44 - page 90 - #98 "Tesis" - 2012/5/9 - 8:44 - page 90 - #98
APENDICE A
1nn nju:.n unn J:
1. 1nn |n J uh]u
u
.
2. 1n:n nJn n: J uh]u n |n |n
u
, &n un]&nu ( ) nnh.n
JnunJu unu

( )
n , . ( ), :
Jnunnu
l
.
. 1n:n &n|j&.:n n |n |n J
u
, r. &nn &n.n
: ( ) ( ) ( ) n| j& ( ) = ; J.: .
: j : , nun : ) n| j&:
a) 1n:n uJu n |n |n
u
, r. 1
.
: n| j& 1
.
= n:n
uJu ( ) j 1
.
= n:n uJu ( ).
L) 5 &n| ( ) = ( ) n:n &n|j&.:n |nnu
J
l
n| j& &Jnn unun:.
c) 5. ( ) ( ) = , nun = j = ).
01
92 . C.+rcoi.s
A.2. EjonIos do cutogorus
E]enIo A.2.1. 1n nju:.n JunJ:
1.
u
= 1n |n J uJu |u un]&nu ;n Ju:.n J Cun]&nu ||nnnJu |
&n.:u ),
2. ( ) = : &n.n ,
.
E]enIo A.2.2. 5n ( ) &n :u:Jn ; J.: &n un]&nu un &nn :|n.n
o,b
:
. A:
1. A
u
= ,
2. A( ) =
o,b
: .
.
,
. 5. , j : , : : JunJ = .
E]enIo A.2.3. 5. &n un]&nu, nun .n nu.nJn &nn nju:.n
X JunJ:
1. X
u
= ,
2. X( ) =
. =
1
a
. =
,
. 5. = j = 1
a
j 1
nun |n unu..n J ||n

:n 1
a
1
:u = , un |u &n| 1
a
1
= 1
a
.
E]enIo A.2.4. 5nn ( ) &n nunu.J j
ju:.n M:
1. M
u
= , JunJ &n 4n.u uh]u.
2. M
l
= .
. 1n unu..n n: |nnu J M
l
|n u:n.n J| nunu.J. 1n:n
&n|j&.:n .
}
, nun : n n .
E]enIo A.2.5. 1n nju:.n &n.n:.n ", JunJ:
1. "
u
= .
2. "
l
= "( ) = 1
.
. 1n &n.n n: |nnu J M
l
|n unu..n, n. 1
= 1
.
E]enIo A.2.6. 1n nju:.n , JunJ:
1.
u
= 1n |n J uJu |u n.u uu|j.u.
.3. IiN+oirs 98
2. ( ) = : &nn &n.n un.n&n .
. 1n u:n.n n: |nnu J
l
|n unu..n J &n.un.
Iaia concluii con los cjcmplos oc calcgoias mcncionaicmos ms cjcmplos oc
cllas
E]enIo A.2.7.
1. 1n nju:.n J j:&u.
2. 1n nju:.n J j:&u nh|.nnu.
. 1n nju:.n J nn.||u un &n.n:.u.
. 5. &n nnu, nun
J
|n nju:.n J |u n.u u:.n|
uh: .
. 5. &n nn.||u, nun nJ |n nju:.n J |u nuJ&|u ..j&.:-
Ju.
Hay iclacioncs cnlic calcgoias como lo son:
A.3. Funtoros
5nn j Ju nju:.n. 1.nu j& : &n
&nu: J n .:
1. 1n:n nJn uh]u J , | n.jnn &n uh]u ( ) J .
2. 1n:n &n|j&.:n
l 2
|nnu n |n nju:.n r. &nn &n.n
C,C
: (
l 2
) ( (
l
) (
2
)) n| j&:
a) 1n:n uJu , (1
C
) = 1
J(C)
j,
L) 1n:n &n|j&.:n
l
j& &Jnn unun: &n|
( ) = ( ) ( ).
E]enIo A.3.2. 5. &n nju:.n, nun | &nu: .Jn.JnJ n JnJu u:
1
: , JunJ 1
:
u

u
j n:n nJn :
l 2
un
l 2
,
.n j& 1
( ) = .
E]enIo A.3.3. 5. un un]&nu, u .nn &nn nju:.n nu.nJn
;n | ]n|u .2.). 1n &nu: n: X j Y n JnJu u: &nn &n.n
: j |n n.jnn.n ( ) = 1
J(2)
n:n ( )( )
94 . C.+rcoi.s
X
J
Y
]uuc1u
J
l.
( )
}(l.)
( )
E]enIo A.3.4. 1nj &n &nu: J n n| j& n nJn j:&u | nu.n
| un]&nu : | nu.n |n &n.n :
unu n&:n n | J.nj:nnn:
} }
E]enIo A.3.5. Ju un]&nu, n |u
Ju | nu.nnu Z
()
j Z
(Y )
| j:&u nh|.nnu |.h: un hn j
:.nnn. ` . : &nn &n.n, nun : Z
()
Z
(Y )
|n &n.n .nJ&.Jn u:
J
}
Z
()
}
Z
(Y )
E]enIo A.3.6. 1| &nu: J n n| j& 1
J
( ) = j 1
J
( ) = .
: , un .
A cslc funloi sc lc llama funloi inclusion.
HecordatorIo A.3.7.
5n &n j:&u. 1nunnu u:
| &hj:&u unn&nJu: J JnJu u:
=
l l
.
.d. IiN+oirs 9
5nn Ju j:&u, :
|u
&hj:&u unn&nJu: J j :.nnn. 1nun
C
:

1n:n &n|j&.: j:&u ,
C
C
&n j:&u nh|.nnu.
E]enIo A.3.8. 1| &nu: J n
}
C
C
}
1
1
1unJ :
C
C
1
1
|n &n.n JnJn u:
= ( )
, j J| :u:Jn-
u:.u nn:.u:
un |u &hj:&u unn&nJu: J j :.nnn.

Scan
l
C
C
lalcs quc
l
=
2
, cs occii
l
l
2
. Icio poi cl
iccoioaloiio anlciioi
l
l
2
.
Dc oonoc
l
l
2
=
l
l
(
2
) = ( (
l
))
l
(
2
)
Ioi lo lanlo ( (
l
))
l
(
2
)

, y as (
l
)

= (
2
)

con lo quc lcncmos
cl icsullaoo.
E]enIo A.3.9. 5. ( ) j ( ) un nunu.J, nun | un]&nu J
uh]u :nn M
u
= j N
u
= :.nnn. . &n &nu: : M N
Jh &n|.: ( ) = j . &n |nnu n M
l
, nun ( ) Jh:n : &n
|nnu n N
l
, u: |u j& nJnn Jh:n J &n|.: ( ) = ( ) ( ),
unu n&:n n | J.nj:nnn:
M
J
N
o
b o
J(o)
J(b) J(o)
b J(b)
nunu.J n: ||u.
A caoa calcgoia sc lc asocia olia calcgoia oc foima inmcoiala la cual cs:
96 . C.+rcoi.s
A.d. Cutogoru ouostu
5n ,
JnunJn unu
o
:
1.
o
u
=
u
.
2. 1n:n &n|j&.:n
u
&n|
o
( ) = ( ), J.::
5.
o
l
( ) nun : ,
5. n u&:: j&
}
J.:
}
, nun n
o
u&:: j&
}
, n u:n n|nh:n
} o
. 1 nnn:n nn
n.||n nnu j& ( ) =
o
.
5.&n.n j& .|&:n n | .j&.n J.nj:nnn:
}
}
} o
Lxislc un funloi cnlic cslas oos calcgoias, llamcmoslo :
o
, oonoc:
1. Si
u
, cnlonccs ( ) = .
2. Si
l
, cnlonccs ( ) = .
8. ( ) =
o
= ( )
o
( ).
4. (1
.
) = 1
.
, ya quc = 1
.
y = 1
.
o
.
Lo cual sc mucslia cn cl siguicnlc oiagiama:
}
}
( ) =
} o
Ahoia Licn a cslc lipo oc funloics quc cumplcn con lo ocsciilo aqu aiiiLa
icciLcn un nomLic pailiculai lo cual vcicmos cn la siguicnlc scccion.
.6. IiN+oirs cov.ii.N+rs . coN+i.v.ii.N+rs 97

A.. Funtoros covurIuntos y contruvurIuntos
otacIn A.5.1.
..1.
5nn Ju nju:.n. 1n &nu: : un:nn-
:.nn .:
1. :
u

u
&nn n.jnn.n n| j& n nJn |nnu J
u
| n.jnn &n
|nnu J
u
.
2. : ( ) ( ( ) ( )) &nn &n.n n| j& . : ,
nun ( ) : ( ) ( ).
Vcamos algunos cjcmplos paia familiaiizainos con cl.
E]enIo A.5.3. 5nn &nn nju:.n j
u
. 1nun ( ) :
&n &nu: un:nn:.nn.
Si son clcmcnlos oc la clasc
u
y ( ), cnlonccs ( ) ( ) =
( ), anlogamcnlc paia , ( ) ( ) = ( )( ).
Iaia : ( ) : ( ) ( ). Donoc
paia caoa clcmcnlo ( ) al aplicai nos oai ( ). Ln cl
siguicnlc oiagiama sc icpicscnla oc mancia ms scncilla:
( )
( )

Aocms ( ) (1
) = 1
(,C)
.
E]enIo A.5.4. 5nn
Jn:
1. : un:nn:.nn . j |u .
J

o
&n &nu: un-
:.nn.
2.
o
(
o
)
o
=
. : un:nn:.nn . j |u .
o
J
&n &nu: un:.nn-
.
A.6. Inu cutogoru urtIcuIur
5n &nn nju:.n. 1.nu j& &nn nju:.n j&nn
.
u
&n un]&nu.
la calcgoia oc las calcgoias pcqucnas, oonoc
9S . C.+rcoi.s
1.
u
= La clasc oc las calcgoias pcqucnas.
2. ( ) = Ls la clasc oc looos los funloics : oc a .
8. Si : y : son funloics, cnlonccs la composicion oc cllos
sc o oc la siguicnlc mancia:
Iaia
l

u
lcncmos quc
J C
( ( )) y si
l
con :
l
,
cnlonccs
J C
( ) oonoc ( ) : ( ( )) ( (
l
)).
A.7. ^s soIro funtoros
5nn , Ju nn.||u. Cun.J:nu |n nju:.n J |u
nJ&|u ..j&.:Ju, |u nJ&|u ..j&.:Ju j : &n &n-
u:. 1.nu j& nJ..u .
1,
:
1
( )
S
( ( ) ( ))
Ju nJ&|u ..j&.:Ju.
5n : &n &nu:. 1.nu j&
rnu ..j&.:Ju . n:n uJn &.n rnn 0 0 ;1n
0 ( ) ( ) ( )
rnn ..j&.:Jn.
Teorena A.7.3. 5n &n nJ&|u ..j&.:Ju. 1nun | &nu: un:nn-
:.nn ( ) : Z rnu ..j&.:Ju.
DenostracIn. Supongamos quc la succsion coila 0
}
0 cs
cxacla. Dcmosliaicmos quc 0 ( )

( )
}
( )
cs un succsion cxacla izquicioa.
Daoo quc lalcs quc =
sc cumplc quc = . Ioi lo anlciioi cs inyccliva y poi cl lcoicma 1.4.10
lcncmos quc
Ahoia ( ) ( ) = ( ) = 0 = 0, oonoc la pcnllima igualoao
cs vlioa ya quc la succsion 0
}
0 cs cxacla. Ioi lo lanlo
( ) ( )
( ) ( ). Consiocicmos cl siguicnlc
oiagiama:
0
u
}
u
0
Sca ( ). 1cncmos quc = 0. Como ( ) = consiocicmos
: ( ) oaoa poi ( ) = ( ) oonoc ( ) = con lo cual
( ) = ( ( )) = ( ) = ( )
Ioi lo lanlo cl oiagiama anlciioi conmula y as ( ).
.S. Iirii.Dic.irs 99
Teorena A.7.4. 5nn &n nn.||u j &n nJ&|u ..j&.:Ju.
1nun ( ) : Z JnJu u::
}
1
( )
}
1
( )
un
}
}
&n &nu: rnu ..j&.:Ju.
DenostracIn. La ocmosliacion oc cslc lcoicma cs anloga a la ocl lcoicma
anlciioi.
E]enIo A.7.5. ( Z) nu rnu, un.J:nnJu |n .j&.n &.n
rnn u:n 0 Z

0.
A.S. IrorrudIcuIos
1n :::nJ.n| &n &nu: : n|
j& n:n uJu |nnu n .n ( ) &n &hnJ&|u J
u j&.n|nnn, n:n &n|j&.:n |nnu J j n:n uJu
: .n j& | .j&.n J.nj:nnn unn&n.u:
( )
}
f }
( )
.
E]enIo A.8.2. () : &n :::nJ.n|.
1u:Jnu j& n:n &n nJ&|u ..j&.:Ju
( ) = &hnJ&|u ..j&.:Ju .n| J
j ( ) &n &hnJ&|u ..j&.:Ju J . 5nn &n nJ&|u ..j&.:Ju
j : &n n . 1nun
&hnJ&|u ..j&.:Ju .n| J
&n &hnJ&|u ..j&.:Ju J
100 . C.+rcoi.s
( ) &hnJ&|u ..j&.:Ju .n| J
| &n| n & . &n &hnJ&|u ..j&.:Ju J ( ). 1u: |u nnu &n
:::nJ.n|.
|Ano78| IR.Ni NDiRsON ND IiiiiR

Spiingci-Vcilag Ncw Yoik Inc. Ncw Yoik (1078).
|Kas82| I. I.sch
|Iol0| JOsiih J. IO+:.N
coilion. Spiingci-Vcilag Ncw Yoik Inc. (100).
101
Anillo, 2
scmiailiniano, 88
Axioma
oc clcccion,
oc clcccion mulliplicalivo,
Laci
Lcma oc, 47
Limooulo, 67
Cpsula
oivisiLlc, 0
inyccliva, 66
Calcgoia, 01
opucsla, 06
pcqucna, 07
Cocicnlc
oc oos mooulos, 10
Complcmcnlo
cn un Mooulo, 28
Complcmcnlo oc un conjunlo, 28
Conclco
Conoicion
oc caocna asccnocnlc cn suLmoou-
los, 7
oc caocna ocsccnocnlc cn suLmo-
oulos, 76
mxima cn suLmooulos, 77
mnima cn suLmooulos, 80
Conjunlo
Complcmcnlo oc, 28
COIO`S
Caocna cn,
Copioouclo oc una familia oc, 2
Iioouclo oc una familia oc, 24
Copioouclo
oc una familia oc COIO`S, 2
Llcccion
Axioma oc,
Funcion oc,
Llcmcnlo
mximo, 88
mnimo, 88
mayoi cn iclculas, 2
mcnoi cn un iclculas, 2
Lscision
oc una s.c.c, 80
poi la ociccha oc una s.c.c, 80
poi la izquicioa oc una s.c.c, 80
Funcion oc Llcccion,
Funloi, 08, 07
aoilivo, 08
conliavaiianlc, 07
covaiianlc, 07
cxaclo izquicioo, 08
iocnlioao, 08
Giupo
102
INDicr .ir.rr+ico 108

oc loision, 6
oivisiLlc,
Giupos
Hom(,), 2
Imagcn
Inocpcnoicnlc
Familia oc suLmooulos, 0
oc giupos, 2
oc iclculas, 82
Kcincl, 2
Lcma
oc Laci, 47
oc Zoin,
Mooulo
ailiniano, 76
cocicnlc, 10
ociccho, 6
oivisiLlc, 44
cscncialmcnlc cciiaoo, 8
gcnciaoo, 16
inycclivo, 41
izquicioo, 6
liLic, 87, 88
nclciiano, 7
nilpolcnlc, 86
pioycclivo, 41
Iaoical oc un, 88
scmiailiniano, 86
scmisimplc, 68
scuoocmplcmcnlo oc un, 68
simplc, 67
Zoclo oc, 60
Mooulos
Liycclivo, 14
oc giupos, 1
oc mooulos, 7
oc iclculas, 81
Imagcn oc, 2
inycclivo, 18
Nuclco oc, 2
supiaycclivo, 18
Nclco
Nilpolcnlc
Mooulo, 86
Iailc p-piimaiia, 7
Iiciiaoical, 00
Iioouclo
oc una familia oc COIO`S, 24
Iiopicoao
mooulai, 27
Iaoical
oc un mooulo, 88
Iclcula, 22
complcmcnlaoa oc I-suLmooulos,
28
complcla, 22
oisliiLuliva, 28
mooulai, 27
Iclculas
Llcmcnlo mayoi, 2
Llcmcnlo mcnoi, 2
Icliculas
Scuoocomplcmcnlo cn, 84
Scmiailiniano
Anillo, 88
Scuoocomplcmcnlo
oc un mooulo, 68
cn una iclcula, 84
SuLgiupo
oc loision, 7
SuLmooulo
ociccho, 8
cscncial, 7
izquicioo, 8
104 INDicr .ir.rr+ico

mximo, 88
SuLmooulos
Conoicion oc caocna asccnocnlc cn,
7
Conoicion oc caocna ocsccnocnlc cn,
76
Conoicion mxima cn, 77
Conoicion mnima cn, 80
inocpcnoicnlcs, 0
Suma oc oos, 17
SuLiclcula, 2
Succsion
cxacla, 11, 12
cxacla coila, 12
Succsion cxacla coila
Lscision, 80
Lscision poi la ociccha, 80
Lscision poi la izquicioa, 80
Sumcigii, 18
Iiimci, 16
Scgunoo, 18
1ciccio, 10
1coicmas
1cioicma
oc la coiicsponocncia, 82
1oision
giupo oc, 6
suLgiupo oc, 7
zoclo
oc un mooulo, 60
Zoin
Lcma oc,

Modulo S

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Modulo S

Cargado por

Copyright:

Formatos disponibles

NiiRsiD~D `~CiON~i Ai!

Act. AaurIcIo AguIIar GonzIez

Print to PDF without this message by purchasing novaPDF (http://www.novapdf.com/)

8.2. Mooulos cscncialcs y mooulos cscncialmcnlc cciiaoos . . . . . . . . 7

2 l. ^ODiios, sir:ODiios . :oiris:os

4 l. ^ODiios, sir:ODiios . :oiris:os

6 l. ^ODiios, sir:ODiios . :oiris:os

S l. ^ODiios, sir:ODiios . :oiris:os

10 l. ^ODiios, sir:ODiios . :oiris:os

&n nJ&|u ..j&.:Ju un |n u:n.n :

cs un giupo aLcliano ya quc, cn lcoia oc giupos sc

cs un mooulo izquicioo y sc licnc cl icsullaoo.

l.d. ^oiris:os . sicrsioNrs rx.c+.s 11

as ( ). Ahoia poi cl cjcmplo 1.4.4 lcncmos quc

12 l. ^ODiios, sir:ODiios . :oiris:os

l.d. ^oiris:os . sicrsioNrs rx.c+.s 18

14 l. ^ODiios, sir:ODiios . :oiris:os

l.d. ^oiris:os . sicrsioNrs rx.c+.s 1

16 l. ^ODiios, sir:ODiios . :oiris:os

l.d. ^oiris:os . sicrsioNrs rx.c+.s 17

1S l. ^ODiios, sir:ODiios . :oiris:os

DenostracIn. Anlcs oc ocmosliai cslc lcoicma hagamos una oLscivacion

Dcmosliaicmos quc ( ) = . Sca ( ), cnlonccs:

l.5. ^oiris:os . sicrsioNrs rx.c+.s 19

20 l. ^ODiios, sir:ODiios . :oiris:os

Teorena 1.5.2. 5n : nJ&|u. 1nun |n n:]n

Teorena 1.5.4. 5nn nJ&|u ..j&.:Ju j : &n

l.5. `iciros, coNiciros . ir+cii.s 21

22 l. ^ODiios, sir:ODiios . :oiris:os

l.5. `iciros, coNiciros . ir+cii.s 28

un suLmooulo izquicioo oc lal quc paia looa ,

ul nnino conn nlfiplo do dos nnoios.

24 l. ^ODiios, sir:ODiios . :oiris:os

l.5. `iciros, coNiciros . ir+cii.s 2

26 l. ^ODiios, sir:ODiios . :oiris:os

l.5. `iciros, coNiciros . ir+cii.s 27

2S l. ^ODiios, sir:ODiios . :oiris:os

Lnlonccs nolamos quc sc cumplc quc y sin cmLaigo:

l.5. `iciros, coNiciros . ir+cii.s 29

80 l. ^ODiios, sir:ODiios . :oiris:os

la cual cumplc quc = y = . Ahoia Licn poi hipolcsis lcnoia

l.5. `iciros, coNiciros . ir+cii.s 81

82 l. ^ODiios, sir:ODiios . :oiris:os

l.5. `iciros, coNiciros . ir+cii.s 88

84 l. ^ODiios, sir:ODiios . :oiris:os

l.5. `iciros, coNiciros . ir+cii.s 8

Print to PDF without this message by purchasing novaPDF (http://www.novapdf.com/)

Teorena 2.1.2. 5nn &n nn.||u j

8S 2. ^ODiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

2.2. ^.s sorir sicrsioNrs rx.c+.s 89

40 2. ^ODiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

2.3. ^ODiios iN.rc+ivos . iio.rc+ivos 41

Print to PDF without this message by purchasing novaPDF (http://www.novapdf.com/)

42 2. ^ODiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

Ioi lo lanlo = , con lo cual ( ) cs cxaclo.

2.3. ^ODiios iN.rc+ivos . iio.rc+ivos 48

: , paia caoa cscogcmos un clcmcnlo cn

44 2. ^ODiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

2.3. ^ODiios iN.rc+ivos . iio.rc+ivos 4

1unJ , J.: n&|.|.n: u: n|j4n |nnu J .

46 2. ^ODiios Divisirirs, iN.rc+ivos, iirirs . iio.rc+ivos

Si licnc oiocn con N, cnlonccs Z cs isomoifo a Z y as cxislc un

son oivisiLlcs cxislc: