000 02283cam a2200349 a 4500
003 EG-GiCUC
005 20250223031231.0
008 150526s2014 ua f m 000 0 eng d
040 _aEG-GiCUC
_beng
_cEG-GiCUC
041 0 _aeng
049 _aDeposite
097 _aPh.D
099 _aCai01.12.17.Ph.D.2014.Ah.A
100 0 _aAhmed Yunis Abdelwanis
245 1 0 _aApplications of model theory to near/semi - rings /
_cAhmed Yunis Abdelwanis ; Supervised Ismail. A. Amin , Maher Zayed , Laila. M. Soueif
246 1 5 _aتطبيقات نظرية النماذج على عائلات من الحلقات المقاربة وأشباة الحلقات
260 _aCairo :
_bAhmed Yunis Abdelwanis ,
_c2014
300 _a88 P. ;
_c25cm
502 _aThesis (Ph.D.) - Cairo University - Faculty of Science - Department of Mathematics
520 _aAbstract affine near-rings form an interesting variety of abelian near-rings. We prove that there is a category equivalence between the category of abstract affine near-rings and the category of modules over unspecied rings. Several properties of this equivalence are given. As applications, one can easily transfer first order properties of modules (with respect to the two-sorted first order language of modules) to the corresponding properties of abstract affine near-rings (with respect to the one-sorted first order language of near-rings). With the aid of a Theorem of Gonshor, we study the relation between different kinds of ideals of an arbitrary abstract affine near-ring A and those of the matrix near-ring Mn (A); n{u2265}1: We prove that there is a one-to one correspondence between the r-ideals (resp. pure r-ideals , strongly pure r-ideals) of A and those of Mn(A). Semirings occur in different mathematical fields and have also become of great interest as a tool in different branches of computer science
530 _aIssued also as CD
653 4 _aAffine near-rings
653 4 _aModel theory
653 4 _aNear/semi - rings
700 0 _aIsmail. A. Amin ,
_eSupervisor
700 0 _aLaila. M. Soueif ,
_eSupervisor
700 0 _aMaher Zayed ,
_eSupervisor
856 _uhttp://172.23.153.220/th.pdf
905 _aAml
_eCataloger
905 _aNazla
_eRevisor
942 _2ddc
_cTH
999 _c51042
_d51042