In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphis...In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.展开更多
In this paper, we determine conditions for the existence of an epimorphism between two finite 4-valued modal algebras and state a method to obtain it. Furthermore, we obtain formulas which generalize those indicated b...In this paper, we determine conditions for the existence of an epimorphism between two finite 4-valued modal algebras and state a method to obtain it. Furthermore, we obtain formulas which generalize those indicated by R. Sikorski for finite Boolean algebras [1] 08D0C9EA79F9BACE118C8200AA004BA90B02000000080000000E0000005F005200650066003300380037003200340036003100310038000000 , and by M. Abad and A. V. Figallo for finite 3-valued ukasiewicz algebras [2] 08D0C9EA79F9BACE118C8200AA004BA90B02000000080000000E0000005F005200650066003300380037003200340036003100320031000000 .展开更多
The aim of this paper is two-fold.Given a recollement(T′,T,T′′,i*,i_*,i~!,j!,j*,j*),where T′,T,T′′are triangulated categories with small coproducts and T is compactly generated.First,the authors show that the BB...The aim of this paper is two-fold.Given a recollement(T′,T,T′′,i*,i_*,i~!,j!,j*,j*),where T′,T,T′′are triangulated categories with small coproducts and T is compactly generated.First,the authors show that the BBD-induction of compactly generated t-structures is compactly generated when i*preserves compact objects.As a consequence,given a ladder(T′,T,T′′,T,T′) of height 2,then the certain BBD-induction of compactly generated t-structures is compactly generated.The authors apply them to the recollements induced by homological ring epimorphisms.This is the first part of their work.Given a recollement(D(B-Mod),D(A-Mod),D(C-Mod),i*,i_*,i~!,j!,j*,j_*) induced by a homological ring epimorphism,the last aim of this work is to show that if A is Gorenstein,AB has finite projective dimension and j! restricts to D^b(C-mod),then this recollement induces an unbounded ladder(B-Gproj,A-Gproj,C-Gproj) of stable categories of finitely generated Gorenstein-projective modules.Some examples are described.展开更多
Recall that f: X→Y is a homotopy epimorphism (monomorphism), if given u, v: Y→W (u, v: W→X), uofvof implies uv (foufov implies uv). In this note, we shall consider the localization of homotopy epimorphisms andmonom...Recall that f: X→Y is a homotopy epimorphism (monomorphism), if given u, v: Y→W (u, v: W→X), uofvof implies uv (foufov implies uv). In this note, we shall consider the localization of homotopy epimorphisms andmonomorphism, 1.e. the following is considered. Problem. If f:X→Y is a homotopy epimorphism (monomorphism), then is any展开更多
We address the question that if π_1-surjective maps between closed aspherical 3-manifolds have the same rank on π_1 they must be of non-zero degree. The positive answer is proved for Seifert manifolds, which is used...We address the question that if π_1-surjective maps between closed aspherical 3-manifolds have the same rank on π_1 they must be of non-zero degree. The positive answer is proved for Seifert manifolds, which is used in constructing the first known example of minimal Haken manifold. Another motivation is to study epimorphisms of 3-manifold groups via maps of non-zero degree between 3- manifolds. Many examples are given.展开更多
Let R be a ring and S a class of R-modules. S-superfluous epimorphisms and S-essential monomorphisms are introduced and studied in this article. As applications, some new characterizations of von Neumann regular rings...Let R be a ring and S a class of R-modules. S-superfluous epimorphisms and S-essential monomorphisms are introduced and studied in this article. As applications, some new characterizations of von Neumann regular rings and perfect rings are given. Finally, these notions are also used to study minimal homomorphisms.展开更多
Ring epimorphisms often induce silting modules and cosilting modules,termed minimal silting or minimal cosilting.The aim of this paper is twofold.Firstly,we determine the minimal tilting and minimal cotilting modules ...Ring epimorphisms often induce silting modules and cosilting modules,termed minimal silting or minimal cosilting.The aim of this paper is twofold.Firstly,we determine the minimal tilting and minimal cotilting modules over a tame hereditary algebra.In particular,we show that a large cotilting module is minimal if and only if it has an adic module as a direct summand.Secondly,we discuss the behavior of minimality under ring extensions.We show that minimal cosilting modules over a commutative noetherian ring extend to minimal cosilting modules along any flat ring epimorphism.Similar results are obtained for commutative rings of small homological dimensions.展开更多
基金Foundation item: Supported by the National Natural Science Foundation of China(10871137)
文摘In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.
文摘In this paper, we determine conditions for the existence of an epimorphism between two finite 4-valued modal algebras and state a method to obtain it. Furthermore, we obtain formulas which generalize those indicated by R. Sikorski for finite Boolean algebras [1] 08D0C9EA79F9BACE118C8200AA004BA90B02000000080000000E0000005F005200650066003300380037003200340036003100310038000000 , and by M. Abad and A. V. Figallo for finite 3-valued ukasiewicz algebras [2] 08D0C9EA79F9BACE118C8200AA004BA90B02000000080000000E0000005F005200650066003300380037003200340036003100320031000000 .
文摘The aim of this paper is two-fold.Given a recollement(T′,T,T′′,i*,i_*,i~!,j!,j*,j*),where T′,T,T′′are triangulated categories with small coproducts and T is compactly generated.First,the authors show that the BBD-induction of compactly generated t-structures is compactly generated when i*preserves compact objects.As a consequence,given a ladder(T′,T,T′′,T,T′) of height 2,then the certain BBD-induction of compactly generated t-structures is compactly generated.The authors apply them to the recollements induced by homological ring epimorphisms.This is the first part of their work.Given a recollement(D(B-Mod),D(A-Mod),D(C-Mod),i*,i_*,i~!,j!,j*,j_*) induced by a homological ring epimorphism,the last aim of this work is to show that if A is Gorenstein,AB has finite projective dimension and j! restricts to D^b(C-mod),then this recollement induces an unbounded ladder(B-Gproj,A-Gproj,C-Gproj) of stable categories of finitely generated Gorenstein-projective modules.Some examples are described.
基金Project supported by the National Natural Science Foundation of China.
文摘Recall that f: X→Y is a homotopy epimorphism (monomorphism), if given u, v: Y→W (u, v: W→X), uofvof implies uv (foufov implies uv). In this note, we shall consider the localization of homotopy epimorphisms andmonomorphism, 1.e. the following is considered. Problem. If f:X→Y is a homotopy epimorphism (monomorphism), then is any
基金supported by the Royal Society, the NSF and The Alfred P. Sloan Foundationsorted by MSTC, by Quisi and by Outstanding
文摘We address the question that if π_1-surjective maps between closed aspherical 3-manifolds have the same rank on π_1 they must be of non-zero degree. The positive answer is proved for Seifert manifolds, which is used in constructing the first known example of minimal Haken manifold. Another motivation is to study epimorphisms of 3-manifold groups via maps of non-zero degree between 3- manifolds. Many examples are given.
基金Supported by Specialized Research Fund for the Doctoral Program of Higher Education (20050284015)National Natural Science Foundation of China (10771096)
文摘Let R be a ring and S a class of R-modules. S-superfluous epimorphisms and S-essential monomorphisms are introduced and studied in this article. As applications, some new characterizations of von Neumann regular rings and perfect rings are given. Finally, these notions are also used to study minimal homomorphisms.
基金supported by Fondazione Cariverona,Program“Ricerca Scientifica di Eccellenza 2018”(Project“Reducing Complexity in Algebra,Logic,Combinatorics-REDCOM”)supported by China Scholarship Council(Grant No.201906860022)。
文摘Ring epimorphisms often induce silting modules and cosilting modules,termed minimal silting or minimal cosilting.The aim of this paper is twofold.Firstly,we determine the minimal tilting and minimal cotilting modules over a tame hereditary algebra.In particular,we show that a large cotilting module is minimal if and only if it has an adic module as a direct summand.Secondly,we discuss the behavior of minimality under ring extensions.We show that minimal cosilting modules over a commutative noetherian ring extend to minimal cosilting modules along any flat ring epimorphism.Similar results are obtained for commutative rings of small homological dimensions.