Note on residually finite rings

This paper is on the subject of residually finite (= RF) modules and rings introduced by Varadarajan [93] and [98/99]. Specifically there are several theorems that simplify proofs and generalize some results of Varadarajan, namely.

Theorem 1. An RF right R-module is finitely bedded (= has finite essential socle iff M is finite.

Corollay. If T is a right RF woth just finitely many simple ringht R-modules, them R is fimite.

Theorem 2. A commutative ring R is residually finite iff every local ring R_m at a maximal ideal m is finite.     

On nonsingular right fpf rings

A right FPF ring is one over which every finitely generated faithful right module is a generator. The main purpose of the article is to givp the following cnaracterization of certain right FPF rings. TheoremLet R be semiprime and right semihereditary. Then R is right FPF iff (1) the right maximal ring of quotients Q_r (R) = Q coincides with the left and right classical rings of quotients and is self-injective regular of bounded index, (ii) R and Q have the same central idem-potents, (iii) if I is an ideal of R generated by a ma­ximal ideal of the boolean algebra of central idempotent s5 R/I is such that each non-zero finitely generated right ideal is a generator (hence prime), and (iv) R is such that every essential right ideal contains an ideal which is essential as a right ideal

In case that R is semiprime and module finite over its centre C, then the above can be used to show that R is FPF (both sides) if and only if it is a semi-hereditary maximal C-order in a self-injective regular ring (of finite index)

In order to prove the above it is shown that for any semiprime right FPF ring R, Q _lcl (R) exists and coincides with Q_r(R) (Faith and Page have shown that the latter is self-injective regular of bounded index). It R is semiprime right FPF and satisfies a polynamical identity then the factor rings as in (iii) above are right FPF and R is the ring of sections of a sheaf of prime right FPF rings

The Proofs use many results of C. Faith and S Page as well as some of the techniques of Pierce sheaves     

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.     

Right-Left Symmetry of Right Nonsingular Right Max-Min CS Prime Rings

In this article we show, among others, that if R is a prime ring which is not a domain, then R is right nonsingular, right max-min CS with uniform right ideal if and only if R is left nonsingular, left max-min CS with uniform left ideal. The above result gives, in particular, Huynh et al. (2000 Huynh , D. V. , Jain , S. K. , López-Permouth , S. R. ( 2000 ). On the symmetry of the goldie and CS conditions for prime rings . Proc. Amer. Math. Soc. 128 : 3153 – 3157 . [Google Scholar]) Theorem for prime rings of finite uniform dimension.     

On generalized stable rings

In this paper, we introduce the class of generalized stable rings and investigate equivalent characterizations of such rings. We show that End_R R is a generalized stable ring if and only if any right H-module decompositions M = A ₁ + B ₁ = A ₂ + B ₂ with A ₁ ? A ? A ₂ implies that there exist C,D,E ≤ M such that M = C + D B ₁ = c + E + B ₂ with.C ? A. Also we show that every generalized stable ring is a GE-ring and matrices over generalized stable regular ring can be diagonalized by some weakly invertible matrices.     

Constructing quasi-random subsets of ZN by using elliptic curves

Let ε:y2 =x3 + Ax + B be an elliptic curve defined over the finite field Zp(p ＞ 3)and G be a rational point of prime order N on ε.Define a subset of ZN,the residue class ring modulo N,as S ∶={n ∶n ∈ZN,...     

Strongly Clean Property and Stable Range One of Some Rings

Let R be an associative ring with identity. An element a ∈ R is called clean if a = e + u with e an idempotent and u a unit of R, and a is called strongly clean if, in addition, eu = ue. A ring R is clean if every element of R is clean, and R is strongly clean if every element of R is strongly clean. When is a matrix ring over a strongly clean ring strongly clean? Does a strongly clean ring have stable range one? For these open questions, we prove that 𝕄 _n (C(X)) is strongly π-regular (hence, strongly clean) where C(X) is the ring of all real valued continuous functions on X with X a P-space; C(X) is clean iff it has stable range one; and a unital C*-algebra in which every unit element is self-adjoint is clean iff it has stable range one. The criteria for the ring of complex valued continuous functions C(X,?) to be strongly clean is given.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

On Strong Goldie Dimension

Let R be an associative ring with identity. A unital right R-module M is called “strongly finite dimensional” if Sup{G.dim (M/N) | N ≤ M} < +∞, where G.dim denotes the Goldie dimension of a module. Properties of strongly finite dimensional modules are explored. It is also proved that: (1) If R is left F-injective and semilocal, then R is left finite dimensional. (2) R is right artinian if and only if R is right strongly finite dimensional and right semiartinian. Some known results are obtained as corollaries.     

Zur Definition der Nörlundschen Hauptlösung von Differenzengleichungen

φ: R→R. Nörlund [4] defined the principal solution f_N of the difference equation $$V (x, y) \varepsilon R \times R_ + : \frac{1}{y}\left[ {g(x + y, y) - g(x, y)} \right] = \phi (x)$$ by V (x, y) ? [b, ∞) ×R₊: $$f_N (x, y) : = \mathop {\lim }\limits_{s \to 0 + } ( \int\limits_a^\infty {\phi (t) e^{ - st} dt} - y \sum\limits_{\nu = 0}^\infty { \phi (x + \nu y) e^{ - s(x + \nu y )} } )$$ with suitable a,bεR and proved the existence of f_N under certain restrictions onφ. In this paper, another way of defining a principal solution of the difference equation above, which includes Nörlund's, is gone. As an application, we construct in an easy manner a class of limitation methods for getting a principal solution, generalizing results from Nörlund [5].¹)     

Remark on the Hopf Bifurcation Theorem

A simple generalization of the Hopf Bifurcation Theorem for scalar higher order ordinary differential equations is suggested. We study the degenerate case where several roots of the characteristic polynomial cross the imaginary axis at the same point for some value λ₀ of the parameter λ. The main result is that if N₁ roots cross the imaginary axis from the left to the right and N₂ roots cross it from the right to the left, then λ₀ is a Hopf bifurcation point whenever N₁ ≠ N₂. In particular, in the classical Hopf Bifurcation Theorem the numbers N_j are 0 and 1. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Boundary Equivalence for Rings and Matrix Rings over Them

We study into the question of whether some rings and their associated matrix rings have equal decidability boundaries in the scheme and scheme-alternative hierarchies. Let be a decidability boundary for an algebraic system A; w.r.t. the hierarchy H. For a ring R, denote by an algebra with universe . On this algebra, define the operations + and in such a way as to extend, if necessary, the initial matrices by suitably many zero rows and columns added to the underside and to the right of each matrix, followed by ordinary addition and multiplication of the matrices obtained. The main results are collected in Theorems 1-3. Theorem 1 holds that if R is a division or an integral ring, and R has zero or odd characteristic, then the equalities hold for any n1. And if R is an arbitrary associative ring with identity then for any n 1 and i,j { 1,..., n}, where e _ij is a matrix identity. Theorem 2 maintains that if R is an associative ring with identity then . Theorem 3 proves that for any n 1.     

Mod-Retractable Rings

A right module M over a ring R is said to be retractable if Hom _R (M, N) ≠ 0 for each nonzero submodule N of M. We show that M ? _R RG is a retractable RG-module if and only if M _R is retractable for every finite group G. The ring R is (finitely) mod-retractable if every (finitely generated) right R-module is retractable. Some comparisons between max rings, semiartinian rings, perfect rings, noetherian rings, nonsingular rings, and mod-retractable rings are investigated. In particular, we prove ring-theoretical criteria of right mod-retractability for classes of all commutative, left perfect, and right noetherian rings.     

Rings with divisibility on chains of ideals

We present a generalization of the ascending and descending chain condition on one-sided ideals by means of divisibility on chains. We say that a ring R satisfies ACC_d on right ideals if in every ascending chain of right ideals of R, each right ideal in the chain, except for a finite number of right ideals, is a left multiple of the following one; that is, each right ideal in the chain, except for a finite number, is divisible by the following one. We study these rings and prove some results about them. Dually, we say that a ring R satisfies DCC_d on right ideals if in every descending chain of right ideals of R, each right ideal in the chain, except for a finite number of right ideals, is divisible by the previous one. We study these conditions on rings, in general and in special cases.     

Von neumaivn regularity of sf-rings

A ring R is called left (right) SF-ring if all simple left (right) R-modules are flat. It is proved that R is Von Neumann regular if R is a right SF-ring whoe maximal essential right ideals are ideals. This gives the positive answer to a qestion proposed by R. Yue Chi MIng in 1985, and a counterexample is given to settle the follwoing question in the negative: If R is an ERT ring which is one-sided V-ring, is R a left and right V-ring? Some other conditions are given for a SF-ring to be regular.     

On stable range conditions

In this paper, we show that a ring R satisfies unit 1-stable range if and only if a₁R + ? + a_mR = dR with m ≥ 2,a ₁, ?a_m ?R implies that there exist u₁ , ?u_m ? U(R) such that a₁u₁ +?+a_mu_m = d and an exchange ring R has stable range one if and only if a₁R+?+a_mR = dR with m ≥ 2,a ₁,?,a_m ? R implies that there exist unit-regular w ₁,?,w_m ? R such that a₁w₁ +?+ a_mw_m = d. Also we show that an exchange ring R satisfies the n-stable range condition if and only if a( ⁿR)+bR = dR with a ? Rⁿ,b,d ? R implies that there exist unimodular regular w ? ⁿ R and: y ? R such that aw+by = d.     

Distributive multiplication rings

A ringR is said to be a left (right)n-distributive multiplication ring, n>1 a positive integer, if aa₁a₂...a_n=aa₁aa₂...aa_n (a₁a₂...a_na=a₁aa₂a...a_na) for all a, a₁,...,a_n R. It will be shown that the semi-primitive left (right)n-distributive rings are precisely the generalized boolean ringsA satisfying aⁿ=a for all a A. An arbitrary left (right)n-distributive multiplication ring will be seen to be an extension of a nilpotent ringN satisfyingN ⁿ⁺¹=0 by a generalized boolean ring described above. Under certain circumstances it will be shown that this extension splits.     

A Nonlocal Diffusion Equation whose Solutions Develop a Free Boundary

Let J:\mathbbR ? \mathbbRJ:\mathbb{R} \to \mathbb{R} be a nonnegative, smooth compactly supported function such that ò_\mathbbR J(r)dr = 1. \int_\mathbb{R} {J(r)dr = 1.} We consider the nonlocal diffusion problem