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$ .     

Nilpotent and invertible values in semiprime rings with generalized derivations

Let R be a semiprime ring and F be a generalized derivation of R and n??? 1 a fixed integer. In this paper we prove the following: (1) If (F(xy) ? yx) ⁿ is either zero or invertible for all ${x,y\in R}$ , then there exists a division ring D such that either R?=?D or R?=?M ₂(D), the 2?× 2 matrix ring. (2) If R is a prime ring and I is a nonzero right ideal of R such that (F(xy) ? yx) ⁿ ?=?0 for all ${x,y \in I}$ , then [I, I]I?=?0, F(x)?=?ax?+?xb for ${a,b\in R}$ and there exist ${\alpha, \beta \in C}$ , the extended centroid of R, such that (a ? ??)I?=?0 and (b ? ??)I?=?0, moreover ((a?+?b)x ? x)I?=?0 for all ${x\in I}$ .     

Good Index Behaviour of θ-Representations, I

Let Q be an algebraic group with ${\mathfrak q}={\mathrm{Lie\,}} Q$ and V a Q-module. The index of V is the minimal codimension of the Q-orbits in the dual space V ^*. There is a general inequality, due to Vinberg, relating the index of V and the index of a Q _v -module $V/{\mathfrak q}{\cdot}v$ for v?∈?V. A pair (Q, V) is said to have GIB if Vinberg’s inequality turns into an equality for all v?∈?V. In this article, we are interested in the GIB property of θ-representations, where θ is a finite order automorphism of a simple Lie algebra ${\mathfrak g}$ . An automorphism of order m defines a ${{\mathbb Z}}/m{{\mathbb Z}}$ -grading ${\mathfrak g} =\bigoplus{\mathfrak g}_i$ . If G ₀ is the identity component of G ^θ , then it acts on ${\mathfrak g}_1$ and this action is called a θ-representation. We classify inner automorphisms of ${\mathfrak gl}_n$ and all finite order autmorphisms of the exceptional Lie algebras such that $(G_0,{\mathfrak g}_1)$ has GIB and ${\mathfrak g}_1$ contains a non-zero semisimple element.     

Real Valuations on Skew Polynomial Rings

Let D be a division ring, T be a variable over D, σ be an endomorphism of D, δ be a σ-derivation on D and R?=?D[T; σ, δ] the left skew polynomial ring over D. We show that the set \((Val_\nu(R),\preceq)\) of σ-compatible real valuations which extend to R a fixed proper real valuation ν on D has a natural structure of parameterized complete non-metric tree, where \(\preceq \) is the partial order given by \(\mu \preceq \widetilde{\mu}\) if and only if \(\mu (f)\leq \widetilde{\mu}(f)\) for all f?∈?R and \(\mu, \widetilde{\mu} \in Val_\nu (R)\) . Furthermore and as a consequence, we also prove a criterion of irreducibility for left skew polynomials that includes as a particular case an Eisenstein valuation criterion which generalizes a similar one of Churchill and Zhang (J Algebra 322:3797–3822, 2009).     

Traces of Permuting n-Additive Maps and Permuting n-Derivations of Rings

Let R be a prime ring with center Z(R). For a fixed positive integer n, a permuting n-additive map ${\Delta : R^n \to R}$ is known to be permuting n-derivation if ${\Delta(x_1, x_2, \ldots, x_i x'_{i},\ldots, x_n) = \Delta(x_1, x_2, \ldots, x_i, \ldots, x_n)x'_i + x_i \Delta(x_1, x_2, \ldots, x'_i, \ldots, x_n)}$ holds for all ${x_i, x'_i \in R}$ . A mapping ${\delta : R \to R}$ defined by δ(x) = Δ(x, x, . . . ,x) for all ${x \in R}$ is said to be the trace of Δ. In the present paper, we have proved that a ring R is commutative if there exists a permuting n-additive map ${\Delta : R^n \to R}$ such that ${xy + \delta(xy) = yx + \delta(yx), xy- \delta(xy) = yx - \delta(yx), xy - yx = \delta(x) \pm \delta(y)}$ and ${xy + yx = \delta(x) \pm \delta(y)}$ holds for all ${x, y \in R}$ . Further, we have proved that if R is a prime ring with suitable torsion restriction then R is commutative if there exist non-zero permuting n-derivations Δ₁ and Δ₂ from ${R^n \to R}$ such that Δ₁(δ ₂(x), x, . . . ,x) =  0 for all ${x \in R,}$ where δ ₂ is the trace of Δ₂. Finally, it is shown that in a prime ring R of suitable torsion restriction, if ${\Delta_1, \Delta_2 : R^n \longrightarrow R}$ are non-zero permuting n-derivations with traces δ ₁, δ ₂, respectively, and ${B : R^n \longrightarrow R}$ is a permuting n-additive map with trace f such that δ ₁ δ ₂(x) =  f(x) holds for all ${x \in R}$ , then R is commutative.     

Jump of a domain and spectrally balanced domains

Let R be a locally finite-dimensional (LFD) integral domain. We investigate two invariants ${j_R(a)={{\rm inf}}\{{\rm height}P-{\rm height} Q\}}$ , where P and Q range over prime ideals of R such that ${Q\subset aR\subseteq P}$ , and ${j(R)={\rm sup}\{j_R(a)\}}$ (called the jump of R), where a range over nonzero nonunit elements of R. We study the jump of polynomial ring and power series ring, we give many results involving jump, and specially we give more interest to LFD-domain R such that j(R)?=?1. We prove that if R is a finite-dimensional divided domain, then R is a Jaffard domain if and only if for all integer ${n,\,j(R[x_1,\ldots,x_n])=1}$ .     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

A Quadratic Differential Identity with Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a prime ring of characteristic different from 2, with right Utumi quotient ring U and extended centroid C, and let ${f(x_1, \ldots, x_n)}$ be a multilinear polynomial over C, not central valued on R. Suppose that d is a derivation of R and G is a generalized derivation of R such that $$G(f(r_1, \ldots, r_n))d(f(r_1, \ldots, r_n)) + d(f(r_1, \ldots, r_n))G(f(r_1, \ldots, r_n)) = 0$$ for all ${r_1, \ldots, r_n \in R}$ . Then either d =  0 or G =  0, unless when d is an inner derivation of R, there exists ${\lambda \in C}$ such that G(x) =  λ x, for all ${x \in R}$ and ${f(x_1, \ldots, x_n)^2}$ is central valued on R.     

Free resolutions over short Gorenstein local rings

Let R be a local ring with maximal ideal ${\mathfrak{m}}$ admitting a non-zero element ${a\in\mathfrak{m}}$ for which the ideal (0 : a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when ${\mathfrak{m}^4=0}$ . Let e denote the minimal number of generators of ${\mathfrak{m}}$ . If R is Gorenstein with ${\mathfrak{m}^4=0}$ and e ?? 3, we show that ${{\rm P}_{M}^{R}(t)}$ is rational with denominator H _R (?t) =?1 ? et?+?et ² ? t ³, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3.     

Algebraic and geometric properties of quadratic Hamiltonians determined by sectional operators

Following the terminology introduced by V. V. Trofimov and A. T. Fomenko, we say that a self-adjoint operator $\varphi :\mathfrak{g}* \to \mathfrak{g}$ is sectional if it satisfies the identity ad _?x ^* a = ad _β ^* x, $x \in \mathfrak{g}*$ , where $\mathfrak{g}$ is a finite-dimensional Lie algebra and $a \in \mathfrak{g}*$ and $\beta \in \mathfrak{g}$ are fixed elements. In the case of a semisimple Lie algebra $\mathfrak{g}$ , the above identity takes the form [?x, a] = [β, x] and naturally arises in the theory of integrable systems and differential geometry (namely, in the dynamics of n-dimensional rigid bodies, the argument shift method, and the classification of projectively equivalent Riemannian metrics). This paper studies general properties of sectional operators, in particular, integrability and the bi-Hamiltonian property for the corresponding Euler equation $\dot x = ad_{\varphi x}^* x$ .     

Power Majorization and Majorization of Sequences

Let \(\bar x\) , \(\bar y\ \in\ R_n\) be vectors which satisfy x₁ ≥ x₂ ≥ … ≥ x_n and y₁ ≥ y₂ >- … ≥ y_n and Σx_i = Σy_i. We say that \(\bar x\) is power majorized by \(\bar y\) if Σx_i ^p ≤ Σy_i ^p for all real p ? [0, 1] and Σx_i ^p ≥ Σy_i ^p for p ∈ [0, 1]. In this paper we give a classification of functions ? (which includes all possible positive polynomials) for which \(\bar\phi(\bar x) \leq \bar\phi(\bar y)\) (see definition below) when \(\bar x\) is power majorized \(\bar y\) . We also answer a question posed by Clausing by showing that there are vectors \(\bar x\) , \(\bar y\ \in\ R^n\) of any dimension n ≥ 4 for which there is a convex function ? such that \(\bar x\) is power majorized by \(\bar y\) and \(\bar\phi(\bar x)\ >\ \bar\phi(\bar y)\) .     

A generalization of the finiteness problem of the local cohomology modules

Let R be a commutative Noetherian ring and \(\mathfrak{a}\) an ideal of R. We introduce the concept of \(\mathfrak{a}\) -weakly Laskerian R-modules, and we show that if M is an \(\mathfrak{a}\) -weakly Laskerian R-module and s is a non-negative integer such that Ext _R ^j \((R/\mathfrak{a},H_\mathfrak{a}^i (M))\) is \(\mathfrak{a}\) -weakly Laskerian for all i < s and all j, then for any \(\mathfrak{a}\) -weakly Laskerian submodule X of \(H_\mathfrak{a}^s (M)\) , the R-module \(Hom_R (R/\mathfrak{a},H_\mathfrak{a}^s (M)/X)\) is \(\mathfrak{a}\) -weakly Laskerian. In particular, the set of associated primes of \(H_\mathfrak{a}^s (M)/X\) is finite. As a consequence, it follows that if M is a finitely generated R-module and N is an \(\mathfrak{a}\) -weakly Laskerian R-module such that \(H_\mathfrak{a}^i (N)\) (N) is \(\mathfrak{a}\) -weakly Laskerian for all i < s, then the set of associated primes of \(H_\mathfrak{a}^s (M,N)\) (M,N) is finite. This generalizes the main result of S. Sohrabi Laleh, M.Y. Sadeghi, and M.Hanifi Mostaghim (2012).     

A generalization of Eisenstein�CSch?nemann irreducibility criterion

One of the results generalizing Eisenstein Irreducibility Criterion states that if ${\phi(x) = a_nx^n\,{+} \,a_{n-1}x^{n-1} \,{+} \,\cdots\,{+} \,a_0}$ is a polynomial with coefficients from the ring of integers such that a _s is not divisible by a prime p for some ${s \, \leqslant \, n}$ , each a _i is divisible by p for ${0 \, \leqslant \, i \, \leqslant \, s-1}$ and a ₀ is not divisible by p ², then ${\phi(x)}$ has an irreducible factor of degree at least s over the field of rational numbers. We have observed that if ${\phi(x)}$ is as above, then it has an irreducible factor g(x) of degree s over the ring of p-adic integers such that g(x) is an Eisenstein polynomial with respect to p. In this paper, we prove an analogue of the above result for a wider class of polynomials which will extend the classical Sch?nemann Irreducibility Criterion as well as Generalized Sch?nemann Irreducibility Criterion and yields irreducibility criteria by Akira et?al. (J Number Theory 25:107?C111, 1987).     

Left Orders in Special Completely 0-Simple Semigroups

A subsemigroup S of a semigroup Q is a left order in Q, and Q is a semigroup of left quotients of S, if every element of Q can be written as a ^?1 b for some ${a, b\in S}$ with a belonging to a group ${\mathcal{H}}$ -class of Q. Characterizations are provided for semigroups which are left orders in completely 0-simple semigroups in the following classes: without similar ${\mathcal{L}}$ -classes, without contractions, ${\mathcal{R}}$ -unipotent, Brandt semigroups and their generalization. Complete discussion of two examples and an idea for a new concept conclude the paper.     

On one sided ideals of a semiprime ring with generalized derivations

Let R be a ring with center Z(R). An additive mapping ${F : R \longrightarrow R}$ is said to be a generalized derivation on R if there exists a derivation ${d : R \longrightarrow R}$ such that F(xy) = F(x)y + xd(y), for all ${x, y \in R}$ (the map d is called the derivation associated with F). Let R be a semiprime ring and U be a nonzero left ideal of R. In the present note we prove that if R admits a generalized derivation F, d is the derivation associated with F such that d(U) ≠ (0) then R contains some nonzero central ideal, if one of the following conditions holds: (1) R is 2-torsion free and ${F(xy) \in Z(R)}$ , for all ${x, y \in U}$ , unless F(U)U = UF(U) = Ud(U) = (0); (2) ${F(xy) \mp yx \in Z(R)}$ , for all ${x,y \in U}$ ; (3) ${F(xy) \mp [x,y] \in Z(R)}$ , for all ${x,y \in U}$ ; (4) F ≠ 0 and F([x,y]) = 0, for all ${x, y \in U}$ , unless Ud(U) = (0); (5) F ≠ 0 and ${F([x, y]) \in Z(R)}$ , for all ${x, y \in U}$ , unless either d(Z(R))U = (0) or Ud(U) = (0)n.     

On Some Noteworthy Pairs of Ideals in Mod-R

An additive functor $F \colon {\mathcal A}\to{\mathcal B}$ between preadditive categories $\mathcal A$ and $\mathcal B$ is said to be a local functor if, for every morphism $f\colon A\to A'$ in $\mathcal A$ , F(f) isomorphism in $\mathcal B$ implies f isomorphism in $\mathcal A$ . We show that there exist several pairs $(\mathcal I_1,\mathcal I_2)$ of ideals of $\mathcal A$ for which the canonical functor $\mathcal A\to\mathcal A/\mathcal I_1\times \mathcal A/\mathcal I_2$ is a local functor. In most of our examples, the category $\mathcal A$ is a full subcategory of the category Mod?-R of all right modules over a ring R. These pairs of ideals arise in a surprisingly natural way and enjoy several properties. Ideals are kernels of functors, and most of our examples of ideals are kernels of important and well studied functors. E.g., (1) the kernel Δ of the canonical functor P of Mod?-R into its spectral category Spec(Mod?-R), so that Δ is the ideal of all morphisms with an essential kernel; (2) the kernel Σ of the dual functor F of P, so that Σ is the ideal of all morphisms with a superfluous image; (3) the kernels Δ⁽¹⁾ and Σ₍₁₎ of the first derived functors P ⁽¹⁾ and F ₍₁₎ of P and F, respectively; (4) the kernels of suitable functors Hom and ? and their first derived functors ${\rm Ext}^1_R$ and ${\rm Tor}^R_1$ .     

Number theoretic applications of a class of Cantor series fractal functions. I

Suppose that \({{(P, Q) \in {\mathbb{N}_{2}^\mathbb{N}} \times {\mathbb{N}_{2}^\mathbb{N}}}}\) and x = E ₀.E ₁ E ₂ · · · is the P-Cantor series expansion of \({x \in \mathbb{R}}\) . We define $$\psi_{P,Q}(x) := {\sum_{n=1}^{\infty}} \frac{{\rm min}(E_n, q_{n}-1)}{q_1 \cdots q_n}.$$ The functions \({\psi_{P,Q}}\) are used to construct many pathological examples of normal numbers. These constructions are used to give the complete containment relation between the sets of Q-normal, Q-ratio normal, and Q-distribution normal numbers and their pairwise intersections for fully divergent Q that are infinite in limit. We analyze the Hölder continuity of \({\psi_{P,Q}}\) restricted to some judiciously chosen fractals. This allows us to compute the Hausdorff dimension of some sets of numbers defined through restrictions on their Cantor series expansions. In particular, the main theorem of a paper by Y. Wang et al. [29] is improved. Properties of the functions \({\psi_{P,Q}}\) are also analyzed. Multifractal analysis is given for a large class of these functions and continuity is fully characterized. We also study the behavior of \({\psi_{P,Q}}\) on both rational and irrational points, monotonicity, and bounded variation. For different classes of ergodic shift invariant Borel probability measures \({\mu_1}\) and \({\mu_2}\) on \({{\mathbb{N}_2^\mathbb{N}}}\) , we study which of these properties \({\psi_{P,Q}}\) satisfies for \({\mu_1 \times \mu_2}\) -almost every (P,Q) \({{\in {\mathbb{N}_{2}^{\mathbb{N}}} \times {\mathbb{N}_{2}^{\mathbb{N}}}}}\) . Related classes of random fractals are also studied.     

Approximate Unitary Equivalence to Skew Symmetric Operators

An operator \(T\) on a complex Hilbert space \(\mathcal {H}\) is called skew symmetric if \(T\) can be represented as a skew symmetric matrix relative to some orthonormal basis for \(\mathcal {H}\) . In this paper, we study the approximation of skew symmetric operators and provide a \(C^*\) -algebra approach to skew symmetric operators. We classify up to approximate unitary equivalence those skew symmetric operators \(T\in \mathcal {B(H)}\) satisfying \(C^*(T)\cap \mathcal {K(H)}=\{0\}\) . This is used to characterize when a unilateral weighted shift with nonzero weights is approximately unitarily equivalent to a skew symmetric operator.     

Equilibrium Problems for Infinite Dimensional Vector Potentials with External Fields

We consider a minimal energy problem with an external field over noncompact classes of infinite dimensional vector measures $(\mu^i)_{i\in I}$ on a locally compact space. The components μ ⁱ are positive measures normalized by $\int g_i\,d\mu^i=a_i$ (where a _i and g _i are given) and supported by closed sets A _i with the sign +?1 or ??1 prescribed such that A _i ?∩?A _j ?=?? whenever ${\rm sign}\,A_i\ne{\rm sign}\,A_j$ , and the law of interaction between μ ⁱ , i?∈?I, is determined by the matrix $\bigl({\rm sign}\,A_i\,{\rm sign}\,A_j\bigr)_{i,j\in I}$ . For positive definite kernels satisfying Fuglede’s condition of consistency, sufficient conditions for the existence of equilibrium measures are established and properties of their uniqueness, vague compactness, and strong and vague continuity are studied. Examples illustrating the sharpness of the sufficient conditions are provided. We also obtain variational inequalities for the weighted equilibrium potentials, single out their characteristic properties, and analyze continuity of the equilibrium constants. The results hold, e.g., for classical kernels in $\mathbb R^n$ , $n\geqslant 2$ , which is important in applications.     

A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.