On simple factorization of invertible matrices

Let I be an ideal of a ring R. We say that R is a generalized I-stable ring provided that aR+bR=R with a?∈?1+I,b?∈?R implies that there exists a y?∈?R such that a+by?∈?K(R), where K(R)={x?∈?R?∣?? s, t?∈?R such that sxt=1}. Let R be a generalized I-stable ring. Then every A?∈?GL_n (I) is the product of 13n?12 simple matrices. Furthermore, we prove that A is the product of n simple matrices if I has stable rank one. This generalizes the results of Vaserstein and Wheland on rings having stable rank one.     

[a,b]-factorization of a graph

Let a and b be integers such that 0 ? a ? b. Then a graph G is called an [a, b]-graph if a ? d_G(x) ? b for every x ? V(G), and an [a, b]-factor of a graph is defined to be its spanning subgraph F such that a ? d_F(x) ? b for every vertex x, where d_G(x) and d_F(x) denote the degrees of x in G and F, respectively. If the edges of a graph can be decomposed into [a.b]-factors then we say that the graph is [2a, 2a]-factorable. We prove the following two theorems: (i) a graph G is [2a, 2b)-factorable if and only if G is a [2am,2bm]-graph for some integer m, and (ii) every [8m + 2k, 10m + 2k]-graph is [1,2]-factorable.     

Homomorphisms and composition operators on algebras of analytic functions of bounded type

Let U and V be convex and balanced open subsets of the Banach spaces X and Y, respectively. In this paper we study the following question: given two Fréchet algebras of holomorphic functions of bounded type on U and V, respectively, that are algebra isomorphic, can we deduce that X and Y (or X^* and Y^*) are isomorphic? We prove that if X^* or Y^* has the approximation property and H_wu(U) and H_wu(V) are topologically algebra isomorphic, then X^* and Y^* are isomorphic (the converse being true when U and V are the whole space). We get analogous results for H_b(U) and H_b(V), giving conditions under which an algebra isomorphism between H_b(X) and H_b(Y) is equivalent to an isomorphism between X^* and Y^*. We also obtain characterizations of different algebra homomorphisms as composition operators, study the structure of the spectrum of the algebras under consideration and show the existence of homomorphisms on H_b(X) with pathological behaviors.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

Jordan τ-Derivations of Locally Matrix Rings

Let R be a prime, locally matrix ring of characteristic not 2 and let Q _ms (R) be the maximal symmetric ring of quotients of R. Suppose that ${\delta}\colon R\to Q_{ms}(R)$ is a Jordan τ-derivation, where τ is an anti-automorphism of R. Then there exists a?∈?Q _ms (R) such that δ(x)?=?xa???aτ(x) for all x?∈?R. Let X be a Banach space over the field ${\mathbb F}$ of real or complex numbers and let ${\mathcal B}(X)$ be the algebra of all bounded linear operators on X. We prove that $Q_{ms}({\mathcal B}(X))={\mathcal B}(X)$ , which provides the viewpoint of ring theory for some results concerning derivations on the algebra ${\mathcal B}(X)$ . In particular, all Jordan τ-derivations of ${\mathcal B}(X)$ are inner if $\text{dim}_{\mathbb F}X>1$ .     

The Double Centralizer Theorem for Semiprime Algebras

In the paper we prove the double centralizer theorem for semiprime algebras. To be precise, let R be a closed semiprime algebra over its extended centroid F, and let A be a closed semiprime subalgebra of R, which is a finitely generated module over F. Then C _R (A) is also a closed semiprime algebra and C _R (C _R (A))?=?A. In addition, if C _R (A) satisfies a polynomial identity, then so does the whole ring R. Here, for a subset T of R, we write C _R (T):?=?{x?∈?R|xt?=?tx???t?∈?T}, the centralizer of T in R.     

On the Annihilator Graph of a Commutative Ring

Let R be a commutative ring with nonzero identity, Z(R) be its set of zero-divisors, and if a ∈ Z(R), then let ann _R (a) = {d ∈ R | da = 0}. The annihilator graph of R is the (undirected) graph AG(R) with vertices Z(R)* = Z(R)?{0}, and two distinct vertices x and y are adjacent if and only if ann _R (xy) ≠ ann _R (x) ∪ ann _R (y). It follows that each edge (path) of the zero-divisor graph Γ(R) is an edge (path) of AG(R). In this article, we study the graph AG(R). For a commutative ring R, we show that AG(R) is connected with diameter at most two and with girth at most four provided that AG(R) has a cycle. Among other things, for a reduced commutative ring R, we show that the annihilator graph AG(R) is identical to the zero-divisor graph Γ(R) if and only if R has exactly two minimal prime ideals.     

Semigroups of Transformations Preserving an Equivalence Relation and a Cross-Section

Abstract

For a set X, an equivalence relation ρ on X, and a cross-section R of the partition X/ρ induced by ρ, consider the semigroup T(X, ρ, R) consisting of all mappings a from X to X such that a preserves both ρ (if (x, y)?∈?ρ then (xa, ya)?∈?ρ) and R (if r?∈?R then ra?∈?R). The semigroup T(X, ρ, R) is the centralizer of the idempotent transformation with kernel ρ and image R. We determine the structure of T(X, ρ, R) in terms of Green's relations, describe the regular elements of T(X, ρ, R), and determine the following classes of the semigroups T(X, ρ, R): regular, abundant, inverse, and completely regular.     

Indices, characteristic numbers and essential commutants of Toeplitz operators

For an essentially normal operatorT, it is shown that there exists a unilateral shift of multiplicitym inC ^* (T) if and only if γ(T)≠0 and γ(T)/m. As application, we prove that the essential commutant of a unilateral shift and that of a bilateral shift are not isomorphic asC ^* -algebras. Finally, we construct a naturalC ^* -algebra ε + ε_* on the Bergman spaceL _a ² (B _n ), and show that its essential commutant is generated by Toeplitz operators with symmetric continuous symbols and all compact operators. Supported by NSFC and Laboratory of Mathematics for Nonlinear Science at Fudan University.     

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.     

Rates for approximation of unbounded functions by positive linear operators

Let g_a(t) and g_b(t) be two positive, strictly convex and continuously differentiable functions on an interval (a, b) (−∞ a < b ∞), and let {L_n} be a sequence of linear positive operators, each with domain containing 1, t, g_a(t), and g_b(t). If L_n(ƒ; x) converges to ƒ(x) uniformly on a compact subset of (a, b) for the test functions ƒ(t) = 1, t, g_a(t), g_b(t), then so does every ƒ ε C(a, b) satisfying ƒ(t) = O(g_a(t)) (t → a⁺) and ƒ(t) = O(g_b(t)) (t → b⁻). We estimate the convergence rate of L_nƒ in terms of the rates for the test functions and the moduli of continuity of ƒ and ƒ′.     

Dominating sets of the comaximal and ideal-based zero-divisor graphs of commutative rings

Abstract

Let R be a commutative ring with nonzero identity, and let I be an ideal of R. The ideal-based zero-divisor graph of R, denoted by Γ_I (R), is the graph whose vertices are the set {x ∈ R \ I| xy ∈ I for some y∈ R \ I} and two distinct vertices x and y are adjacent if and only if xy ∈ I. Define the comaximal graph of R, denoted by CG(R), to be a graph whose vertices are the elements of R, where two distinct vertices a and b are adjacent if and only if Ra+Rb=R. A nonempty set S ? V of a graph G=(V, E) is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this paper is to study the dominating sets and domination number of Γ_I (R) and the comaximal graph CG₂(R) \ J (R) (or CGJ (R) for short) where CG₂(R) is the subgraph of CG(R) induced on the nonunit elements of R and J (R) is the Jacobson radical of R.     

Skew *-derivations with power-central values

Let R be a prime ring with involution * and d be a nonzero derivation on R such that d(x ^*) = -d(x)^* for all x ∈ R. Suppose that n ≥ 1 is a fixed integer. Then (I) if d(s) ⁿ = 0 for all s = s ^*, then R is either a commutative domain or an order in a 4-dimensional central simple algebra; (II) if d(s) ⁿ ∈Z, the center of R for all s = s ^*, then R is either a commutative domain or an order in a simple algebra of dimension 4 or 16 over its center.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

A degree condition for a graph to have [a,b]-factors

Let G be a graph of order n, and let a and b be integers such that 1 ≤ a < b. We show that G has an [a, b]-factor if δ(G) ≥ a, n ≥ 2a + b + and max {d_G(u), d_G(v) ≥ for any two nonadjacent vertices u and v in G. This result is best possible, and it is an extension of T. Iida and T. Nishimura's results (T. Iida and T. Nishimura, An Ore-type condition for the existence of k-factors in graphs, Graphs and Combinat. 7 (1991), 353–361; T. Nishimura, A degree condition for the existence of k-factors, J. Graph Theory 16 (1992), 141–151). about the existence of a k-factor. As an immediate consequence, it shows that a conjecture of M. Kano (M. Kano, Some current results and problems on factors of graphs, Proc. 3rd China–USA International Conference on Graph Theory and Its Application, Beijing (1993). about connected [a, b]-factors is incorrect. © 1998 John Wiley & Sons, Inc. J Graph Theory 27: 1–6, 1998     

Weyl quantization of Lebesgue spaces

We study boundedness and compactness properties for the Weyl quantization with symbols in L^q (?^2d ) acting on L^p (?^d ). This is shown to be equivalent, in suitable Banach space setting, to that of the Wigner transform. We give a short proof by interpolation of Lieb's sufficient conditions for the boundedness of the Wigner transform, proving furthermore that these conditions are also necessary. This yields a complete characterization of boundedness for Weyl operators in L^p setting; compactness follows by approximation. We extend these results defining two scales of spaces, namely L_*^q (?^2d ) and L_?^q (R^2d ), respectively smaller and larger than the L^q (?^2d ),and showing that the Weyl correspondence is bounded on L_*^q (R^2d ) (and yields compact operators), whereas it is not on L_?^q (R^2d ). We conclude with a remark on weak‐type L^p boundedness (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces

Let (E,H,μ) be an abstract Wiener space and let D_V:=VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space . Given a bounded operator B on , coercive on the range , we consider the operators A:=V^*BV in H and in , as well as the realisations of the operators and in L^p(E,μ) and respectively, where 1<p<∞. Our main result asserts that the following four assertions are equivalent:

(1) with for ;

(2) admits a bounded H^∞-functional calculus on ;

(3) with for ;

(4) admits a bounded H^∞-functional calculus on .

Moreover, if these conditions are satisfied, then . The equivalence (1)–(4) is a non-symmetric generalisation of the classical Meyer inequalities of Malliavin calculus (where , V=I, ). A one-sided version of (1)–(4), giving L^p-boundedness of the Riesz transform in terms of a square function estimate, is also obtained. As an application let −A generate an analytic C₀-contraction semigroup on a Hilbert space H and let −L be the L^p-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A. The boundedness of the Riesz transform is used to obtain an L^p-domain characterisation for the operator L.

Generalized Skew Derivations Implemented by Elementary Operators

Let R be a semiprime ring with the maximal right ring of quotients Q _mr . An additive map d: R →Q _mr is called a generalized skew derivation if there exists a ring endomorphism σ:R →R and a map \(\d:R \to Q_{mr}\) such that \(d(xy)=\d(x)y+\sigma(x)d(y)\) for all x,y?∈?R. If σ is surjective, we determine the structure of generalized skew derivations for which there exists a finite number of elements a _i ,b _i ?∈?Q _mr such that d(x)?=?a ₁ xb ₁?+???+?a _n xb _n for all x?∈?R.