HIV/AIDS epidemic fractional-order model

In this paper a non-linear mathematical model with fractional order ?, 0 < ? ≤ 1 is presented for analyzing and controlling the spread of HIV/AIDS. Both the disease-free equilibrium E₀ and the endemic equilibrium E^* are found and their stability is discussed using the stability theorem of fractional order differential equations. The basic reproduction number R₀ plays an essential role in the stability properties of our system. When R₀ < 1 the disease-free equilibrium E₀ is attractor, but when R₀ > 1, E₀ is unstable and the endemic equilibrium (EE) E^* exists and it is an attractor. Finally numerical Simulations are also established to investigate the influence of the system parameter on the spread of the disease.     

Power-Centralizing Automorphisms of Lie Ideals in Prime Rings

Let R be a prime ring with center Z, L a noncentral Lie ideal of R, and σ a nontrivial automorphism of R such that [u ^σ,u] ⁿ  ∈ Z for all u ∈ L. If either char(R) > n or char(R) = 0, then R satisfies s ₄, the standard identity in 4 variables.     

Properties of the Fiber Cone of Ideals in Local Rings

Abstract

For an ideal I of a Noetherian local ring (R, m ) we consider properties of I and its powers as reflected in the fiber cone F(I) of I. In particular,we examine behavior of the fiber cone under homomorphic image R → R/J = R′ as related to analytic spread and generators for the kernel of the induced map on fiber cones ψ _J  : F _R (I) → F _R′(IR′). We consider the structure of fiber cones F(I) for which ker ψ _J  ≠ 0 for each nonzero ideal J of R. If dim F(I) = d > 0,μ(I) = d + 1 and there exists a minimal reduction J of I generated by a regular sequence,we prove that if grade(G ₊(I)) ≥ d ? 1,then F(I) is Cohen-Macaulay and thus a hypersurface.     

Regularity Near a Contact Point for Flame Propagation

In this paper we study a free boundary problem, arising from a model for the propagation of laminar flames. Consider a cylindrical region S in ? ⁿ , and the following free boundary problem with Dirichlet data on ? S: u _t  = Δ u in {u > 0} ∩ S, |? u|=1 on ? {u > 0} ∩ S and u = 0 on ? S. We show that if there is a contact point of the free boundary {u = 0, |? u|=1} with ? S, then the free boundary approaches ? S tangentially and it turns out to be a graph of C ^{1+α, α} function near the contact point. In particular, the space normal is Hölder continuous.     

Quotient Rings and f-Radical Extensions of Rings

By testing quotient rings, we give another viewpoint concerning the relationship between PI and Goldie properties, etc., and f-radical extensions of rings. The main result proved here is as follows: Let R be a prime algebra without nonzero nil right ideals. Suppose that R is f-radical over a subalgebra A, where f(X ₁,…, X _t ) is a multilinear polynomial, not an identity for p × p matrices in case char R = p > 0. Suppose that f is not power-central valued in R. Then the maximal ring of right (left) quotients of A coincides with that of R. Moreover, R is right Goldie if and only if A is.     

The 𝒥-Radical and the Pierce Radicals of a Lattice-Ordered Ring

Abstract

The 𝒥-radical of a lattice-ordered ring Ris the ?-ring analogue of the Jacobson radical of a ring. It is shown that if the matrix ring R _n has the usual lattice order, then 𝒥(R _n ) = 𝒥(R) _n . The connection between an element abeing right ?-quasi-regular and the inequality a ○ x ≤ 0 is also investigated. For squares in an f-ring the connection is an equivalence. In general it is still an equivalence provided xis the sum of elements from a larger f-ring whose absolute values lie in R. It is also shown that the vanishing of annihilators in an f-ring is inherited by enough totally ordered homomorphic images to give a subdirect product decomposition.     

A Family of Complex Irreducible Characters Possessed by Unitary and Special Unitary Groups Defined over Local Rings

Abstract

Let 𝒪 be a discrete valuation ring whose residue field 𝒪/𝔭 is finite and has odd characteristic. Let l be a positive integer. Set R = 𝒪/𝔭 ^l and let R = R[θ] be the ring obtained by adjoining to R a square root of a non-square unit. Consider the involution σ of R that fixes R elementwise and sends θ to ? θ. Let V be a free R-module of rank n > 0 endowed with a non-degenerate hermitian form ( , ) relative to σ. Let U _n (R) be the subgroup of GL(V) that preserves ( , ). Let SU _n (R) be the subgroup of all g ∈ U _n (R) whose determinant is equal to one. Let Ψ be the Weil character of U _n (R).

All irreducible constituents of Ψ are determined. An explicit character formula is given for each of them. In particular, all character degrees are computed. For n > 2 the corresponding results are also obtained for the restriction of Ψ to SU _n (R).     

On Stability of Gorenstein Categories

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G ₁ → G ₀ → G ⁰ → G ¹ → … such that the complex Hom _R (G, H) is exact for each projective left R-module H, the module Im(G ₀ → G ⁰) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.     

On the Centralizers of Derivations with Engel Conditions

Let R be a noncommutative prime ring and d, δ two nonzero derivations of R. If δ([d(x), x] _n ) = 0 for all x ∈ R, then char R = 2, d ² = 0, and δ = αd, where α is in the extended centroid of R. As an application, if char R ≠ 2, then the centralizer of the set {[d(x), x] _n  | x ∈ R} in R coincides with the center of R.     

Global stability of nonresident computer virus models

In this paper, applying Lyapunov functional techniques to nonresident computer virus models, we establish global dynamics of the model whose threshold parameter is the basic reproduction number R₀ such that the virus‐free equilibrium is globally asymptotically stable when R₀ ≤ 1, and the infected equilibrium is globally asymptotically stable when R₀ > 1 under the same restricted condition on a parameter, which appeared in the literature on delayed susceptible‐infected‐recovered‐susceptible (SIRS) epidemic models. We use new techniques on permanence and global stability of this model for R₀ > 1. Copyright © 2014 John Wiley & Sons, Ltd.     

Nilpotent Subsets of Graded Algebras with Color Involution

In this article, we examine group-graded algebras R with color involution. If S is the symmetric elements and K the skew symmetric elements, it is shown that if S ⁿ  = 0 then R ³ⁿ  = 0, whereas if K ⁿ  = 0 then (R[R, R]_ε R) ⁿ  = 0, where R[R, R]_ε R is the ε-commutator ideal corresponding to a bicharacter ε. It is then shown that the bounds found for the degrees of nilpotence of R and R[R, R]_ε R are best possible. We also examine the situation where R is graded by a finite group and only the identity component of either S or K is assumed to be nilpotent. We conclude by looking at some questions related to the Nagata-Higman theorem.     

Matrix stretching for sparse least squares problems

For linear least squares problems min _x ‖Ax − b‖₂, where A is sparse except for a few dense rows, a straightforward application of Cholesky or QR factorization will lead to catastrophic fill in the factor R. We consider handling such problems by a matrix stretching technique, where the dense rows are split into several more sparse rows. We develop both a recursive binary splitting algorithm and a more general splitting method. We show that for both schemes the stretched problem has the same set of solutions as the original least squares problem. Further, the condition number of the stretched problem differs from that of the original by only a modest factor, and hence the approach is numerically stable. Experimental results from applying the recursive binary scheme to a set of modified matrices from the Harwell‐Boeing collection are given. We conclude that when A has a small number of dense rows relative to its dimension, there is a significant gain in sparsity of the factor R. A crude estimate of the optimal number of splits is obtained by analysing a simple model problem. Copyright © 2000 John Wiley & Sons, Ltd.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

On the Dot Product Graph of a Commutative Ring

Let A be a commutative ring with nonzero identity, 1 ≤ n < ∞ be an integer, and R = A × A × … ×A (n times). The total dot product graph of R is the (undirected) graph TD(R) with vertices R* = R?{(0, 0,…, 0)}, and two distinct vertices x and y are adjacent if and only if x·y = 0 ∈ A (where x·y denote the normal dot product of x and y). Let Z(R) denote the set of all zero-divisors of R. Then the zero-divisor dot product graph of R is the induced subgraph ZD(R) of TD(R) with vertices Z(R)* = Z(R)?{(0, 0,…, 0)}. It follows that each edge (path) of the classical zero-divisor graph Γ(R) is an edge (path) of ZD(R). We observe that if n = 1, then TD(R) is a disconnected graph and ZD(R) is identical to the well-known zero-divisor graph of R in the sense of Beck–Anderson–Livingston, and hence it is connected. In this paper, we study both graphs TD(R) and ZD(R). For a commutative ring A and n ≥ 3, we show that TD(R) (ZD(R)) is connected with diameter two (at most three) and with girth three. Among other things, for n ≥ 2, we show that ZD(R) is identical to the zero-divisor graph of R if and only if either n = 2 and A is an integral domain or R is ring-isomorphic to ?₂ × ?₂ × ?₂.     

Central Sets and Radii of the Zero-Divisor Graphs of Commutative Rings

For a commutative ring R with identity, the zero-divisor graph, Γ(R), is the graph with vertices the nonzero zero-divisors of R and edges between distinct vertices x and y whenever xy = 0. This article gives a proof that the radius of Γ(R) is 0, 1, or 2 if R is Noetherian. The center union {0} is shown to be a union of annihilator ideals if R is Artinian. The diameter of Γ(R) can be determined once the center is identified. If R is finite, then the median is shown to be a subset of the center. A dominating set of Γ(R) is constructed using elements of the center when R is Artinian. It is shown that for a finite ring R ? ?₂ × F for some finite field F, the domination number of Γ(R) is equal to the number of distinct maximal ideals of R. Other results on the structure of Γ(R) are also presented.     

Global dynamics of a intracellular infection model with delays and humoral immunity

A virus infection model with time delays and humoral immunity has been investigated. Mathematical analysis shows that the global dynamics of the model is fully determined by the basic reproduction numbers of the virus and the immune response, R₀ and R₁. The infection‐free equilibrium P₀ is globally asymptotically stable when R₀≤1. The infection equilibrium without immunity P₁ is globally asymptotically stable when R₁≤1 < R₀. The infection equilibrium with immunity P₂ is globally asymptotically stable when R₁>1. The expression of the basic reproduction number of the immune response R₁ implies that the immune response reduces the concentration of free virus as R₁>1. Copyright © 2016 John Wiley & Sons, Ltd.     

Weakly G K -Perfect and Integral Closure of Ideals

Let R be a commutative Noetherian ring, K a nonzero finitely generated suitable R-module, and I an ideal of R. It is shown that if (R, ) is local, then  is G _K -perfect if and only if K is a canonical module for R. Furthermore, if I is integrally closed and G _K  ? dim _R I < ∞, then K _ is a canonical R _-module for every  ? Ass _R R/I whenever K satisfies Serre's condition (S ₁) or grade _K I > 0. Finally, it is shown that if CM ? dim _R I < ∞, then R _ is Cohen–Macaulay for every  ? Ass _R R/I.     

On a Field-Theoretic Invariant for Extensions of Commutative Rings

Abstract

If R ? T is an extension of (commutative integral) domains, Λ(T/R) is defined as the supremum of the lengths of chains of intermediate fields in the extension k _R (Q ∩ R) ? k _T (Q), where Q runs over the prime ideals of T. The invariant Λ(T/R) is determined in case R and T are adjacent rings and in case Spec(R) = Spec(T) as sets. It is proved that if R is a domain with integral closure R′, then Λ(T/R) = 0 for all overrings T of R if and only if R′ is a Prüfer domain such that Λ(R′/R) = 0. If R ? T are domains such that the canonical map Spec(T) → Spec(R) is a homeomorphism (in the Zariski topology), then Λ(T/R) is bounded above by the supremum of the lengths of chains of rings intermediate between R and T. Examples are given to illustrate the sharpness of the results.     

On the Commutative Twisted Group Algebras

Let G be an abelian group and let R be a commutative ring with identity. Denote by R _t G a commutative twisted group algebra (a commutative twisted group ring) of G over R, by ?(R) and ?(R _t G) the nil radicals of R and R _t G, respectively, by G _p the p-component of G and by G ₀ the torsion subgroup of G. We prove that:

1. If R is a ring of prime characteristic p, the multiplicative group R* of R is p-divisible and ?(R) = 0, then there exists a twisted group algebra R _{t 1} (G/G _p ) such that R _t G/?(R _t G) ? R _{t 1} (G/G _p ) as R-algebras;

2. If R is a ring of prime characterisitic p and R* is p-divisible, then ?(R _t G) = 0 if and only if ?(R) = 0 and G _p  = 1; and

3. If B(R) = 0, the orders of the elements of G ₀ are not zero divisors in R, H is any group and the commutative twisted group algebra R _t G is isomorphic as R-algebra to some twisted group algebra R _{t 1} H, then R _t G ₀ ? R _{t 1} H ₀ as R-algebras.