Power cocentralizing generalized derivations on prime rings

Let R be a prime ring, U the Utumi quotient ring of R, C = Z(U) the extended centroid of R, L a non-central Lie ideal of R, H and G non-zero generalized derivations of R. Suppose that there exists an integer n ≥ 1 such that (H(u)u − uG(u)) ⁿ = 0, for all u ∈ L, then one of the following holds: (1) there exists c ∈ U such that H(x) = xc, G(x) = cx; (2) R satisfies the standard identity s ₄ and char (R) = 2; (3) R satisfies s ₄ and there exist a, b, c ∈ U, such that H(x) = ax+xc, G(x) = cx+xb and (a − b) ⁿ = 0.     

Elementary equivalence of Chevalley groups over fields

It is proved that (elementary) Chevalley groups G _π(Φ,K) and G _π′(Φ′,K′) (or E _π(Φ,K) and E _π′(Φ′,K′)) over infinite fields K and K′ of characteristic different from 2, with weight lattices Λ and Λ′, respectively, are elementarily equivalent if and only if the root systems Φ and Φ′ are isomorphic, the fields K and K′ are elementarily equivalent, and the lattices Λ and Λ′ coincide. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 8, pp. 29–77, 2006.     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

A Property About Minimum Edge- and Minimum Clique-Cover of a Graph

 Let G be a graph with n vertices, and denote as γ(G) (as θ(G)) the cardinality of a minimum edge cover (of a minimum clique cover) of G. Let E (let C) be the edge-vertex (the clique-vertex) incidence matrix of G; write then P(E)={x∈ℜ ⁿ :Ex≤1,x≥0}, P(C)={x∈ℜ ⁿ :Cx≤1,x≥0}, α _E (G)=max{1 ^T x subject to x∈P(E)}, and α _C (G)= max{1 ^T x subject to x∈P(C)}. In this paper we prove that if α _E (G)=α _C (G), then γ(G)=θ(G). Received: May 20, 1998?Final version received: April 12, 1999     

Multilinear polynomials and cocentralizing conditions in prime rings

Let R be a noncommutative prime ring of characteristic different from 2, let Z(R) be its center, let U be the Utumi quotient ring of R, let C be the extended centroid of R, and let f(x ₁,..., x _n ) be a noncentral multilinear polynomial over C in n noncommuting variables. Denote by f(R) the set of all evaluations of f(x ₁, …, xn) on R. If F and G are generalized derivations of R such that [[F(x), x], [G(y), y]] ∈ Z(R) for any x, y ∈ f(R), then one of the following holds:

On some exotic finite subgroups of E 8 and Springer’s regular elements of the Weyl group

A proof (by Serre and by Cohen, Griess and Lisser) verified, in the special case of E ₈, a conjecture of mine, that the finite projective group L ₂(61) embeds in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) . Subsequently, Griess and Ryba have shown (using computers) that L ₂(49) and, in addition, (established by Serre without computers) L ₂(41) also embed in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) . That is, if K = 30, 24, 20 and k ∈ K then L ₂(2k + 1) embeds in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) . In this paper we show that the “Borel” subgroup B(k) of L ₂(2k + 1), k ∈ K, has a uniform construction. The theorem uses a result of T. Springer on the existence in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) of three regular elements of the Weyl group, having orders k ∈ K, and associated to the regular, subregular and subsubregular nilpotent elements. Springer’s result generalizes (in the E ₈ case) a 1959 general result of mine relating the principal nilpotent element with the Coxeter element.     

Exchange rings with stable range one

We characterize exchange rings having stable range one. An exchange ring R has stable range one if and only if for any regular a ∈ R, there exist an e ∈ E(R) and a u ∈ U(R) such that a = e + u and aR ⋂ eR = 0 if and only if for any regular a ∈ R, there exist e ∈ r.ann(a ⁺) and u ∈ U(R) such that a = e + u if and only if for any a, b ∈ R, R/aR ≅ R/bR ⇒ aR ≅ bR.     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.     

Cocentralizing derivations and nilpotent values on Lie ideals

Let R be a prime ring with char R ≠ 2, L a non-central Lie ideal of R, d, g non-zero derivations of R, n ≥ 1 a fixed integer. We prove that if (d(x)x − xg(x)) ⁿ = 0 for all x ∈ L, then either d = g = 0 or R satisfies the standard identity s ₄ and d, g are inner derivations, induced respectively by the elements a and b such that a + b ∈ Z(R).     

Annihilating power values of co-commutators with generalized derivations

Let R be a prime ring with its Utumi ring of quotient U, H and G be two generalized derivations of R and L a noncentral Lie ideal of R. Suppose that there exists 0 ≠ a ∈ R such that a(H(u)u − uG(u)) ⁿ  = 0 for all u ∈ L, where n ≥ 1 is a fixed integer. Then there exist b′,c′ ∈ U such that H(x) = b′x + xc′, G(x) = c′x for all x ∈ R with ab′ = 0, unless R satisfies s ₄, the standard identity in four variables.     

Weights andL Φ-boundedness of the Poisson integral operator

In this paper, we get a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ, v(x)dx) to weak-L _Φ(R ₊ ⁿ⁺¹ ,dμ), where Φ is anN-function satisfying the Δ₂-condition. We also find a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ,v(x)dx) toL _Φ(R ₊ ⁿ⁺¹ ,dμ) under some additional condition. Partially supported by NNSF of P.R. China     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L _p,k, and the finite field F(p ^k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ₁ of the variety V(L _p,k) generated by L _p,k into the variety V(F(p ^k)) generated by F(p ^k) and an interpretation Φ₂ of V(F(p ^k)) into V(L _p,k) such that Φ₂Φ₁(B) = B for every B ε V(L _p,k) and Φ₁Φ₂(R) = R for every R ε V(F(p ^k)).     

A remark on the range of elementary operators

Let L(H) denote the algebra of all bounded linear operators on a separable infinite dimensional complex Hilbert space H into itself. Given A ∈ L(H), we define the elementary operator Δ _A : L(H) → L(H) by Δ _A (X) = AXA − X. In this paper we study the class of operators A ∈ L(H) which have the following property: ATA = T implies AT*A = T* for all trace class operators T ∈ C ₁(H). Such operators are termed generalized quasi-adjoints. The main result is the equivalence between this character and the fact that the ultraweak closure of the range of Δ _A is closed under taking adjoints. We give a characterization and some basic results concerning generalized quasi-adjoints operators.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

E Φ andh Φ fail to beM-ideals inL Φ andl Φ in the case of the Orlicz norm

It is well known that in the case of the Luxemburg normE ^Φ (resp.h ^Φ) is anM ideal inL ^Φ (resp.l ^Φ), see [1], [9], [15] and [6]; [17] and [18]. It is proved in this paper that in the case of the Orlicz normE ^Φ (resph ^Φ) is anM-ideal inL ^Φ (resp.l ^Φ) iff Φ satisfies the suitable Δ₂ or Φ^*(a(Φ^*)), where a(Φ^*) is linear on the interval [0,u]} and Φ^* denotes the function complementary to Φ in the sense of Young. It is also proved that any linear continuous regular (i.e. order continuous) functional ξ_υ overE ^Φ (resp.h ^Φ) generated byv∈ L(h ^Φ*) (resp.v∈ L(h ^Φ*)) which attains its norm on the unit sphereS(E ^Φ) (resp.S(h ^Φ)), has a unique norm-preserving extension toL ^Φ (resp.l ^Φ). Finally, it is proved thatL ^Φ (resp.l ^Φ) has the property that any linear continuous regular functional ξ_υ overE ^Φ (resp.h ^Φ) has a unique norm-preserving extension toL ^Φ (resp.l ^Φ) iff Φ orE ^Φ satisfies the suitable Δ₂ and in the second case Φ^* attains the value 1.     

Nearly flat almost monotone measures are big pieces of lipschitz graphs

A concentrated (ξ, m) almost monotone measure inR ⁿ is a Radon measure Φ satisfying the two following conditions: (1) Θ ^m (Φ,x)≥1 for every x ∈spt (Φ) and (2) for everyx ∈R ⁿ the ratioexp [ξ(r)]r^−mΦ(B(x,r)) is increasing as a function of r>0. Here ξ is an increasing function such thatlim _r→0-ξ(r)=0. We prove that there is a relatively open dense setReg (Φ) ∋spt (Φ) such that at each x∈Reg(Φ) the support of Φ has the following regularity property: given ε>0 and λ>0 there is an m dimensional spaceW ⊂R ⁿ and a λ-Lipschitz function f from x+W into x+W^‖ so that (100-ε)% ofspt(Φ) ∩B (x, r) coincides with the graph of f, at some scale r>0 depending on x, ε, and λ.     

On periodic solvable groups having automorphisms with nilpotent fixed point groups

Letp be a prime,G a periodic solvablep′-group acted on by an elementary groupV of orderp ². We show that ifC _G(v) is abelian for eachv ∈V ^# thenG has nilpotent derived group, and ifp=2 andC _G(v) is nilpotent for eachv ∈V ^# thenG is metanilpotent. Earlier results of this kind were known only for finite groups.     

Augmented group systems and shifts of finite type

Let (G, χ, x) be a triple consisting of a finitely presented groupG, epimorphism χ:G →Z, and distinguished elementx ∈G such that χ(x)=1. Given a finite symmetric groupS _r, we construct a finite directed graph Γ that describes the set Φ _r of representations π: Ker χ →S _r as well as the mapping σ _x :Φ _r →Φ _r defined by (σ _x ϱ)(a) = ϱ(x ⁻¹ ax) for alla ∈ Ker χ. The pair (Φ _r ,σ _x has the structure of a shift of finite type, a well-known type of compact 0-dimensional dynamical system. We discuss basic properties and applications of therepresentation shift (Φ _r ,σ _x ), including applications to knot theory.