05.06.2012 HOMOLOJËI CEBËIRE GËIRËIS FËINAL CEVAP ...
05.06.2012 HOMOLOJËI CEBËIRE GËIRËIS FËINAL CEVAP ...
05.06.2012 HOMOLOJËI CEBËIRE GËIRËIS FËINAL CEVAP ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>05.06.2012</strong><br />
HOMOLOJİ CEBİRE GİRİŞ FİNAL <strong>CEVAP</strong> ANAHTARI<br />
1. F cismi üzerinde tanımlanan her vektör uzayının hem projektif hem de injektif olduğunu gösteriniz.<br />
Çözüm: Önce Baer kriterini hatırlatalım.<br />
Baer Kriteri : I modülünün injektif olması için gerek ve yeter şart her U sol ideali ve k : U −→ I<br />
homomorfizmasının bir m : R −→ I homomorfizmasına genişletilebilmesidir.<br />
F cisim ve V , F üzerinde bir vektör uzayı olsun. Tüm vektör uzaylarının bir bazı olduğundan V serbest<br />
F -modüldür. Her serbest modül projektif olduğundan V projektiftir. Cismin idealleri sadece 0 ve kendisi<br />
olduğundan F ’in sol idealleri 0 ve F ’dir. O halde U ≤ F olacak şekilde f : U −→ V bir F -modül<br />
homomorfizma ise U = 0 veya U = F ’dir. U = 0 iken ˜f : F −→ V sıfır homomorfizma olarak alalım.<br />
O zaman ˜f, f’in F ’e genişlemesidir. U = F ise f’in genişlemesi kendisidir. O halde Baer kriterinden V<br />
injektiftir.<br />
2. p ve q asal olmak üzere Hom(Z p , Z q ) = 0 olduğunu gösteriniz.<br />
Çözüm: Hom(Z p , Z q ) ∼ = Z q [p] dir. (p, q) = 1 olduğundan Z q ’nun mertebesi p olan bir elemanı yoktur.<br />
Dolayısıyla Hom(Z p , Z q ) = 0 olur.<br />
3. R halka olmak üzere<br />
0 A B<br />
f<br />
0 D E F 0<br />
her satırı tam olan R-modül homomorfizmalarının değişmeli diyagramı olsun.5-Lemmayı kullanmadan<br />
f ve h monomorfizmler ise g de monomorfizma olduğunu gösteriniz.<br />
Çözüm:<br />
g<br />
C<br />
0 A i 1<br />
B i 2<br />
C<br />
f<br />
0 D<br />
j1<br />
E<br />
j2<br />
F 0<br />
Satırlar tam olduğundan i 1 , j 1 monomorfizma ve i 2 , j 2 epimorfizmadır. f ve g monomorfizma olsun.<br />
Ker(g) = 0 olduğunu göstermeliyiz. b ∈ Ker(g) olsun. O zaman g(b) = 0 dır.<br />
g<br />
h<br />
h<br />
0<br />
0<br />
(h ◦ i 2 )(b) = (j 2 ◦ g)(b) = j 2 (g(b)) = j 2 (0) = 0<br />
1
h(i 2 (b)) = 0 ⇒ i 2 (b) = 0<br />
⇒ b ∈ Ker(i 2 ) = Im(i 1 )<br />
⇒ ∃a ∈ A, i 1 (a) = b<br />
⇒ ∃a ∈ A, (j 1 ◦ f)(a) = (g ◦ i 1 )(a) = g(i 1 (a)) = g(b)<br />
⇒ ∃a ∈ A, j 1 (f(a)) = 0<br />
⇒ ∃a ∈ A, f(a) ∈ Ker(j 1 ) = 0<br />
⇒ ∃a ∈ A, f(a) = 0<br />
⇒ ∃a ∈ A, a ∈ Ker(f) = 0<br />
⇒ a = 0<br />
⇒ i 1 (a) = 0 = b<br />
⇒ Ker(g) = 0<br />
Sonuç olarak g monomorfizmadır.<br />
4. Her modülün bir serbest çözücüsünün var olduğunu gösteriniz.<br />
Çözüm: A herhengi bir modül olsun. F 0 projektif olmak üzere bir ε : F 0 −→ A epimorfizması vardır.<br />
Ker(ε) = K 0 diyelim. F 1 projektif modül olmak üzere bir f 1 : F 1 −→ K 0 epimorfizması bulunur.<br />
i : K 0 −→ F 0 içerme monomorfizması olmak üzere, i ◦ f 1 : F 1 −→ F 0 bileşkesini d 1 ile, Ker(d 1 ) =<br />
Ker(f 1 ) i de K 1 ile gösterelim. Yine F 2 projektif modül olmak üzere bir f 2 : F 2 −→ K 1 epimorfizması<br />
bulunur. j : K 1 −→ F 1 içerme monomorfizması olmak üzere i ◦ f 2 : F 2 −→ F 1 homomorfizmasını d 2<br />
ile gösterelim. Bu taktirde<br />
d<br />
F<br />
2 d<br />
2 −→<br />
1 ε<br />
F1 −→ F0 −→ A −→ 0<br />
dizisi tamdır. Gerçekten ε epimorfizmadır;<br />
Im(d 1 ) = Im(f 1 ) = K 0 = Ker(ε)<br />
dur. Im(d 2 ) = Im(f 2 ) = K 1 = Ker(d 1 ) dir. Bu şekilde devam ederek, F n ler projektif modüller olmak<br />
üzere bir<br />
d<br />
... −→ F<br />
n d n−1<br />
d<br />
n −→ Fn−1 −→ ... −→ F<br />
1 ε<br />
1 −→ F0 −→ A −→ 0<br />
tam dizisi elde ederiz. Dolayısıyla<br />
F : ... −→ F n<br />
olmak üzere (F, ε), A modülü için bir projektif çözücüdür.<br />
d −→<br />
n<br />
d ... −→<br />
1 d F1 −→<br />
0<br />
F0 −→ 0<br />
5. A, C birer R− modül olmak üzere Ext 1 R<br />
(C, A) = {0} ise<br />
0 −→ A −→ B −→ C −→ 0<br />
2
kısa tam dizisinin parçalanan olduğunu gösteriniz.<br />
Çözüm:<br />
0 −→ Hom(C, A) −→ Hom(C, B) −→ Hom(C, C) −→ Ext 1 R(C, A) −→ . . .<br />
tam dizisini elde ederiz. Ext 1 R<br />
(C, A) = 0 olduğundan<br />
0 −→ Hom(C, A) f∗<br />
−→ Hom(C, B) g∗<br />
−→ Hom(C, C) −→ 0<br />
dizisi tamdır. Buna göre g ∗ epimorfizmasıdır ve dolayısıyla<br />
1 C ∈ Hom(C, C) için g ◦ u = g ∗ (u) = 1 C olacak şekilde bir u ∈ Hom(C, B) bulunur. Bu ise,<br />
0<br />
f<br />
A<br />
B<br />
g<br />
u<br />
<br />
C<br />
0<br />
dizisinin parçalanması demektir.<br />
6. Bir T : R − Mod −→ Ab additif kovaryant funktoru ve bir n ∈ Z için T n türev funktoru tamsa, T n−1<br />
funktorunun sağdan tam ve T n+1 funktorunun da soldan tam olduğunu gösteriniz.<br />
Çözüm: A herhangi bir modül ve (I, ɛ), A’nın herhangi bir injektif çözücüsü olsun.<br />
0 −→ I 0 d<br />
−→ 0<br />
I 1 d<br />
−→ 1<br />
I 2 −→ . . . −→ I n−1 d<br />
−→ n−1<br />
I n d<br />
−→ n<br />
. . .<br />
0 −→ T (I 0 ) T (d0 )<br />
−→ T (I 1 ) T (d1 )<br />
−→ T (I 2 ) T (d2 )<br />
−→ . . . −→ T (I n−1 ) T (dn−1 )<br />
−→ T (I n ) −→ . . .<br />
T n funktoru tam ise<br />
T n (A) = H n (T (I)) = Ker(T (d n ))/Im(T (d n−1 )) = 0<br />
dır. 0 −→ A −→ B −→ C −→ 0 tam dizi olsun.<br />
0 −→ T n (A) −→ T n (B) −→ T n (C) −→ 0<br />
tamdır.<br />
∂ n−1 = 0 ise<br />
0 −→ T 0 (A) −→ T 0 (B) −→ T 0 (C) −→ T 1 (A) −→ . . .<br />
. . . −→ T n−1 (A) −→ T n−1 (B) −→ T n−1 (C) ∂n−1<br />
−→ T n (A) −→ T n (B)<br />
−→ T n (C) −→ ∂n<br />
T n+1 (A) −→ T n+1 (B) −→ T n+1 (C) −→ . . .<br />
tam olduğundan T n−1 sağdan tamdır. ∂ n = 0 ise<br />
T n−1 (A) −→ T n−1 (B) −→ T n−1 (C) −→ 0<br />
0 −→ T n+1 (A) −→ T n+1 (B) −→ T n+1 (C)<br />
3
tam olduğundan T n+1 soldan tamdır.<br />
7. P modülünün projektif olması için gerek ve yeter koşul her f : A −→ B monomorfizması için<br />
Ext 1 (P, f) : Ext 1 (P, A) −→ Ext 1 (P, B)<br />
nin monomorfizma olmasıdır. Gösteriniz.<br />
Çözüm:<br />
0 −→ A −→ f<br />
B −→ p<br />
B/Imf −→ 0<br />
tam dizisini alalım.<br />
0 −→ Hom(P, A) −→ f∗<br />
Hom(P, B) −→ p∗<br />
a<br />
Hom(P, B/Imf) −→ Ext 1 (P, A)<br />
Ext 1 (P,f)<br />
−→ Ext 1 (P, B) −→ Ext 1 (P, C) −→ 0<br />
tam dizidir. P projektif olduğundan Hom(P, −) tamdır.<br />
Hom(P, B/Imf) = Imp ∗ = Kera ⇔ a = 0 ⇔ Ima = 0 = Ker(Ext 1 (P, f))<br />
olduğundan Ext 1 (P, f) monomorfizmadır.<br />
8. A ve B birer abel grup olmak üzere T or 0 Z (A, B) ∼ = A ⊗ Z B olduğunu gösteriniz.<br />
Çözüm: T = A ⊗ − ve her n için P n projektif olmak üzere<br />
... P 1<br />
d 1 P 0<br />
ε B 0<br />
tam dizisini alalım. Bu durumda<br />
... T (P 1 ) T (d 1) T (P 0 ) T (d 0)<br />
0<br />
kompleksinden<br />
T or 0 Z (A, B) = T 0(B) = Ker(T (d 0 ))/Im(T (d 1 )) = T (P 0 )/Im(T (d 1 ))<br />
dir. Diğer taraftan T sağdan tam oduğundan<br />
T (P 1 ) T (d 1) T (P 0 ) T (ε) T (B) 0<br />
dizisi tamdır. O halde esas homomorfizma teoreminden<br />
T (B) = Im(T (ε)) ∼ = T (P 0 )/Im(T (d 1 )) = T orZ 0 (A, B)<br />
dir. Buradan<br />
A ⊗ B = T (B) = T orZ 0 (A, B)<br />
4
olur.<br />
9. A ve B birer R− modül olmak üzere Ext 0 R (A, B) ∼ = Hom R (A, B) olduğunu gösteriniz.<br />
Çözüm:T = Hom R (A, −) ve her n için I n injektif olmak üzere<br />
0 −→ B δ −→ I 0 d 0<br />
−→ I 1 d 1<br />
−→ ...<br />
tam dizisini alalım. Bu durumda<br />
0 T (d−1 )<br />
T (I 0 ) T (d0 ) T (I 1 ) ...<br />
kompleksinden<br />
Ext 0 R(A, B) = T 0 (B) = Ker(T (d 0 ))/Im(T (d −1 )) ∼ = Ker(T (d 0 ))<br />
dir. Diğer taraftan T soldan tam olduğundan<br />
0 T (B) T (δ) T (I 0 ) T (d0 ) T (I 1 ) ...<br />
dizisi tamdır. O halde esas homomorfizma teoreminden<br />
T (B) ∼ = Im(T (δ)) = Ker(T (d 0 )) ∼ = Ext 0 R(A, B)<br />
dir. Buradan<br />
olur.<br />
Hom R (A, B) = T (B) ∼ = Ext 0 R(A, B)<br />
10. B bir Z− modül olmak üzere Ext 1 Z ( Z mZ , B) ∼ = B mB<br />
olduğunu gösteriniz.<br />
Çözüm:<br />
0 −→ Z fm<br />
−→ Z −→ Z/mZ −→ 0<br />
kısa tam dizisini alalım. Z projektif olduğundan Ext(Z, B) = 0 dır.<br />
. . . −→ Hom(Z, B) Hom(fm,B)<br />
∂<br />
−→ Hom(Z, B) −→ Ext(Z/mZ, B) −→ 0<br />
tam dizisini elde ederiz. Hom(Z, B) ∼ = B doğal izomorfizmasından<br />
. . . −→ B f m<br />
−→ ∗ B −→ ∂′<br />
Ext(Z/mZ, B) −→ 0<br />
tam dizisini elde ederiz. Bu durumda<br />
Ext(Z/mZ, B) = Im(∂ ′ ) ∼ = B/ker(∂ ′ ) = B/Im(f ∗ m) = B/mB<br />
dir.<br />
5