Cohomology of general coinduced representions

ABSTRACT

Let R be a prime ring with a nonzero derivation d and let f(X ₁,…,X _t ) be a multilinear polynomial over C, the extended centroid of R. Suppose that b[d(f(x ₁,…,x _t )), f(x ₁,…,x _t )] _n  = 0 for all x _i  ∈ R, where 0 ≠ b ∈ R and n is a fixed positive integer. Then f(X ₁,…,X _t ) is centrally valued on R unless char R = 2 and dim _C RC = 4. We prove a more generalized version by replacing R with a left ideal.     

ADDITIVE SUBGROUPS GENERATED BY POLYNOMIAL VALUES ON RIGHT IDEALS

Let R be a prime ring with extended centroid C, ρ a nonzero right ideal of R and f(X ₁,…,X_t ) a nonzero polynomial over C. We determine the additive subgroup of RC generated by all elements f(x ₁,…,x_t ) for x ₁,…,x_t ∈ ρ C and obtain a result concerning an independence property of polynomials in prime rings.     

Generalized Derivations with Invertible or Nilpotent Values on Multilinear Polynomials

Let R be a ring with unity, g a generalized derivation on R and f(X ₁,…,X _k ) a multilinear polynomial. In this article we describe the structure of R provided that g(f(x ₁,…,x _k )) is either invertible or nilpotent for every x ₁,…,x _k in some nonzero ideal of R.     

Quadratic Central Differential Identities on a Multilinear Polynomial

Let K be a commutative ring with unity, R a prime K-algebra, Z(R) the center of R, d and δ nonzero derivations of R, and f(x ₁,…, x _n ) a multilinear polynomial over K. If [d(f(r ₁,…, r _n )), δ (f(r ₁,…, r _n ))] ? Z(R), for all r ₁,…, r _n  ? R, then either f(x ₁,…, x _n ) is central valued on R or {d, δ} are linearly dependent over C, the extended centroid of R, except when char(R) = 2 and dim _C RC = 4.     

Commuting Values of Generalized Derivations on Multilinear Polynomials

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, U the right Utumi quotient ring of R, f(x ₁,…, x _n ) a noncentral multilinear polynomial over K, and G a nonzero generalized derivation of R. Denote f(R) the set of all evaluations of the polynomial f(x ₁,…, x _n ) in R. If [G(u)u, G(v)v] = 0, for any u, v ∈ f(R), we prove that there exists c ∈ U such that G(x) = cx, for all x ∈ R and one of the following holds: 1. f(x ₁,…, x _n )² is central valued on R;

2. R satisfies s ₄, the standard identity of degree 4.

     

An Annihilator Condition with Generalized Derivations on Multilinear Polynomials

Let R be a non-commutative prime ring of characteristic different from 2, U its right Utumi quotient ring, C its extended centroid, F a generalized derivation on R, and f(x ₁,…, x _n ) a noncentral multilinear polynomial over C. If there exists a ∈ R such that, for all r ₁,…, r _n  ∈ R, a[F ²(f(r ₁,…, r _n )), f(r ₁,…, r _n )] = 0, then one of the following statements hold: 1. a = 0;

2. There exists λ ∈C such that F(x) = λx, for all x ∈ R;

3. There exists c ∈ U such that F(x) = cx, for all x ∈ R, with c ² ∈ C;

4. There exists c ∈ U such that F(x) = xc, for all x ∈ R, with c ² ∈ C.

     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

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.     

Derivations and right ideals of algebras

Let R be a K-algebra acting densely on V_D, where K is a commutative ring with unity and V is a right vector space over a division K-algebra D. Let ρ be a nonzero right ideal of R and let f(X₁,…,X_t) be a nonzero polynomial over K with constant term 0 such that μR≠0 for some coefficient μ of f(X₁,…,X_t). Suppose that d:R→R is a nonzero derivation. It is proved that if rankd(f(x₁,…,x_t))?m for all x₁,…,x_t∈ρ and for some positive integer m, then either ρ is generated by an idempotent of finite rank or d=ad(b) for some b∈End(V_D) of finite rank. In addition, if f(X₁,…,X_t) is multilinear, then b can be chosen such that rank(b)?2(6t+13)m+2.     

New upper bounds on the minimum size of covering designs

Let D = {B₁, B₂,…, B_b} be a finite family of k-subsets (called blocks ) of a v-set X(v) = {1, 2,…, v} (with elements called points ). Then D is a (v, k, t) covering design or covering if every t-subset of X(v) is contained in at least one block of D. The number of blocks, b, is the size of the covering, and the minimum size of the covering is called the covering number , denoted C(v, k, t). This article is concerned with new constructions of coverings. The constructions improve many upper bounds on the covering number C(v, k, t) © 1998 John Wiley & Sons, Inc. J Combin Designs 6:21–41, 1998     

Generalized Derivations with Engel Conditions on One-Sided Ideals

Let R be a noncommutative prime ring and I a nonzero left ideal of R. Let g be a generalized derivation of R such that [g(r ^k ), r ^k ] _n  = 0 for all r ∈ I, where k, n are fixed positive integers. Then there exists c ∈ U, the left Utumi quotient ring of R, such that g(x) = xc and I(c ? α) = 0 for a suitable α ∈ C. In particular we have that g(x) = α x, for all x ∈ I.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Characterization and Transformation of Invariants

We consider difference equations of order k _n+k ≥ 2 of the form: y_n+k = f(yn,…,yn+k-1), n= 0,1,2,… where f: D ^k → D is a continuous function, and D?R. We develop a necessary and sufficient condition for the existence of a symmetric invariant I(x ₁,…,x_k ) ∈C^∞[D^k,D]. This condition will be used to construct invariants for linear and rational difference equations. Also, we investigate the transformation of invariants under invertible maps. We generalize and extend several results that have been obtained recently.     

Prime T-Ideals in Polynomial and Power Series Rings Over a Pseudo-Valuation Domain

Let R be an m-dimensional pseudo-valuation domain with residue field k, let V be the associated valuation domain with residue field K, and let k ₀ be the maximal separable extension of k in K. We compute the t-dimension of polynomial and power series rings over R. It is easy to see that t-dim R[x ₁,…, x _n ] = 2 if m = 1 and K is transcendental over k, but equals m otherwise, and that t-dim R[[x ₁,…, x _n ]] = ∞ if R is a nonSFT-ring. When R is an SFT-ring, we also show that: (1) t-dim R[[x]] = m; (2) t-dim R[[x ₁,…, x _n ]] = 2m ? 1, if n ≥ 2, K has finite exponent over k ₀, and [k ₀: k] < ∞; (3) t-dim R[[x ₁,…, x _n ]] = 2m, otherwise.