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.     

<Emphasis Type="Italic">b</Emphasis>-Generalized Skew Derivations on Lie Ideals

Let R be a non-commutative prime ring, Z(R) its center, Q its right Martindale quotient ring, C its extended centroid, \(F\ne 0\) an b-generalized skew derivation of R, L a non-central Lie ideal of R, \(0\ne a\in R\) and \(n\ge 1\) a fixed integer. In this paper, we prove the following two results:

1. 1.
   If R has characteristic different from 2 and 3 and \(a[F(x),x]^n=0\), for all \(x\in L\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\), the standard identity of degree 4, and there exist \(\lambda \in C\) and \(b\in Q\), such that \(F(x)=bx+xb+\lambda x\), for all \(x\in R\).
    
2. 2.
   If \(\mathrm{{char}}(R)=0\) or \(\mathrm{{char}}(R) > n\) and \(a[F(x),x]^n\in Z(R)\), for all \(x\in R\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\).
    

     

A generalization of zero divisor graphs associated to commutative rings

Let R be a commutative ring with a nonzero identity element. For a natural number n, we associate a simple graph, denoted by \(\Gamma ^n_R\), with \(R^n\backslash \{0\}\) as the vertex set and two distinct vertices X and Y in \(R^n\) being adjacent if and only if there exists an \(n\times n\) lower triangular matrix A over R whose entries on the main diagonal are nonzero and one of the entries on the main diagonal is regular such that \(X^TAY=0\) or \(Y^TAX=0\), where, for a matrix \(B, B^T\) is the matrix transpose of B. If \(n=1\), then \(\Gamma ^n_R\) is isomorphic to the zero divisor graph \(\Gamma (R)\), and so \(\Gamma ^n_R\) is a generalization of \(\Gamma (R)\) which is called a generalized zero divisor graph of R. In this paper, we study some basic properties of \(\Gamma ^n_ R\). We also determine all isomorphic classes of finite commutative rings whose generalized zero divisor graphs have genus at most three.     

On the sumsets of exceptional units in $$\mathbb {Z}_n$$

Let R be a commutative ring with \(1\in R\) and \(R^{*}\) be the multiplicative group of its units. In 1969, Nagell introduced the concept of an exceptional unit, namely a unit u such that \(1-u\) is also a unit. Let \({\mathbb {Z}}_n\) be the ring of residue classes modulo n. In this paper, given an integer \(k\ge 2\), we obtain an exact formula for the number of ways to represent each element of \( \mathbb {Z}_n\) as the sum of k exceptional units. This generalizes a recent result of J. W. Sander for the case \(k=2\).     

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.     

Derivations Vanishing Identities Involving Generalized Derivations and Multilinear Polynomial in Prime Rings

Let R be a prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, \(f(x_1,\ldots ,x_n)\) be a multilinear polynomial over C, which is not central valued on R. Suppose that d is a non-zero derivation of R, F and G are two generalized derivations of R such that \(d\{F(u)u-uG^2(u)\}=0\) for all \(u\in f(R)\). Then one of the following holds:

1. (i)
   there exist \(a, b, p\in U\), \(\lambda \in C\) such that \(F(x)=\lambda x+bx+xa^2\), \(G(x)=ax\), \(d(x)=[p, x]\) for all \(x\in R\) with \([p, b]=0\) and \(f(x_1,\ldots , x_n)^2\) is central valued on R;
    
2. (ii)
   there exist \(a, b, p\in U\) such that \(F(x)=ax\), \(G(x)=xb\), \(d(x)=[p,x]\) for all \(x\in R\) and \(f(x_1,\ldots , x_n)^2\) is central valued on R with \([p, a-b^2]=0\);
    
3. (iii)
   there exist \(a\in U\) such that \(F(x)=xa^2\) and \(G(x)=ax\) for all \(x\in R\);
    
4. (iv)
   there exists \(a\in U\) such that \(F(x)=a^2x\) and \(G(x)=xa\) for all \(x\in R\) with \(a^2\in C\);
    
5. (v)
   there exist \(a, p\in U\), \(\lambda , \alpha , \mu \in C\) such that \(F(x)=\lambda x-a^2x\), \(G(x)=xa\) and \(d(x)=[p,x]\) for all \(x\in R\) with \(a^2=\mu -\alpha p\) and \(\alpha p^2+(\lambda -2\mu ) p\in C\);
    
6. (vi)
   there exist \(a\in U\), \(\lambda \in C\) such that R satisfies \(s_4\) and either \(F(x)=\lambda x+xa^2\), \(G(x)=ax\) or \(F(x)=\lambda x-a^2x\), \(G(x)=xa\) for all \(x\in R\).
    

     

On a generalization of semisimple modules

Let R be a ring with identity. A module \(M_R\) is called an r-semisimple module if for any right ideal I of R, MI is a direct summand of \(M_R\) which is a generalization of semisimple and second modules. We investigate when an r-semisimple ring is semisimple and prove that a ring R with the number of nonzero proper ideals \(\le \)4 and \(J(R)=0\) is r-semisimple. Moreover, we prove that R is an r-semisimple ring if and only if it is a direct sum of simple rings and we investigate the structure of module whenever R is an r-semisimple ring.     

Rings containing a field of characteristic zero

Let K be a field of characteristic zero, and let R be a ring containing K. Then either \(R^\times = K^\times \) or \(K^\times \) is a subgroup of infinite index in \(R^\times \).     

Comparison of graphs associated to a commutative Artinian ring

Let R be a commutative ring with \(1\ne 0\) and the additive group \(R^+\). Several graphs on R have been introduced by many authors, among zero-divisor graph \(\Gamma _1(R)\), co-maximal graph \(\Gamma _2(R)\), annihilator graph AG(R), total graph \( T(\Gamma (R))\), cozero-divisors graph \(\Gamma _\mathrm{c}(R)\), equivalence classes graph \(\Gamma _\mathrm{E}(R)\) and the Cayley graph \(\mathrm{Cay}(R^+ ,Z^*(R))\). Shekarriz et al. (J. Commun. Algebra, 40 (2012) 2798–2807) gave some conditions under which total graph is isomorphic to \(\mathrm{Cay}(R^+ ,Z^*(R))\). Badawi (J. Commun. Algebra, 42 (2014) 108–121) showed that when R is a reduced ring, the annihilator graph is identical to the zero-divisor graph if and only if R has exactly two minimal prime ideals. The purpose of this paper is comparison of graphs associated to a commutative Artinian ring. Among the results, we prove that for a commutative finite ring R with \(|\mathrm{Max}(R)|=n \ge 3\), \( \Gamma _1(R) \simeq \Gamma _2(R)\) if and only if \(R\simeq \mathbb {Z}^n_2\); if and only if \(\Gamma _1(R) \simeq \Gamma _\mathrm{E}(R)\). Also the annihilator graph is identical to the cozero-divisor graph if and only if R is a Frobenius ring.     

On finitely generated modules over quasi-Euclidean rings

Let R be a unital commutative ring, and let M be an R-module that is generated by k elements but not less. Let \(\text {E}_n(R)\) be the subgroup of \(\text {GL}_n(R)\) generated by the elementary matrices. In this paper we study the action of \(\text {E}_n(R)\) by matrix multiplication on the set \(\text {Um}_n(M)\) of unimodular rows of M of length \(n \ge k\). Assuming R is moreover Noetherian and quasi-Euclidean, e.g., R is a direct product of finitely many Euclidean rings, we show that this action is transitive if \(n > k\). We also prove that \(\text {Um}_k(M) /\text {E}_k(R)\) is equipotent with the unit group of \(R/\mathfrak {a}_1\) where \(\mathfrak {a}_1\) is the first invariant factor of M. These results encompass the well-known classification of Nielsen non-equivalent generating tuples in finitely generated Abelian groups.     

On some constacyclic codes over $$\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle $$, their $$\mathbb {Z}_4$$Z4 images,and new codes

In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).     

Closed range and nonclosed range adjointable operators on Hilbert $$C^*$$-modules

In this paper, we show that for a positive operator A on a Hilbert \(C^*\)-module \( \mathscr {E} \), the range \( \mathscr {R}(A) \) of A is closed if and only if \( \mathscr {R}(A^\alpha ) \) is closed for all \(\alpha \in (0,1)\cup (1,+\,\infty )\), and this occurs if and only if \( \mathscr {R}(A)=\mathscr {R}(A^\alpha ) \) for all \(\alpha \in (0,1)\cup (1,+\,\infty )\). As an application, we prove that for an adjontable operator A if \(\mathscr {R}(A)\) is nonclosed, then \(\dim \left( \overline{\mathscr {R}(A)}/\mathscr {R}(A)\right) =+\,\infty \). Finally, we show that for an adjointable operator A if \( \overline{\mathscr {R}(A^*) } \) is orthogonally complemented in \( \mathscr {E} \), then under certain coditions there exists an idempotent C and a unique operator X such that \( XAX=X, AXA=CA, AX=C \) and \( XA=P_{A^*} \), where \( P_{A^*} \) is the orthogonal projection of \( \mathscr {E} \) onto \( \overline{\mathscr {R}(A^*)}\).     

An Engel condition with skew derivations for one-sided ideals

We apply the theory of generalized polynomial identities with automorphisms and skew derivations to prove the following theorem: Let A be a prime ring with the extended centroid C and with two-sided Martindale quotient ring Q, R a nonzero right ideal of A and \(\delta \) a nonzero \(\sigma \)-derivation of A, where \(\sigma \) is an epimorphism of A. For \(x,y\in A\), we set \([x,y] = xy - yx\). If \([[\ldots [[\delta (x^{n_0}),x^{n_1}],x^{n_{2}}],\ldots ],x^{n_k}]=0\) for all \(x\in R\), where \(n_{0},n_{1},\ldots ,n_{k}\) are fixed positive integers, then one of the following conditions holds: (1) A is commutative; (2) \(C\cong GF(2)\), the Galois field of two elements; (3) there exist \(b\in Q\) and \(\lambda \in C\) such that \(\delta (x)=\sigma (x)b-bx\) for all \(x\in A\), \((b-\lambda )R=0\) and \(\sigma (R)=0\). The analogous result for left ideals is also obtained. Our theorems are natural generalizations of the well-known results for derivations obtained by Lanski (Proc Am Math Soc 125:339–345, 1997) and Lee (Can Math Bull 38:445–449, 1995).     

Polynomially linked additive functions—II

We continue the study of additive functions \(f_k:R\rightarrow F \;(1\le k\le n)\) linked by an equation of the form \(\sum _{k=1}^n p_k(x)f_k(q_k(x))=0\), where the \(p_k\) and \(q_k\) are polynomials, R is an integral domain of characteristic 0, and F is the fraction field of R. A method is presented for solving all such equations. We also consider the special case \(\sum _{k=1}^n x^{m_k}f_k(x^{j_k})=0\) in which the \(p_k\) and \(q_k\) are monomials. In this case we show that if there is no duplication, i.e. if \((m_k,j_k)\ne (m_p,j_p)\) for \(k\ne p\), then each \(f_k\) is the sum of a linear function and a derivation of order at most \(n-1\). Furthermore, if this functional equation is not homogeneous then the maximal orders of the derivations are reduced in a specified way.     

Spectral multiplier theorems and averaged <Emphasis Type="Italic">R</Emphasis>-boundedness

Let A be a 0-sectorial operator with a bounded \(H^\infty (\Sigma _\sigma )\)-calculus for some \(\sigma \in (0,\pi ),\) e.g. a Laplace type operator on \(L^p(\Omega ),\, 1< p < \infty ,\) where \(\Omega \) is a manifold or a graph. We show that A has a \(\mathcal {H}^\alpha _2(\mathbb {R}_+)\) Hörmander functional calculus if and only if certain operator families derived from the resolvent \((\lambda - A)^{-1},\) the semigroup \(e^{-zA},\) the wave operators \(e^{itA}\) or the imaginary powers \(A^{it}\) of A are R-bounded in an \(L^2\)-averaged sense. If X is an \(L^p(\Omega )\) space with \(1 \le p < \infty \), R-boundedness reduces to well-known estimates of square sums.     

Counting polynomial subset sums

Let D be a subset of a finite commutative ring R with identity. Let \(f(x)\in R[x]\) be a polynomial of degree d. For a nonnegative integer k, we study the number \(N_f(D,k,b)\) of k-subsets S in D such that

$$\begin{aligned} \sum _{x\in S} f(x)=b. \end{aligned}$$

In this paper, we establish several bounds for the difference between \(N_f(D,k, b)\) and the expected main term \(\frac{1}{|R|}{|D|\atopwithdelims ()k}\), depending on the nature of the finite ring R and f. For \(R=\mathbb {Z}_n\), let \(p=p(n)\) be the smallest prime divisor of n, \(|D|=n-c \ge C_dn p^{-\frac{1}{d}}\,+\,c\) and \(f(x)=a_dx^d +\cdots +a_0\in \mathbb {Z}[x]\) with \((a_d, \ldots , a_1, n)=1\). Then

$$\begin{aligned} \left| N_f(D, k, b)-\frac{1}{n}{n-c \atopwithdelims ()k}\right| \le {\delta (n)(n-c)+(1-\delta (n))\left( C_dnp^{-\frac{1}{d}}+c\right) +k-1\atopwithdelims ()k}, \end{aligned}$$

answering an open question raised by Stanley (Enumerative combinatorics, 1997) in a general setting, where \(\delta (n)=\sum _{i\mid n, \mu (i)=-1}\frac{1}{i}\) and \(C_d=e^{1.85d}\). Furthermore, if n is a prime power, then \(\delta (n) =1/p\) and one can take \(C_d=4.41\). Similar and stronger bounds are given for two more cases. The first one is when \(R=\mathbb {F}_q\), a q-element finite field of characteristic p and f(x) is general. The second one is essentially the well-known subset sum problem over an arbitrary finite abelian group. These bounds extend several previous results.

     

On Star–Wheel Ramsey Numbers

For two given graphs \(G_1\) and \(G_2\), the Ramsey number \(R(G_1,G_2)\) is the least integer r such that for every graph G on r vertices, either G contains a \(G_1\) or \(\overline{G}\) contains a \(G_2\). In this note, we determined the Ramsey number \(R(K_{1,n},W_m)\) for even m with \(n+2\le m\le 2n-2\), where \(W_m\) is the wheel on \(m+1\) vertices, i.e., the graph obtained from a cycle \(C_m\) by adding a vertex v adjacent to all vertices of the \(C_m\).     

Approximation of entire functions of exponential type by exponential sums<Superscript>*</Superscript>

Let K be a compact set in \( {{\mathbb R}^n} \). For \( 1 \leqslant p \leqslant \infty \), the Bernstein space \( B_K^p \) is the Banach space of all functions \( f \in {L^p}\left( {{{\mathbb R}^n}} \right) \)such that their Fourier transform in a distributional sense is supported on K. If \( f \in B_K^p \), then f is continuous on \( {{\mathbb R}^n} \) and has an extension onto the complex space \( {{\mathbb C}^n} \) to an entire function of exponential type K. We study the approximation of functions in \( B_K^p \) by finite τ -periodic exponential sums of the form

$ \sum\limits_m {{c_m}{e^{2\pi {\text{i}}\left( {x,m} \right)/\tau }}} $

in the \( {L^p}\left( {\tau {{\left[ { - 1/2,1/2} \right]}^n}} \right) \)-norm as τ → ∞ when K is a polytope in \( {{\mathbb R}^n} \).

     

Certain families of polynomials arising in the study of hyperelliptic Lie algebras

The commutative ring \(R(P(t))=\mathbb C[t^{\pm 1},u \,|\, u^2=P(t)]\), where \(P(t)=\sum _{i=0}^na_it^i=\prod _{k=1}^n(t-\alpha _i)\) with \(\alpha _i\in \mathbb C\) pairwise distinct, is the coordinate ring of a hyperelliptic curve when \(n>4\). The Lie algebra \(\mathcal {R}(P(t))={\text {Der}}(R(P(t)))\) of derivations is called the hyperelliptic Lie algebra associated to P(t) and is a particular type of multipoint Krichever–Novikov algebra. In this paper, we describe the universal central extension of \({\text {Der}}(R(P(t)))\) in terms of certain families of polynomials which in a particular case are associated Legendre polynomials. Moreover we describe certain families of polynomials that arise in the study of the group of units for the ring R(P(t)),  where \(P(t)=t^4-2bt^2+1\). In this study, pairs of Chebyshev polynomials \((U_n,T_n)\) arise as particular cases of a pairs \((r_n,s_n)\) with \(r_n+s_n\sqrt{P(t)}\) a unit in R(P(t)). We explicitly describe these polynomial pairs as coefficients of certain generating functions and show that certain of these polynomials satisfy particular second-order linear differential equations.     

Anti-Ramsey Numbers of Graphs with Small Connected Components

The anti-Ramsey number, AR(n, G), for a graph G and an integer \(n\ge |V(G)|\), is defined to be the minimal integer r such that in any edge-colouring of \(K_n\) by at least r colours there is a multicoloured copy of G, namely, a copy of G that each of its edges has a distinct colour. In this paper we determine, for large enough \(n,\, AR(n,L\cup tP_2)\) and \(AR(n,L\cup kP_3)\) for any large enough t and k, and a graph L satisfying some conditions. Consequently, we determine AR(n, G), for large enough n, where G is \(P_3\cup tP_2\) for any \(t\ge 3,\, P_4\cup tP_2\) and \(C_3\cup tP_2\) for any \(t\ge 2,\, kP_3\) for any \(k\ge 3,\, tP_2\cup kP_3\) for any \(t\ge 1,\, k\ge 2\), and \(P_{t+1}\cup kP_3\) for any \(t\ge 3,\, k\ge 1\). Furthermore, we obtain upper and lower bounds for AR(n, G), for large enough n, where G is \(P_{k+1}\cup tP_2\) and \(C_k\cup tP_2\) for any \(k\ge 4,\, t\ge 1\).