Multiplication Modules in Which Every Prime Submodule is Contained in a Unique Maximal Submodule

Abstract

Let R be a commutative ring. An R-module M is called a multiplication module if for each submodule N of M, N?=?IM for some ideal I of R. An R-module M is called a pm-module, i.e., M is pm, if every prime submodule of M is contained in a unique maximal submodule of M. In this paper the following results are obtained. (1) If R is pm, then any multiplication R-module M is pm. (2) If M is finitely generated, then M is a multiplication module if and only if Spec(M) is a spectral space if and only if Spec(M)?=?{PM?|?P?∈?Spec(R) and P???M ^⊥}. (3) If M is a finitely generated multiplication R-module, then: (i) M is pm if and only if Max(M) is a retract of Spec(M) if and only if Spec(M) is normal if and only if M is a weakly Gelfand module; (ii) M is a Gelfand module if and only if Mod(M) is normal. (4) If M is a multiplication R-module, then Spec(M) is normal if and only if Mod(M) is weakly normal.     

Principally quasi-injective modules

An R-module M is called principally quasi-injective if each R-hornomorphism from a principal submodule of M to M can be extended to an endomorphism of M. Many properties of principally injective rings and quasi-injective modules are extended to these modules. As one application, we show that, for a finite-dimensional quasi-injective module M in which every maximal uniform submodule is fully invariant, there is a bijection between the set of indecomposable summands of M and the maximal left ideals of the endomorphism ring of M

Throughout this paper all rings R are associative with unity, and all modules are unital. We denote the Jacobson radical, the socle and the singular submodule of a module M by J(M), soc(M) and Z(M), respectively, and we write J(M) = J. The notation N ?^ess M means that N is an essential submodule of M.     

On M-coidempotent elements and fully coidempotent modules

Abstract

In this article, we introduce the notion of M-coidempotent elements of a ring and investigate their connections with fully coidempotent modules, fully copure modules and vn-regular modules where M is a module. We prove that if M is a finitely cogenerated module, then M is fully copure if and only if M is semisimple. We prove that if M is a Noetherian module or M is a finitely cogenerated module, then M is fully coidempotent if and only if M is a vn-regular module. Finally, we give a characterization of semisimple Artinian modules via weak idempotents.     

Prime modules of a gamma ring

We define a prime ΓM-module for a Γ-ringM. It is shown that a subsetP ofM is a prime ideal ofM if and only ifP is the annihilator of some prime ΓM-moduleG. s-prime ideals ofM were defined by the first author. We defines-modules ofM, analogous to a concept defined by De Wet for rings. It is shown that a subsetQ ofM is ans-prime ideal ofM if and only ifQ is the annihilator of somes-moduleG ofM. Relationships between prime ΓM-modules and primeR-modules are established, whereR is the right operator ring ofM. Similar results are obtained fors-modules.     

δ-M-Small and δ-Harada Modules

Let M be a right R-module and N ∈ σ[M]. A submodule K of N is called δ-M-small if, whenever N = K + X with N/X M-singular, we have N = X. N is called a δ-M-small module if N? K, K is δ-M-small in L for some K, L ∈ σ[M]. In this article, we prove that if M is a finitely generated self-projective generator in σ[M], then M is a Noetherian QF-module if and only if every module in σ[M] is a direct sum of a projective module in σ[M] and a δ-M-small module. As a generalization of a Harada module, a module M is called a δ-Harada module if every injective module in σ[M] is δ _M -lifting. Some properties of δ-Harada modules are investigated and a characterization of a Harada module is also obtained.     

Planar normal sections on the natural imbedding of a flag manifold

We study the setX[M] of planar normal sections on the natural imbedding of a flag manifoldM. We characterizeX[M] and show that it is a real algebraic submanifold of P ⁿ (n=dimM). From results of Chen and Ferus, it may be concluded thatX[M] measures how farM is from a symmetricR-space. We compute the Euler characteristic ofX[M] and its complexificationX _c [M]. Our main result shows, in particular, thatx(X[M]) andx(X _c [M]) depend only on dimM and not on the nature ofM itself.     

FBN Modules

For M ∈ R-Mod and τ ∈M-tors, we define the concept of fully τ-bounded module as a generalization of the concept of fully τ-bounded ring. We prove that for a τ-noetherian module M with local τ _M -Gabriel correspondence, which is a progenerator of σ[M] and with τ is FIS-invariant, then M is fully τ-bounded. Also, we show that if M is τ-noetherian and fully τ-bounded, then M has local τ _M -Gabriel correspondence.     

Omega- and Beta-Models of Alternative Set Theory

We present the axioms of Alternative Set Theory (AST) in the language of second-order arithmetic and study its ω- and β-models. These are expansions of the form (M, M), M ? P(M), of nonstandard models M of Peano arithmetic (PA) such that (M, M) ? AST and ω ? M. Our main results are: (1) A countable M ? PA is β-expandable iff there is a regular well-ordering for M. (2) Every countable β-model can be elementarily extended to an ω-model which is not a β-model. (3) The Ω-orderings of an ω-model (M, M) are absolute well-orderings iff the standard system SS(M) of M is a β-model of A^?_2. (4) There are ω-expandable models M such that no ω-expansion of M contains absolute Ω-orderings. (5) There are s-expandable models (i. e., their ω-expansions contain only absolute Ω-orderings) which are not β-expandable. (6) For every countable β-expansion M of M, there is a generic extension M[G] which is also a β-expansion of M. (7) If M is countable and β-expandable, then there are regular orderings <₁, <₂ such that neither <₁ belongs to the ramified analytical hierarchy of the structure (M, <₂), nor <₂ to that of (M, <₁). (8) The result (1) can be improved as follows: A countable M ? PA is β-expandable iff there is a semi-regular well-ordering for M.     

Frobenius Full Matrix Algebras and Gorenstein Tiled Orders

It is well-known that if R is a left Noetherian ring, then there is a bijective correspondence between minimal prime ideals of R and maximal torsion radicals of R-Mod. Using the notion of a prime M-ideal, it is shown that this correspondence can be extended to the category σ[M] of modules subgenerated by a module M, provided that M is a Noetherian quasi-projective generator in σ[M]. Furthermore, under this hypothesis the prime M-ideals are the fully invariant submodules P of M such that M/P is semi-compressible.     

The structure of the 3-separations of 3-connected matroids

Tutte defined a k-separation of a matroid M to be a partition (A,B) of the ground set of M such that |A|,|B|k and r(A)+r(B)−r(M)<k. If, for all m<n, the matroid M has no m-separations, then M is n-connected. Earlier, Whitney showed that (A,B) is a 1-separation of M if and only if A is a union of 2-connected components of M. When M is 2-connected, Cunningham and Edmonds gave a tree decomposition of M that displays all of its 2-separations. When M is 3-connected, this paper describes a tree decomposition of M that displays, up to a certain natural equivalence, all non-trivial 3-separations of M.     

Nonstandard models that are definable in models of Peano Arithmetic

In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model N without parameters in a model M, we show that N is isomorphic to M if M is elementary extension of the standard model and N is elementarily equivalent to M. On the other hand, we show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M but N is not isomorphic to M. We also show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M, and N is isomorphic to M, but N is not definably isomorphic to M. And also, we give a generalization of Tennenbaum's theorem. At the end, we give a new method to construct a definable model by a refinement of Kotlarski's method. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Reduced multiplication modules

An R-module M is called a multiplication module if for each submodule N of M, N = IM for some ideal I of R. As defined for a commutative ring R, an R-module M is said to be reduced if the intersection of prime submodules of M is zero. The prime spectrum and minimal prime submodules of the reduced module M are studied. Essential submodules of M are characterized via a topological property. It is shown that the Goldie dimension of M is equal to the Souslin number of Spec(M)\mbox{\rm Spec}(M). Also a finitely generated module M is a Baer module if and only if Spec(M)\mbox{\rm Spec}(M) is an extremally disconnected space; if and only if it is a CS-module. It is proved that a prime submodule N is minimal in M if and only if for each x ∈ N, Ann(x) \not í (N:M).\mbox{\rm Ann}(x) \not \subseteq (N:M). When M is finitely generated; it is shown that every prime submodule of M is maximal if and only if M is a von Neumann regular module (VNM); i.e., every principal submodule of M is a summand submodule. Also if M is an injective R-module, then M is a VNM.     

Semiregular Modules with Respect to a Fully Invariant Submodule

Abstract

Let M be a left R-module and F a submodule of M for any ring R. We call M F-semiregular if for every x ∈ M, there exists a decomposition M = A ⊕ B such that A is projective, A ≤ Rx and Rx ∩ B ≤ F. This definition extends several notions in the literature. We investigate some equivalent conditions to F-semiregular modules and consider some certain fully invariant submodules such as Z(M), Soc(M), δ(M). We prove, among others, that if M is a finitely generated projective module, then M is quasi-injective if and only if M is Z(M)-semiregular and M ⊕ M is CS. If M is projective Soc(M)-semiregular module, then M is semiregular. We also characterize QF-rings R with J(R)² = 0.     

D3-Modules

A right R-module M is called a D3-module, if M ₁ and M ₂ are direct summands of M with M = M ₁ + M ₂, then M ₁ ∩ M ₂ is a direct summand of M. Following the work of Bass on projective covers, we introduce the notion of D3-covers and provide new characterizations of several well-known classes of rings in terms of D3-modules and D3-covers.     

Relative Flatness and Coherence

For a fixed given right R-module M, so-called M-flat left R-modules are investigated, which are flat relative to short exact sequences in the subcategory σ[M] subgenerated by M. The properties of M-flat modules lead naturally to a concept of an M-coherent module and M-coherent ring R. Various properties and characterizations of M-coherent modules and rings are proven.

Communicated by R. Wisbauer     

Topologies on central extensions of von Neumann algebras

Given a von Neumann algebra M, we consider the central extension E(M) of M. We introduce the topology t _c(M) on E(M) generated by a center-valued norm and prove that it coincides with the topology of local convergence in measure on E(M) if and only if M does not have direct summands of type II. We also show that t _c(M) restricted to the set E(M) _h of self-adjoint elements of E(M) coincides with the order topology on E(M) _h if and only if M is a σ-finite type I_fin von Neumann algebra.     

Uniqueness Theorems for CR Functions

Let M be a CR manifold embedded in ?^s of arbitrary codimension. M is called generic if the complex hull of the tangent space in all points of M is the whole ?^s. M is minimal (in sense of Tumanov) in p ? M if there does not exist any CR submanifold of M passing through p with the same CR dimension as M but of smaller dimension. Let M be generic and minimal in some point p ? M and N be a generic submanifold of M passing through p. We prove that a continuous CR function on M vanishes identically in some neigbourhood of p if its restriction to N either vanishes in p faster then some function with non-integrable logarithm or it vanishes on a subset of N of positive measure.     

A Hadamard product involving N-matrices

We show that for any pair M,N of n by n M-matrices, the Hadamard (entry-wise) product M°N _-1 is again an M-matrix. For a single M-matrix M, the matrix M°M ^-1 is also considered.     

A Note on Relative Flatness and Coherence

Let R be a ring and M a fixed right R-module. A new characterization of M-flatness is given by certain linear equations. For a left R-module F such that the canonical map M? _R F → Hom _R (M?, F) is injective, where M? = Hom _R (M, R), the M-flatness of F is characterized via certain matrix subgroups. An example is given to show that R need not be M-coherent even if every left R-module is M-flat. Moreover, some properties of M-coherent rings are discussed.     

Properties of a certain product of submodules

Let R be a commutative ring with identity, let M be an R-module, and let K ₁, . . . ,K _n be submodules of M: We construct an algebraic object called the product of K ₁, . . . ,K _n : This structure is equipped with appropriate operations to get an R(M)-module. It is shown that the R(M)-module M ⁿ   = M . . .M and the R-module M inherit some of the most important properties of each other. Thus, it is shown that M is a projective (flat) R-module if and only if M ⁿ is a projective (flat) R(M)-module.