Sudan University of Science and Technology College of Graduate Studies
Categories and Chain Complexes in Homological Algebra
اﻷﺻﻨﺎف وﻣﺠﻤﻌﺎت اﻟﺴﻼﺳﻞ ﻓﻲ اﻟﺠﺒﺮ اﻟﮭﻤﻮﻟﻮﺟﻲ
A thesis Submitted in fulfillment of the requirements for the degree of Philosophy in mathematics
By
Mohmoud Awada Mohmoud Torkawy
Supervisor:
Dr. Adam Abdalla Abbaker Hassan
April 2014
- 1 -
Dedication
To my family for their cooperation and encouragement
I
Acknowledgements
My thanks firstly to Allah.
I am great full to express my deep thanks to my supervisor Dr. Adam Abdalla Abbakar Hassan at Nile Valley University who suggested the title of this thesis and for his full help.
Also I thank Sudan University of Science and Technology for their help and advice, for their cooperation throughout this study. My thanks extends to the University of Kordofan for the scholarship.
II
Abstract The thesis exposes the basic language of categories and functions. We construct the projective, inductive limits, kernel, cokernel, product, co product. Complexes in additive categories and complexes. in abelian categories. The study asked when dealing with abelian category c, we assume that c is full Abelian. The thesis prove the Yoned lemma, Five lemma, Horseshoe lemma and Snake lemma an then it give rise to an exact sequence, and introduce the long and short exact sequence. We consider three Abelian categories c, c', c" an additive bi functor F: cxc' → c" and we assume that F is left exact with respect to each of its argument, and the study assume that each injective object I∈C the functor F (1,.): c' → c" is exact. The study shows important theorm and proving it if R is ring R
= e {x1, ….…, xn }, the Kozul complex KZ (R) is an object with effective homology. We prove the cone reduction theorem ∈
(if p = (f,g,h): C* D*, and p' = f',f',h'):
C'* D'*, be two reduction and Ø: C* C'* a chain complex morphism, then these data define a canonical reduction P" = (f", g", h" : cone (Ø) cone (f' Ø g'). The study gives a deep concepts and nation of completely multi – positive linear maps between C ∗- algebra and shows they are completely multi positive We gives interpretation and explain how whiteheal theorem is important to homological algebra. .
III
The study construct the localization of category when satisfies its suitable conditions and the localization functors. The thesis is splitting on De Rham co-homology in the module category and structures on categories of complexes in abelian categories. The thesis applies triangulated categories to study the problem B = D (R), the unbounded derived category of chain complexes, and how to relate between categories and chain complexes.
IV
اﻟﺧـﻼﺻــﺔ
ﺗوﺿﺢ ﻫذﻩ اﻷطروﺣﺔ اﻟﻠﻐﺔ اﻷﺳﺎﺳﯾﺔ اﻷﺻﻧﺎف ووظﺎﺋﻔﻬﺎ.
اﻫﺗﻣت اﻟدراﺳﺔ ﺑﺗرﻛﯾب أو ﺑﻧﺎء اﻟﺣدود اﻟﻣﺷروﻋﯾﺔ اﻻﺳﺗﻧﺗﺎﺟﯾﺔ ﻟﻠﻧواة اﻹﺿـﺎﻓﯾﺔ واﻟﻧـــــــواة اﻟﺛﺎﻧوﯾـــــــﺔ واﻟﺿـــــــرب اﻟـــــــداﺧﻠﻲ واﻟﺿـــــــرب اﻟﺧـــــــﺎرﺟﻲ ﻓـــــــﻲ اﻷﺻـــــــﻧﺎف اﻟﺟﻣﻌﯾـــــــﺔ اﻟﺗرﻛﯾﺑﯾﺔ(أو اﻟﻣﻌﻘدة) اﻹﺿﺎﻓﯾﺔ واﻟﺗرﻛﯾﺑﺎت ﻓﻲ اﻷﺻﻧﺎف اﻷﺑﯾﻠﯾﺔ.
ﯾطرح اﻟﺑﺣث اﻟﺳؤال ﻓﻲ ﻛﯾﻔﯾﺔ اﻟﺗﻌﺎﻣل ﻣﻊ اﻟﺻﻧف C ﺣﯾث ﺗﻔﺗرض أن C ﻓﺋﺔ ﺻﻧف أﺑﯾﻠﻲ ﻛﺎﻣل.
ﺗﻧﺎوﻟت اﻟدراﺳﺔ ﺗﻣﻬﯾدﯾﺔ ﯾوﻧدﻟﯾﻣﺎ ( Yoned lemma) و ﺗﻣﻬﯾدﯾﺔ ﻓﺎﯾف ( Five lemma) و ﺗوﻣﻬﯾدﯾـﺔ اﻟﻬورﺷـﻲ (Horsehose lemma) و ﺗﻣﻬﯾدﯾـﺔ ﺳــﻧﺎك ( Snak lemma) وﺑر اﻫﯾﻧﻬـــﺎ وﻣـــن ﺛـــم أﻋطـــت اﻟﻧﺗـــﺎﺋﺞ ﻟﻠﺳﻠﺳـــﻠﺔ اﻟﺗﺎﻣـــﺔ اﻟﺗـــﻲ ﺗﻌﻣـــل ﻋﻠـــﻰ ﺗﻘـــدﯾم اﻟﺳﻼﺳل ذو اﻟﻣدى اﻟطوﯾل واﻟﻘﺻﯾر وﻛﯾف ﯾﻣﻛن ﺗطﺑﯾﻘﻬﺎ واﻻﺳﺗﻔﺎدة ﻣن ذﻟك.
ﺗﻬــدف اﻟدراﺳــﺔ إﻟــﻰ ﺑﻧــﺎء ﺛــﻼث أﺻــﻧﺎف أﺑﯾﻠﯾــﺔ ◌ C.C ً, ◌ً.Cوا ٕ ﻟــﻰ دوال إﺿــﺎﻓﯾﺔ أﺧرى ﻣﺛل اﻟداﻟﺔ F وﻗـد ﺗرﻛـت ﻟوﺣـدﻫﺎ ﻓﯾﻣـﺎ ﯾﺗﻌﻠـق ﺑﻛـل ﺣﺟﯾﺎﺗﻬـﺎ وﺗﻔﺗـرض اﻟدراﺳـﺔ أن ﻛل ﻣدﺧل ﻣوﺿوﻋﻲ ﯾﻧﺗﻣﻲ إﻟﻰ اﻟوظﯾﻔﺔ اﻟﺧﺎﺻﺔ ﺑﻪ (I∈C) وﻫﻲ:
⇉ (. ,F(I وﺗؤدي ﺗﻣﺎﻣﺎً إﻟﻰ ◌ C. ًC
وﺗوﺿــﺢ اﻟدراﺳــﺔ أﻫﻣﯾــﺔ اﻟﻧظرﯾــﺔ اﻟﺗــﻲ ﺗــﻧص ﻋﻠــﻰ أﻧــﻪ إذا ﻛﺎﻧــت R ﺗﻣﺛــل ﺣﻠﻘــﺔ
وان (R= (x1 ...... xn وان ﺗرﻛﯾـب ﻛـوزل (Kozul KZ(R ﻫـو ﺷـﻲء ذو ﺗﺟــﺎﻧس أو ﺗﻣﺎﺛل ﻓﻌﺎل ﯾﻧص ﺑرﻫﺎن اﻟﻧظرﯾﺔ ﻋﻠﻰ ان إذا ﻛﺎﻧت.
P= (f,h,g) C* D*