Applications of model theory to near/semi - rings / Ahmed Yunis Abdelwanis ; Supervised Ismail. A. Amin , Maher Zayed , Laila. M. Soueif
Material type:
TextLanguage: English Publication details: Cairo : Ahmed Yunis Abdelwanis , 2014Description: 88 P. ; 25cmOther title: - تطبيقات نظرية النماذج على عائلات من الحلقات المقاربة وأشباة الحلقات [Added title page title]
- Issued also as CD
| Item type | Current library | Home library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Thesis
|
قاعة الرسائل الجامعية - الدور الاول | المكتبة المركزبة الجديدة - جامعة القاهرة | Cai01.12.17.Ph.D.2014.Ah.A (Browse shelf(Opens below)) | Not for loan | 01010110065744000 | ||
CD - Rom
|
مخـــزن الرســائل الجـــامعية - البدروم | المكتبة المركزبة الجديدة - جامعة القاهرة | Cai01.12.17.Ph.D.2014.Ah.A (Browse shelf(Opens below)) | 65744.CD | Not for loan | 01020110065744000 |
Thesis (Ph.D.) - Cairo University - Faculty of Science - Department of Mathematics
Abstract 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
Issued also as CD
There are no comments on this title.