On Jordan Triple Higher Derivable Mappings on Rings

Let R be a ring and \({\mathbb{N}}\) be the set of all non-negative integers. A family of maps \({D=\{d_n\}_{n \in\mathbb{N}}}\) is said to be Jordan triple higher derivable if \({d_n(aba)=\sum \nolimits_{p+q+r=n} d_p(a)d_q(b)d_r(a)}\) holds for all \({a,b \in R}\), where d ₀ = I _R , (the identity map on R). In this paper, we determine Jordan triple higher derivable map on a ring R, which contains a nontrivial idempotent which is automatically additive. An immediate application of our main result shows that every Jordan triple higher derivable map becomes higher derivation on R.     

Homological invariants of modules over contracting endomorphisms

It is proved that when R is a local ring of positive characteristic, \({\phi\colon R{\to} R}\) is its Frobenius endomorphism, and some non-zero finite R-module has finite flat dimension or finite injective dimension for the R-module structure induced through \({\phi}\) , then R is regular. This broad generalization of Kunz’s characterization of regularity in positive characteristic is deduced from a theorem concerning a local ring R with residue field of k of arbitrary characteristic: If \({\phi}\) is a contracting endomorphism of R, then the Betti numbers and the Bass numbers over \({\phi}\) of any non-zero finitely generated R-module grow at the same rate, on an exponential scale, as the Betti numbers of k over R.     

On certain functional equations related to Jordan triple $${(\theta, \phi)}$$-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let \({\theta}\) and \({\phi}\) be automorphisms of R. Suppose \({T:R\rightarrow R}\) is an additive mapping satisfying the relation \({T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}\), for all pairs \({x,y\in R}\). In this case T is of the form \({2T(x)=q\theta (x)+\phi (x)q}\), for all \({x\in R}\) and some fixed element \({q\in Q_{s}}\).     

Generalized derivations on some convolution algebras

Let G be a locally compact abelian group, \(\omega \) be a weighted function on \({\mathbb {R}}^+\), and let \(\mathfrak {D}\) be the Banach algebra \(L_0^\infty (G)^*\) or \(L_0^\infty (\omega )^*\). In this paper, we investigate generalized derivations on the noncommutative Banach algebra \(\mathfrak {D}\). We characterize \(\textsf {k}\)-(skew) centralizing generalized derivations of \(\mathfrak {D}\) and show that the zero map is the only \(\textsf {k}\)-skew commuting generalized derivation of \(\mathfrak {D}\). We also investigate the Singer–Wermer conjecture for generalized derivations of \(\mathfrak {D}\) and prove that the Singer–Wermer conjecture holds for a generalized derivation of \(\mathfrak {D}\) if and only if it is a derivation; or equivalently, it is nilpotent. Finally, we investigate the orthogonality of generalized derivations of \(L_0^\infty (\omega )^*\) and give several necessary and sufficient conditions for orthogonal generalized derivations of \(L_0^\infty (\omega )^*\).     

The trace graph of the matrix ring over a finite commutative ring

Let R be a commutative ring and let \({n >1}\) be an integer. We introduce a simple graph, denoted by \({\Gamma_t(M_n(R))}\), which we call the trace graph of the matrix ring \({M_n(R)}\), such that its vertex set is \({M_n(R)^{\ast}}\) and such that two distinct vertices A and B are joined by an edge if and only if \({{\rm Tr} (AB)=0}\) where \({ {\rm Tr} (AB)}\) denotes the trace of the matrix AB. We prove that \({\Gamma_t(M_n(R))}\) is connected with \({{\rm diam}(\Gamma_{t}(M_{n}(R)))=2}\) and \({{\rm gr} (\Gamma_t(M_n(R)))=3}\). We investigate also the interplay between the ring-theoretic properties of R and the graph-theoretic properties of \({\Gamma_t(M_n(R))}\). Hence, we use the notion of the irregularity index of a graph to characterize rings with exactly one nontrivial ideal.     

Another characterization of the upper nil radical

In 2015 Halina France-Jackson introduced the notion of a \({\sigma}\)-ring i.e. a ring R with the property that if I and J are ideals of R and for all \({i\in I}\), \({{j\in J}}\), there exist natural numbers m, n such that \({i^{m}j^{n} =0}\), then I = 0 or J = 0. It is shown that \({\sigma}\) is a special class which coincides with the class \({\rho}\) of all prime nil-semisimple rings. This implies that the upper nil radical of any ring R is the intersection of all ideals I of the ring such that R/I is a \({\sigma}\)-ring. In this paper we introduce classes of rings equivalent to the \({\sigma}\)-rings and then give characterizations of the upper nil radical in terms of these rings.     

Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

On Certain Identity Related to Herstein Theorem on Jordan Derivations

Let R be a 6-torsion-free prime ring and let \({D : R \rightarrow R}\) be an additive mapping satisfying the relation 2D(x ⁴) = D(x ³)x + x ³ D(x) + D(x)x ³ + xD(x ³) for all \({x \in R}\) . The purpose of this paper is to show that D is a derivation. This result is related to a classical result of Herstein, which states that any Jordan derivation on a 2-torsion-free prime ring is a derivation.     

Skew <Emphasis Type="Italic">n</Emphasis>-derivation on prime and semi prime rings

Let \(n \ge 2\) be a fixed integer, R be a noncommutative n!-torsion free ring and I be any non zero ideal of R. In this paper we have proved the following results; (i) If R is a prime ring and there exists a symmetric skew n-derivation \(D: R^n \rightarrow R\) associated with the automorphism \(\sigma \) on R,  such that the trace function \(\delta : R \rightarrow R \) of D satisfies \([\delta (x), \sigma (x)] =0\), for all \(x\in I,\) then \(D=0;\,\)(ii) If R is a semi prime ring and the trace function \(\delta ,\) commuting on I,  satisfies \([\delta (x), \sigma (x)]\in Z\), for all \(x \in I,\) then \([\delta (x), \sigma (x)] = 0 \), for all \(x \in I.\) Moreover, we have proved some annihilating conditions for algebraic identity involving multiplicative(generalized) derivation.     

Some results on linear codes over the ring $$\mathbb {Z}_4+u\mathbb {Z}_4+v\mathbb {Z}_4+uv\mathbb {Z}_4$$

In this paper, we mainly study the theory of linear codes over the ring \(R =\mathbb {Z}_4+u\mathbb {Z}_4+v\mathbb {Z}_4+uv\mathbb {Z}_4\). By using the Chinese Remainder Theorem, we prove that R is isomorphic to a direct sum of four rings. We define a Gray map \(\Phi \) from \(R^{n}\) to \(\mathbb {Z}_4^{4n}\), which is a distance preserving map. The Gray image of a cyclic code over R is a linear code over \(\mathbb {Z}_4\). We also discuss some properties of MDS codes over R. Furthermore, we study the MacWilliams identities of linear codes over R and give the generator polynomials of cyclic codes over R.     

Simultaneous power factorization in modules over Banach algebras

Let A be a Banach algebra with a bounded left approximate identity \(\{e_\lambda \}_{\lambda \in \Lambda }\), let \(\pi \) be a continuous representation of A on a Banach space X, and let S be a non-empty subset of X such that \(\lim _{\lambda }\pi (e_\lambda )s=s\) uniformly on S. If S is bounded, or if \(\{e_\lambda \}_{\lambda \in \Lambda }\) is commutative, then we show that there exist \(a\in A\) and maps \(x_n: S\rightarrow X\) for \(n\ge 1\) such that \(s=\pi (a^n)x_n(s)\) for all \(n\ge 1\) and \(s\in S\). The properties of \(a\in A\) and the maps \(x_n\), as produced by the constructive proof, are studied in some detail. The results generalize previous simultaneous factorization theorems as well as Allan and Sinclair’s power factorization theorem. In an ordered context, we also consider the existence of a positive factorization for a subset of the positive cone of an ordered Banach space that is a positive module over an ordered Banach algebra with a positive bounded left approximate identity. Such factorizations are not always possible. In certain cases, including those for positive modules over ordered Banach algebras of bounded functions, such positive factorizations exist, but the general picture is still unclear. Furthermore, simultaneous pointwise power factorizations for sets of bounded maps with values in a Banach module (such as sets of bounded convergent nets) are obtained. A worked example for the left regular representation of \(\mathrm {C}_0({\mathbb R})\) and unbounded S is included.     

On graded characterizations of finite dimensionality for algebraic algebras

We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring \({{\text {gr}}}{R}\) is right noetherian, if and only if \({{\text {gr}}}{R}\) has right Krull dimension, if and only if \({{\text {gr}}}{R}\) satisfies a polynomial identity.     

A note on generalized skew derivations on Lie ideals

Let \(\mathcal {R}\) be a prime ring, \(\mathcal {Z(R)}\) its center, \(\mathcal {C}\) its extended centroid, \(\mathcal {L}\) a Lie ideal of \(\mathcal {R}, \mathcal {F}\) a generalized skew derivation associated with a skew derivation d and automorphism \(\alpha \). Assume that there exist \(t\ge 1\) and \(m,n\ge 0\) fixed integers such that \( vu = u^m\mathcal {F}(uv)^tu^n\) for all \(u,v \in \mathcal {L}\). Then it is shown that either \(\mathcal {L}\) is central or \(\mathrm{char}(\mathcal {R})=2, \mathcal {R}\subseteq \mathcal {M}_2(\mathcal {C})\), the ring of \(2\times 2\) matrices over \(\mathcal {C}, \mathcal {L}\) is commutative and \(u^2\in \mathcal {Z(R)}\), for all \(u\in \mathcal {L}\). In particular, if \(\mathcal {L}=[\mathcal {R,R}]\), then \(\mathcal {R}\) is commutative.     

$${\varvec{}}$$-Jorda homomorphisms ad pseudo $${\varvec{}}$$-Jorda homomorphisms o Baach algebras

Let \(n\in \mathbb {N}\), A and B be Banach algebras and let B be a right A-module. We say that a linear mapping \(\varphi :A\longrightarrow B\) is a pseudo n-Jordan homomorphism if there exists an element \(w\in A\) such that \(\varphi (a^nw)=\varphi (a)^n\cdot w\), for every \(a\in A\) and \(n\ge \) 2. In this paper, among other things, we show that under some conditions if a linear mapping \(\varphi \) is a (pseudo) n-Jordan homomorphism, then it is a (pseudo) \((n + 1)\)-Jordan homomorphism. Additionally, we investigate automatic continuity of surjective pseudo n-Jordan homomorphisms under some conditions.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

<Emphasis Type="Italic">q</Emphasis>-Frequent hypercyclicity in spaces of operators

We provide conditions for a linear map of the form \(C_{R,T}(S)=RST\) to be q-frequently hypercyclic on algebras of operators on separable Banach spaces. In particular, if R is a bounded operator satisfying the q-frequent hypercyclicity criterion, then the map \(C_{R}(S)=RSR^*\) is shown to be q-frequently hypercyclic on the space \(\mathcal {K}(H)\) of all compact operators and the real topological vector space \(\mathcal {S}(H)\) of all self-adjoint operators on a separable Hilbert space H. Further we provide a condition for \(C_{R,T}\) to be q-frequently hypercyclic on the Schatten von Neumann classes \(S_p(H)\). We also characterize frequent hypercyclicity of \(C_{M^*_\varphi ,M_\psi }\) on the trace-class of the Hardy space, where the symbol \(M_\varphi \) denotes the multiplication operator associated to \(\varphi \).     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

Representation of normal bands as semigroups of <Emphasis Type="Italic">k</Emphasis>-bi-ideals of a semiring

Here we show that every normal band N can be embedded into the normal band \(\mathcal {B(S)}\) of all k-bi-ideals, the left part \(N/ \mathcal {R}\) of N into the left normal band \(\mathcal {R(S)}\) of all right k-ideals, the right part \(N/ \mathcal {L}\) of N into the right normal band \(\mathcal {L(S)}\) of all left k-ideals, and the greatest semilattice homomorphic image \(N/ \mathcal {J}\) of N into the semilattice of all k-ideals of a same k-regular and intra k-regular semiring S.     

Some Properties of the Idempotent Graph of a Ring

The idempotent graph of a ring R, denoted by I(R), is a graph whose vertices are all nontrivial idempotents of R and two distinct vertices x and y are adjacent if and only if xy = yx = 0. In this paper, we show that diam\({(I(M_n(D))) = 4}\), for all natural number \({n \geq 4}\) and diam\({(I(M_3(D))) = 5}\), where D is a division ring. We also provide some classes of rings whose idempotent graphs are connected. Moreover, the regularity, clique number and chromatic number of idempotent graphs are studied.     

Persistence of Banach lattices under nonlinear order isomorphisms

Ordered vector spaces E and F are said to be order isomorphic if there is a (not necessarily linear) bijection \(T: E\rightarrow F\) such that \(x\ge y\) if and only if \(Tx \ge Ty\) for all \(x,y \in E\). We investigate some situations under which an order isomorphism between two Banach lattices implies the persistence of some linear lattice structure. For instance, it is shown that if a Banach lattice E is order isomorphic to C(K) for some compact Hausdorff space K, then E is (linearly) isomorphic to C(K) as a Banach lattice. Similar results hold for Banach lattices order isomorphic to \(c_{0}\), and for Banach lattices that contain a closed sublattice order isomorphic to \(c_{0}\).