Master Degree / Yüksek Lisans Tezleri

Permanent URI for this collectionhttps://hdl.handle.net/11147/3008

Browse

Search Results

Now showing 1 - 7 of 7
  • Master Thesis
    Proper Class Generated by Submodules That Have Supplements
    (Izmir Institute of Technology, 2008) Demirci, Yılmaz Mehmet; Alizade, Rafail; Alizade, Rafail
    In this thesis, we study the class S of all short exact sequences 0 A B C 0 where Im& has a supplement in B, i.e. a minimal elemenr in the set {V B V + Im& . B}.The corresponding elements of ExtR(C;A) are called k-elements. In general k-elements need not form a subgroup in ExtR(C;A), but in the category TR of torsion R-modules over a Dedekind domain R, S is a proper class; there are no nonzero S-projective modules and the only S-injective modules are injective R-modules in TR. In this thesis we also give the structure of S-coinjective R-modules in TR. Moreover, we define the class SB of all short exact sequences 0 A B C 0 where Im & has a supplement V in B and V in B and In & is bounded. The corresponding elements of ExtR(C;A) are called B-elements. Over a noetherian integral domain of Krull dimension 1, B-elements form a proper class. In the category TR over a Dedekind domain R, SB is a proper class; there are no nonzero SB-projective R-modules and SB-injective R-modules are only the injective R-modules. In the category TR, reduced SB-coinjective R-modules are bounded R-modules.
  • Master Thesis
    Submodules That Have Supplements
    (Izmir Institute of Technology, 2007) Çeliköz, Zafer; Alizade, Rafail; Alizade, Rafail
    In this thesis we study theK -elements of extension modules where R is a principal ideal domain. In general K -elements need not form a submodule in an extension module but if C is divisible and almost all primary components of C are zero, they coincide with torsion elements of extension module. If C is divisible and torsion, not all primary components of C are zero, andAis torsion free ok rank 1 then a nonzero element of extension module is a K-element if and only if the type of the element in extension module is less than or equal to the type of A. Also we define B-elements which form a submodule of extension module and study their relation with K-elements.
  • Master Thesis
    Lower-Top and Upper-Bottom Points for Any Formula in Temporal Logic
    (Izmir Institute of Technology, 2006) Baysal, Onur; Alizade, Rafail
    In temporal logic, which is a branch of modal logic, models are constructed on some kind of frames. Common properties of all these frames include totally ordered relations and these frames are bi-directional. These common properties provide the temporal logic time interpretation. By means of this interpretation temporal language has lots of application areas. The main aim of this study is to propose new technic which gets easier proof of some kind of valid formulas in the most popular temporal frame T and to produce new valid formulas with the medium of this new technic. To be able to realize this main aim, first of all the frame T . (N;6;>;R±;R for temporal language has been composed step by step in accordance with principles of modal logic. Then the new terms " lower-top and upper-bottom points for any temporal formula " has been defined in the model M . (T; V ) which is built over the frame T and some propositions of this term have been obtained. At the end of the study it has been presented that proofs of some theorems have been done easier and it has been given possibility to produce the new theorems.Moreover a general investigation about the frame T has been done and presented, furthermore it has been shown that the mirror image of the valid formulas do not have to be valid and it is also possible that the mirror image of non valid formulas can be valid.
  • Master Thesis
    Generalization of Cofinitely Supplemented Modules To Lattices
    (Izmir Institute of Technology, 2005) Çetindil, Yasin; Alizade, Rafail
    In this thesis we study how to extend the notion of co¯nitely supplemented module to lattice theory. A submodule N of a module M is called co¯nite if the factor module M/N is ¯nitely generated and we say that M is a co¯nitely supplemented module if every co¯nite submodule of M has a supplement. We analogously de¯ne the notions of co¯nite element and co¯nitely supplemented lattice for lattices. Inspired by the similarities between the properties of modules and modular lattices, we obtain results for co¯nitely supplemented modular lattices, analogous to results for co¯nitely supplemented modules
  • Master Thesis
    Confinitely Amply Weakly Supplemented Modules
    (Izmir Institute of Technology, 2005) Menemen, Filiz; Alizade, Rafail; Alizade, Rafail
    We study amply weak supplemented modules and co¯nitely amply weakly supple-mented modules in this thesis. We prove that every factor module, homomorphic image, supplemented submodule of an amply (co¯nitely) weak supplemented module is amply (co¯nitely) weak supplemented.
  • Master Thesis
    Absolutely Supplement and Absolutely Complement Modules
    (Izmir Institute of Technology, 2004) Erdoğan, Sultan Eylem; Alizade, Rafail; Alizade, Refail
    We introduce and study absolutely supplement (respectively complement) modules. We call a module an absolutely supplement (respectively complement) if it is a supplement (respectively complement) in every module containing it. We show that a module is absolutely supplement (respectively complement) if and only if it is a supplement (respectively complement) in its injective envelope. The class of all absolutely supplement (respectively complement) modules is closed under extensions and under supplement submodules (respectively under factor modules by complement submodules). We also consider the dual notions of absolutely co-supplements (respectively co-complements).
  • Master Thesis
    The Least Proper Class Containing Weak Supplement
    (Izmir Institute of Technology, 2009) Durğun, Yılmaz; Alizade, Rafail
    The main purpose of this thesis is to investigate the least proper class containing the classWS of R-modules determined by weak supplement submodules over a ring R, in particular, over hereditary rings. A submodule A of a module B has(is) weak supplement if and only if there exist a submodule V in B such that A + V . B and the intersection of submodules of A and V is small in B. The classWS does not form a proper class, in general. By extending the class WS, we obtained the least proper class containing the class WS of R-modules over hereditary rings. We investigate the homological objects of the least proper class. We determine the structure of elements of the proper class by submodules.