■-内射包络的一些应用(英文)

作为■-内射包络的应用,本文主要研究具有同构的■-内射包络的模之间的同态的若干性质.     

复形的#-内射包络的存在性

令■表示所有#-内射左R-模复形构成的类(即内射左R-模的复形构成的类).本文证明了在左诺特环R上■是完备的内射余挠对.特别地,我们得到每个左R-模复形都有#-内射包络.作为应用,证明了在左诺特环R上,每个左R-模复形都有特殊■-预包络,其中■是所有内射左R-模的完全零调复形构成的类.     

模的Gorenstein cotorsion包络

通过与模的内射包络相比较,讨论了模的基本扩张与Gorenstein cotorsion包络及单模的Gorenstein cotorsion包络,给出了模的Gorenstein cotorsion包络具有类似性质的一些充分条件.     

内射和平坦L-半格

研究内射和平坦L-半格的一些性质,证明L-半格P是内射的当且仅当函子HomL(-,P)把单同态变为满映射。同时得到投射的L-半格是平坦的。     

关于Gorensteincotorsion模

讨论了Gorensteincotorsion模与内射模之间的关系,证明了R是GorensteinvonNeumann正则环当且仅当任意R模M的Oorensteincotorsion包络与内射包络是同构的,当且仅当E（M）／M是Gorenstein平坦模,同时,也讨论了Gorensteincotorsion模与cotorsion模之间的联系。     

S-内射模及S-内射包络

设R是环.设S是一个左R-模簇,E是左R-模.若对任何N∈S,有Ext_R~1(N,E)=0,则E称为S-内射模.本文证明了若S是Baer模簇,则关于S-内射模的Baer准则成立;若S是完备模簇,则每个模有S-内射包络;若对任何单模N,Ext_R~1(N,E)=0,则E称为极大性内射模;若R是交换环,且对任何挠模N,Ext_R~1(N,E)=0,则E称为正则性内射模.作为应用,证明了每个模有极大性内射包络.也证明了交换环R是SM环当且仅当T/R的正则性内射包e(T/R)是∑-正则性内射模,其中T=T(R)表示R的完全分式环,当且仅当每一GV-无挠的正则性内射模是∑-正则性内射模.     

内射模的t－平坦性

设Ｒ为环，ｔ是左Ｒ－模范畴的一个遗传挠理论．文中证明了下述各点等价：（１）每个内射左Ｒ－模是ｔ－平坦的；（２）每个ｔ－有限表现左Ｒ－模的内射包络是ｔ－平坦的；（３）每个ｔ－有限表现左Ｒ－模是自由Ｒ－模的子模；（４）每个ｔ－有限表现左Ｒ－模是自反的且其对偶模是Ｈ－有限生成的．     

环的几种内射性的关系

我们研究了关于广义自内射环(P-内射环,GP-内射环,AP-内射环,单内射环,n-内射环)的一些关系.     

幺半群上的广义内射S-系(英文)

本文考虑拟内射、伪内射、核内射以及支内射S-系的性质,重点讨论这些广义内射S-系的上的线性方程组的性质.例如,A是核内射S-系当且仅当A的任意收缩核B上的任意A-相容线性方程组在B上是可解的;A是支内射S-系当且仅当同构于A的任一分支的S-系B上的任意A-相容线性方程组在B上是可解的.进而讨论了伪内射、核内射以及支内射S-系的融合余积的性质.最后给出了一个充分条件,基于此条件核内射和支内射S-系是等价的.     

伪内射模与主伪内射模

本文研究了伪内射模与主伪内射模,它们分别是拟内射模与PQ-内射模的推广．伪内射模是对偶于伪投射模的．我们讨论了伪内射模与主伪内射模的性质及其自同态环,并得到了自同态环的Jacobson根的若干性质．     

关于L内射覆盖

We use the class of L-injective modules to define L-injective covers, and provide the characterizations of L-injective covers by the properties of kernels of homomorphisms. We prove that the right L-noetherian right L-hereditary ring is just such that every right R-module has an L-injective cover which is monic. We also use kernels of homomorphisms to investigate L-simple L-injective covers and give some constructions of L-simple L-injective covers.     

Explicit convex and concave envelopes through polyhedral subdivisions

In this paper, we derive explicit characterizations of convex and concave envelopes of several nonlinear functions over various subsets of a hyper-rectangle. These envelopes are obtained by identifying polyhedral subdivisions of the hyper-rectangle over which the envelopes can be constructed easily. In particular, we use these techniques to derive, in closed-form, the concave envelopes of concave-extendable supermodular functions and the convex envelopes of disjunctive convex functions.     

Modules invariant under automorphisms of their covers and envelopes

In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective covers, or flat covers, these results extend and provide a much more succinct and clear proofs for various results existing in the literature. Our results are based on several key observations on the additive unit structure of von Neumann regular rings.     

Dualities and envelopes of one-parameter families of frontals in hyperbolic and de Sitter 2-spaces

We consider envelopes of one-parameter families of frontals in hyperbolic and de Sitter 2-space from the viewpoint of duality, respectively. Since the classical notions of envelopes for singular curves do not work, we have to find a new method to define the envelope for singular curves in hyperbolic space or de Sitter space. To do that, we first introduce notions of one-parameter families of Legendrian curves by using the Legendrian dualities. Afterwards, we give definitions of envelopes for the one-parameter families of frontals in hyperbolic and de Sitter 2-space, respectively. We investigate properties of the envelopes. At last, we give relationships among those envelopes.     

Universal Associative Envelopes of Nonassociative Triple Systems

We construct universal associative envelopes for the nonassociative triple systems arising from the trilinear operations of Bremner and Peresi applied to the 2-dimensional simple associative triple system. We use noncommutative Gröbner bases to determine monomial bases, structure constants, and centers of the universal envelopes. We show that the infinite dimensional envelopes are closely related to the down-up algebras of Benkart and Roby. For the finite dimensional envelopes, we determine the Wedderburn decompositions and classify the irreducible representations.     

A note on envelopes of homotopies

In this article, we deal with the notion of the envelopes of homotopies which is the generalized version of functional envelopes in discrete dynamical systems. We prove the stability for envelopes of homotopies in complete normed algebra and we get the stabilities of the derivation and the extended derivation for the notion in the spaces.     

On the Construction of Convex and Concave Envelope Formulas for Bilinear and Fractional Functions on Quadrilaterals

Convex and concave envelopes play important roles in various types of optimization problems. In this article, we present a result that gives general guidelines for constructing convex and concave envelopes of functions of two variables on bounded quadrilaterals. We show how one can use this result to construct convex and concave envelopes of bilinear and fractional functions on rectangles, parallelograms and trapezoids. Applications of these results to global optimization are indicated.     

Additive envelopes of continuous functions

We present an iterative method for constructing additive envelopes of continuous functions on a compact set, with contact at a specified point. For elements of a class of submodular functions we provide closed-form expressions for such additive envelopes.     

Hyperplane Envelopes and the Clairaut Equation

The subject of envelopes has been part of differential geometry from the beginning. This paper brings a modern perspective to the classical problem of envelopes of families of affine hyperplanes. In the process, the classical results are generalized and unified.     

On weak-injective modules over integral domains

We show that a weak-injective module over an integral domain need not be pure-injective (Theorem 2.3). Equivalently, a torsion-free Enochs-cotorsion module over an integral domain is not necessarily pure-injective (Corollary 2.4). This solves a well-known open problem in the negative.In addition, we establish a close relation between flat covers and weak-injective envelopes of a module (Theorem 3.1). This yields a method of constructing weak-injective envelopes from flat covers (and vice versa). Similar relation exists between the Enochs-cotorsion envelopes and the weak dimension ?1 covers of modules (Theorem 3.2).