Theorems on M-splittings of a singular M-matrix which depend on graph structure

Let $\text{A=M?Nε}\text{R}{}^{\mathrm{n\; n}}$ be a splitting. We investigate the spectral properties of the iteration matrix M^-1N by considering the relationships of the graphs of A, M, N, and M^-1N. We call a splitting an M-splitting if M is a nonsingular M-matrix and N?0. For an M-splitting of an irreducible Z-matrix A we prove that the circuit index of M^-1N is the greatest common divisor of certain sets of integers associated with the circuits of A. For M-splittings of a reducible singular M-matrix we show that the spectral radius of the iteration matrix is 1 and that its multiplicity and index are independent of the splitting. These results hold under somewhat weaker assumptions.     

NOTES ON NILPOTENCY OF NIL SUBRINGS OF ENDOMORPHISM RINGS OF MODULES

Abstract

A family K of right R-modules is called a natural class if K is closed under submodules, direct sums, infective hulls, and isomorphic copies. The main result of this note is the following: Let K be a natural class on Mod-R and M ε K. If M satisfies a.c.c. (or d.c.c.) on the set of submodules {N ? M: M/N ε K}, then each nil subring of End(M_R ) is nilpotent.     

Schmidt's game, badly approximable matrices and fractals

We prove that for every M,N∈N, if τ is a Borel, finite, absolutely friendly measure supported on a compact subset K of RMN, then K∩BA(M,N) is a winning set in Schmidt's game sense played on K, where BA(M,N) is the set of badly approximable M×N matrices. As an immediate consequence we have the following application. If K is the attractor of an irreducible finite family of contracting similarity maps of RMN satisfying the open set condition (the Cantor's ternary set, Koch's curve and Sierpinski's gasket to name a few known examples), then

dimK=dimK∩BA(M,N).     

Multivariate Jackson Inequality

By known multivariate versions of the classical Jackson theorem, every compact cube P in R^N admits Jackson’s inequality. The purpose of this note is to deliver other examples of Jackson sets in R^N. We shall show that a finite union of disjoint Jackson compact sets in R^N is also a Jackson set and that this in general fails to hold for an infinite union of Jackson sets. We also give a characterization of Jackson sets in the family of Markov compact sets in R^N which together with a Bierstone result permits one to show that Whitney regular compact subsets of R^N are Jackson.     

A notion of robustness and stability of manifolds

Starting from the notion of thickness of Parks we define a notion of robustness for arbitrary subsets of Rk and we investigate its relationship with the notion of positive reach of Federer. We prove that if a set M is robust, then its boundary ∂M is of positive reach and conversely (under very mild restrictions) if ∂M is of positive reach, then M is robust. We then prove that a closed non-empty robust set in Rk (different from Rk) is a codimension zero submanifold of class C¹ with boundary. As a partial converse we show that any compact codimension zero submanifold with boundary of class C² is robust. Using the notion of robustness we prove a kind of stability theorem for codimension zero compact submanifolds with boundary: two such submanifolds, whose boundaries are close enough (in the sense of Hausdorff distance), are diffeomorphic.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

Direct injective modules

Throughout this paperR will denote a ring with idenity element andM a unitary right module overR. AnR-moduleM is said to be direct injective if and only if given direct summandN ofM with injectioni _N:N→M and a monomorphismg:N→M, there exists an endomorphismf ofR-moduleM such thatfg=i _N. In this paper we investigate properties of direct injective modules, and obtain the following results on direct injective modules.

1. We establish the necessary and sufficient condition for a module to be direct injective.
2. We show that the answer on problem of Krull-Schmidt-Matlis is in the affirmative in caseR-moduleM is extending direct injective.
3. We prove that extending direct injectivity of module implies same properties of its direct summands.

     

A generalization of finite dimensionality for modules

Let R be a ring with identity. Let C be a class of R-modules which is closed under submodules and isomorphic images. Define a submodule C of an R-module M to be a C-submodule of M if C ? C. An R-module M is said to be C-finite dimensional if it does not contain an infinite direct sum of non-zero C-submodules of M. Theorem: Let M be a C-finite dimensional R-module. Then there is a uniform bound (the C-dimension of M) on the number of non-zero C-submodules in a direct sum of submodules of M. When C = $\text{M}$_R, we recover the definition of dimension in the sense of Goldie. When C is the class of torsion-free modules relative to a kernel functor σ, we derive the formula: dim M = σ-dim M + dim (σ(M)) where for an R-module N, dim N is the dimension of N in the sense of Goldie and σ-dim N is the dimension of N relative to the class of σ-torsion- free modules. A special case gives a new interpretation of rank of a module as defined by Goldie.     

The genus of a module

Let R be a Dedekind domain satisfying the Jordan-Zassenhaus theorem (e.g., the ring of integers in a number field) and Λ a module finite R-algebra. We extend classical results of Jacobinski, Roiter, and Drozd on orders and lattices. In particular, it is shown that the genus of a finitely generated Λ-module M is finite. Moreover, given M, there exist a positive integer t and a finite extension S of R such that a Λ-module N is the genus of M if and only if M^(t) ? N^(t) if and only if M ? S ? N ? S.     

On graph compatible Splittings of M-matrices

Let A ϵ Rⁿⁿ. Then A = M − N is called a regular splitting of A if M^-1 ⩾ 0 and N ⩾ 0, and A = M − N is called a graph compatible splitting of A if ⊼[Ggr](A)⊼ ⊇ [Ggr](M), where [Ggr](A) is the graph of A and ⊼[Ggr](A)⊼ its reflexive transitive closure. We answer in the negative a question raised by H. Schneider whether a regular splitting A = M − N of an M-matrix is graph compatible if all diagonal elements of A (or M) are positive.     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

Strongly Jónsson and strongly HS modules

Let R be a commutative ring with identity and let M be an infinite unitary R-module. Then M is a Jónsson module provided every proper R-submodule of M has smaller cardinality than M. In this note, we strengthen this condition and call an R-module M (which may be finite) strongly Jónsson provided distinct R-submodules of M have distinct cardinalities. We present a classification of these modules, and then we study a sort of dual notion. Specifically, we consider modules M   for which M/N$M/N$ and M/K$M/K$ have distinct cardinalities for distinct R-submodules N and K of M; we call such modules strongly HS (see the introduction for etymology). We conclude the paper with a classification of the strongly HS modules over an arbitrary commutative ring.     

Absolutely split real algebraic vector bundles over a real form of projective space

Let M be a projective variety, defined over the field of real numbers, with the property that the base change MR_×C is isomorphic to CPN for some N. A real algebraic vector bundle E over M will be called absolutely split if the vector bundle ER_⊗C over MR_×C splits into a direct sum of line bundles. We classify the isomorphism classes of absolutely split vector bundles over M.     

On pureness in Abelian groups

Torsion-free Abelian groups G and H are called quasi-equal (G ≈ H) if λG ⊂ H ⊂ G for a certain natural number ≈. It is known (see [3]) that the quasi-equality of torsion-free Abelian groups can be represented as the equality in an appropriate factor category. Thus while dealing with certain group properties it is usual to prove that the property under consideration is preserved under the transition to a quasi-equal group. This trick is especially frequently used when the author investigates module properties of Abelian groups; here a group is considered as a left module over its endomorphism ring. On the other hand, a topical problem in the Abelian group theory is the problem of investigation of pureness in the category of Abelian groups (see [4]). We consider the pureness introduced by P. Cohn [2] for Abelian groups as modules over their endomorphism rings. Particularity of the investigation of the properties of pureness for the Abelian group G as the module _E (G)G lies in the fact that this is a more general situation than the investigation of pureness for a unitary module over an arbitrary ring R with the identity element. Indeed, if _R M is an arbitrary unitary left module and M ⁺ is its Abelian group, then each element from R can be identified with an appropriate endomorphism from the ring E(M ⁺) under the canonical ring homomorphism R → E(M ⁺). Then it holds that if _E(M+) N is a pure submodule in _E(M+) M ⁺, then _R N is a pure submodule in _R M. In the present paper the interrelations between pureness, servantness, and quasi-decompositions for Abelian torsion-free groups of finite rank will be investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 2, pp. 225–238, 2004.     

Bifurcation from stability to instability for a free boundary problem modeling tumor growth by Stokes equation

We consider a free boundary problem modeling tumor growth in fluid-like tissue. The model equations include a diffusion equation for the nutrient concentration, and the Stokes equation with a source which represents the proliferation of tumor cells. The proliferation rate μ and the cell-to-cell adhesiveness γ which keeps the tumor intact are two parameters which characterize the “aggressiveness” of the tumor. For any positive radius R there exists a unique radially symmetric stationary solution with radius r=R. For a sequence μ/γ=Mn(R) there exist symmetry-breaking bifurcation branches of solutions with free boundary r=R+εYn,0(θ)+O(ε²) (n even ?2) for small |ε|, where Yn,0 is the spherical harmonic of mode (n,0). Furthermore, the smallest Mn(R), say Mn_∗(R), is such that n_∗=n_∗(R)→∞ as R→∞. In this paper we prove that the radially symmetric stationary solution with R=RS is linearly stable if μ/γ<N_∗(RS,γ) and linearly unstable if μ/γ>N_∗(RS,γ), where N_∗(RS,γ)?Mn_∗(RS), and we prove that strict inequality holds if γ is small or if γ is large. The biological implications of these results are discussed at the end of the paper.     

Weakly regular modules over normal rings

Under study are some conditions for the weakly regular modules to be closed under direct sums and the rings over which all modules are weakly regular. For an arbitrary right R-module M, we prove that every module in the category σ(M) is weakly regular if and only if each module in σ(M) is either semisimple or contains a nonzero M-injective submodule. We describe the normal rings over which all modules are weakly regular.     

The Blow-up Locus of Heat Flows for Harmonic Maps

Abstract Let M and N be two compact Riemannian manifolds. Let u _k (x, t) be a sequence of strong stationary weak heat flows from M×R ⁺ to N with bounded energies. Assume that u _k→u weakly in H ^{1, 2}(M×R ⁺, N) and that Σ^t is the blow-up set for a fixed t > 0. In this paper we first prove Σ^t is an H ^m−2-rectifiable set for almost all t∈R ⁺. And then we prove two blow-up formulas for the blow-up set and the limiting map. From the formulas, we can see that if the limiting map u is also a strong stationary weak heat flow, Σ^t is a distance solution of the (m− 2)-dimensional mean curvature flow [1]. If a smooth heat flow blows-up at a finite time, we derive a tangent map or a weakly quasi-harmonic sphere and a blow-up set ∪_t<0Σ^t× {t}. We prove the blow-up map is stationary if and only if the blow-up locus is a Brakke motion. This work is supported by NSF grant     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

Embeddings of homology equivalent manifolds with boundary

We prove a theorem on equivariant maps implying the following two corollaries:(1) Let N and M be compact orientable n-manifolds with boundaries such that M⊂N, the inclusion M→N induces an isomorphism in integral cohomology, both M and N have (n−d−1)-dimensional spines and . Then the restriction-induced map Embm(N)→Embm(M) is bijective. Here Embm(X) is the set of embeddings X→Rm up to isotopy (in the PL or smooth category).(2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N?D³ (or for its special 2-spine N) there exists an equivariant map , although N does not embed into R³.The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map implies embeddability of N into Rm? An answer was known for each pair (m,n) except (3,3) and (3,2).     

Nil-Armendariz Rings Relative to a Monoid

For a monoid M, we introduce nil-Armendariz rings relative to M, which are a generalization of nil-Armendariz and M-Armendariz rings, and investigate their properties. First we show that semicommutative rings are nil-Armendariz relative to every unique product monoid M. Also it is shown that for a strictly totally ordered monoid M and an ideal I of R, if I is a semicommutative subrng of R and R/I nil-Armendariz relative to M, then R is nil-Armendariz relative to M. Then we show that if R is a semicommutative ring and nil-Armendariz relative to M, then R is nil-Armendariz relative to M × N, where N is a unique product monoid. As corollaries we obtain some results of [2] and [10].