scholarly journals On Dense Subsemimodules and Prime Semimodules

2020 ◽  
pp. 1446-1455
Author(s):  
Ahmed H. Alwan ◽  
Asaad M. A. Alhossaini
Keyword(s):  
Injective Hull

In this paper, we study the class of prime semimodules and the related concepts, such as the class of  semimodules, the class of Dedekind semidomains, the class of prime semimodules which is invariant subsemimodules of its injective hull, and the compressible semimodules. In order to make the work as complete as possible, we stated, and sometimes proved, some known results related to the above concepts.

A New Construction of the Injective Hull

1968 ◽  
Vol 11 (1) ◽  
pp. 19-21 ◽  
Author(s):  
Isidore Fleischer
Keyword(s):  
Essential Extension ◽  
Injective Hull ◽  
Minimal Cardinality ◽  
New Construction ◽  
Definition Of

The definition of injectivity, and the proof that every module has an injective extension which is a subextension of every other injective extension, are due to R. Baer [B]. An independent proof using the notion of essential extension was given by Eckmann-Schopf [ES]. Both proofs require the p reliminary construction of some injective overmodule. In [F] I showed how the latter proof could be freed from this requirement by exhibiting a set F in which every essential extension could be embedded. Subsequently J. M. Maranda pointed out that F has minimal cardinality. It follows that F is equipotent with the injective hull. Below Icon struct the injective hull by equipping Fit self with a module strucure.

scholarly journals The ideal of Lipschitz classical p-compact operators and its injective hull

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Toufik Tiaiba ◽  
Dahmane Achour
Keyword(s):  
Banach Space ◽  
Compact Operator ◽  
Metric Space ◽  
Metric Spaces ◽  
Compact Operators ◽  
Operator Ideal ◽  
Linear Case ◽  
Injective Hull ◽  
Nuclear Operators ◽  
The Ideal

Abstract We introduce and investigate the injective hull of the strongly Lipschitz classical p-compact operator ideal defined between a pointed metric space and a Banach space. As an application we extend some characterizations of the injective hull of the strongly Lipschitz classical p-compact from the linear case to the Lipschitz case. Also, we introduce the ideal of Lipschitz unconditionally quasi p-nuclear operators between pointed metric spaces and show that it coincides with the Lipschitz injective hull of the ideal of Lipschitz classical p-compact operators.

Constructing pure injective hulls

1980 ◽  
Vol 45 (3) ◽  
pp. 544-548 ◽  
Author(s):  
Wilfrid Hodges
Keyword(s):  
Abelian Group ◽  
Homomorphic Image ◽  
Injective Hull ◽  
Pure Extension ◽  
The One ◽  
Injective Hulls

Let A be an abelian group and B a pure injective pure extension of A. Then there is a homomorphic image C of B over A which is a pure injective hull of A; C can be constructed by using Zorn's lemma to find a suitable congruence on B. In a paper [4] which greatly generalises this and related facts about pure injectives, Walter Taylor asks (Problem 1.5) whether one can find a “construction” of C which is more concrete than the one mentioned above; he asks also whether the points of C can be explicitly described. In this note I return the answer No.

scholarly journals Relative injectivity and CS-modules

1994 ◽  
Vol 17 (4) ◽  
pp. 661-666
Author(s):  
Mahmoud Ahmed Kamal
Keyword(s):  
Direct Decomposition ◽  
Injective Hull ◽  
Extra Condition ◽  
Direct Sums ◽  
Direct Sum ◽  
Injective Modules ◽  
Semisimple Module ◽  
Continuous Module

In this paper we show that a direct decomposition of modulesM⊕N, withNhomologically independent to the injective hull ofM, is a CS-module if and only ifNis injective relative toMand both ofMandNare CS-modules. As an application, we prove that a direct sum of a non-singular semisimple module and a quasi-continuous module with zero socle is quasi-continuous. This result is known for quasi-injective modules. But when we confine ourselves to CS-modules we need no conditions on their socles. Then we investigate direct sums of CS-modules which are pairwise relatively inective. We show that every finite direct sum of such modules is a CS-module. This result is known for quasi-continuous modules. For the case of infinite direct sums, one has to add an extra condition. Finally, we briefly discuss modules in which every two direct summands are relatively inective.

scholarly journals Injective Modules Over Non-Artinian Serial Rings

1988 ◽  
Vol 44 (2) ◽  
pp. 242-251 ◽  
Author(s):  
David A. Hill
Keyword(s):  
Affirmative Answer ◽  
Primitive Idempotent ◽  
Injective Hull ◽  
Finitely Generated ◽  
Serial Ring ◽  
Direct Sum ◽  
Injective Modules

AbstractA module is uniserial if its lattice of submodules is linearly ordered, and a ring R is left serial if R is a direct sum of uniserial left ideals. The following problem is considered. Suppose the injective hull of each simple left R-module is uniserial. When does this imply that the indecomposable injective left R-modules are uniserial? An affirmative answer is known when R is commutative and when R is Artinian. The following result is proved.Let R be a left serial ring and suppose that for each primitive idempotent e, eRe has indecomposable injective left modules uniserial. The following conditions are equivalent. (a) The injective hull of each simple left R-module is uniserial. (b) Every indecomposable injective left R-module is univerial. (c) Every finitely generated left R-module is serial.The rest of the paper is devoted to a study of some non-Artinian serial rings which serve to illustrate this theorem.

Injectivity in Equational Classes of Algebras

1972 ◽  
Vol 24 (2) ◽  
pp. 209-220 ◽  
Author(s):  
Alan Day
Keyword(s):  
Abelian Groups ◽  
Essential Extension ◽  
Boolean Algebras ◽  
Equational Class ◽  
Injective Hull ◽  
Fundamental Notion ◽  
First Results ◽  
Initial Results

The concept of injectivity in classes of algebras can be traced back to Baer's initial results for Abelian groups and modules in [1]. The first results in non-module types of algebras appeared when Halmos [14] described the injective Boolean algebras using Sikorski's lemma on extensions of Boolean homomorphisms [19]. In recent years, there have been several results (see references) describing the injective algebras in other particular equational classes of algebras.In [10], Eckmann and Schopf introduced the fundamental notion of essential extension and gave the basic relations that this concept had with injectivity in the equational class of all modules over a given ring. They developed the notion of an injective hull (or envelope) which provided every module with a minimal injective extension or equivalently, a maximal essential extension. In [6] and [9], it was noted that these relationships hold in any equational class with enough injectives.

A Generalization of the Concept of a Ring of Quotients

1971 ◽  
Vol 14 (4) ◽  
pp. 517-529 ◽  
Author(s):  
John K. Luedeman
Keyword(s):  
Left Ideal ◽  
Quotient Ring ◽  
Original Method ◽  
Duke Math ◽  
Injective Hull ◽  
Direct Products ◽  
Left Module ◽  
Matrix Rings ◽  
Ring Of Quotients ◽  
Quotient Rings

AbstractSanderson (Canad. Math. Bull., 8 (1965), 505–513), considering a nonempty collection Σ of left ideals of a ring R, with unity, defined the concepts of “Σ-injective module” and “Σ-essential extension” for unital left modules. Letting Σ be an idempotent topologizing set (called a σ-set below) Σanderson proved the existence of a “Σ-injective hull” for any unital left module and constructed an Utumi Σ-quotient ring of R as the bicommutant of the Σ-injective hull of RR. In this paper, we extend the concepts of “Σinjective module”, “Σ-essentialextension”, and “Σ-injective hull” to modules over arbitrary rings. An overring Σ of a ring R is a Johnson (Utumi) left Σ-quotient ring of R if RR is Σ-essential (Σ-dense) in RS. The maximal Johnson and Utumi Σ-quotient rings of R are constructed similar to the original method of Johnson, and conditions are given to insure their equality. The maximal Utumi Σquotient ring U of R is shown to be the bicommutant of the Σ-injective hull of RR when R has unity. We also obtain a σ-set UΣ of left ideals of U, generated by Σ, and prove that Uis its own maximal Utumi UΣ-quotient ring. A Σ-singular left ideal ZΣ(R) of R is defined and U is shown to be UΣ-injective when Z Σ(R) = 0. The maximal Utumi Σ-quotient rings of matrix rings and direct products of rings are discussed, and the quotient rings of this paper are compared with these of Gabriel (Bull. Soc. Math. France, 90 (1962), 323–448) and Mewborn (Duke Math. J. 35 (1968), 575–580). Our results reduce to those of Johnson and Utumi when 1 ∊ R and Σ is taken to be the set of all left ideals of R.

scholarly journals Finitely Embedded Modules Over Group Rings

1978 ◽  
Vol 21 (1) ◽  
pp. 55-64 ◽  
Author(s):  
P. F. Smith
Keyword(s):  
Zero Element ◽  
Injective Hull ◽  
Group Rings

Let R be a ring and X a right R-module (all rings have identities and all modulesare unitary). The intersection of all non-zero submodules of X is denoted by μ(X). The module X is called monolithic if and only if μ(X)≠0 and in this case μ(X) is anessential simple submodule of X. (Recall that a submodule Y of X is essential if and only if Y ⊂ A ≠ 0 for every non-zero submodule A of X.) It is well known that a module X is monolithic if and only if there is a simple right R-module U such that X is a submodule of the injective hull E(U) of U. If x is a non-zero element of an arbitrary right. R-module X then by Zorn's Lemma there is a submodule Yx of X maximal with the property x ∉ Yx. It can easily be checked that X/Yx is monolithic and ⊂ Yx = 0, where the intersection is taken over all non-zero elements x of X.

A Complex of Modules and Its Applications to Local Cohomology and Extension Functors

2015 ◽  
Vol 117 (1) ◽  
pp. 150 ◽  
Author(s):  
Kamal Bahmanpour
Keyword(s):  
Local Ring ◽  
Noetherian Ring ◽  
Local Cohomology ◽  
Residue Field ◽  
Regular Sequence ◽  
Injective Hull ◽  
Finitely Generated ◽  
Complete Local Ring ◽  
Dual Functor ◽  
Matlis Dual Functor

Let $(R,m)$ be a commutative Noetherian complete local ring and let $M$ be a non-zero Cohen-Macaulay $R$-module of dimension $n$. It is shown that, if $\operatorname{projdim}_R(M)<\infty$, then $\operatorname{injdim}_R(D(H^n_{\mathfrak{m}}(M)))<\infty$, and if $\operatorname{injdim}_R(M)<\infty$, then $\operatorname{projdim}_R(D(H^n_{\mathfrak{m}}(M)))<\infty$, where $D(-):= \operatorname{Hom}_{R}(-,E)$ denotes the Matlis dual functor and $E := E_R(R/\mathfrak{m})$ is the injective hull of the residue field $R/\mathfrak{m}$. Also, it is shown that if $(R,\mathfrak{m})$ is a Noetherian complete local ring, $M$ is a non-zero finitely generated $R$-module and $x_1,\ldots,x_k$, $(k\geq 1)$, is an $M$-regular sequence, then \[ D(H^k_{(x_1,\ldots,x_k)}(D(H^k_{(x_1,\ldots,x_k)}(M))))\simeq M. \] In particular, $\operatorname{Ann} H^k_{(x_1,\ldots,x_k)}(M)=\operatorname{Ann} M$. Moreover, it is shown that if $R$ is a Noetherian ring, $M$ is a finitely generated $R$-module and $x_1,\ldots,x_k$ is an $M$-regular sequence, then \[ \operatorname{Ext}^{k+1}_R(R/(x_1,\ldots,x_k),M)=0. \]

Sign in / Sign up

Export Citation Format

Share Document