Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

Ideals and simplicity of unitary Lie algebras

Double graded ideals and simplicity of elementary unitary Lie algebra eu _n (R,⁻, γ) and Steinberg unitary Lie algebra stu _n (R,⁻, γ) are characterized, where R is a unital involutory associative algebra over a field F of characteristic zero, n ⩾ 5.     

Matrices with zero trace

LetM _n(F) denote the algebra ofn-square matrices with elements in a fieldF. In this paper we show that ifM ∈M _n(F) has zero trace thenM=AB−BA for certainA, B ∈ M _n(F), withA nilpotent and traceB=0, apart from some exceptional cases whenn=2 or 3. We also determine whenM=MB−BM for someB ∈ M _n(F). The preparation of this paper was supported in part by the U.S. Air Force under contract AFOSR 698-65.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains \frac12\frac{1}{2} and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism.     

The localization of 1-cohomology of transitive Lie algebroids

For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.     

Test rank of an abelian product of a free Lie algebra and a free abelian Lie algebra

Let F be a free Lie algebra of rank n ≥ 2 and A be a free abelian Lie algebra of rank m ≥ 2. We prove that the test rank of the abelian product F ×A is m. Morever we compute the test rank of the algebra F/g_k( F) ^￠F/\gamma _{k}\left( F\right) ^{^{\prime }}.     

On the Construction of Permutation Arrays via Mappings from Binary Vectors to Permutations

An (n, d, k)-mapping f is a mapping from binary vectors of length n to permutations of length n + k such that for all x, y {0,1}ⁿ, d_H (f(x), f(y)) ≥ d_H (x, y) + d, if d_H (x, y) ≤ (n + k) − d and d_H (f(x), f(y)) = n + k, if d_H (x, y) > (n + k) − d. In this paper, we construct an (n,3,2)-mapping for any positive integer n ≥ 6. An (n, r)-permutation array is a permutation array of length n and any two permutations of which have Hamming distance at least r. Let P(n, r) denote the maximum size of an (n, r)-permutation array and A(n, r) denote the same setting for binary codes. Applying (n,3,2)-mappings to the design of permutation array, we can construct an efficient permutation array (easy to encode and decode) with better code rate than previous results [Chang (2005). IEEE Trans inf theory 51:359–365, Chang et al. (2003). IEEE Trans Inf Theory 49:1054–1059; Huang et al. (submitted)]. More precisely, we obtain that, for n ≥ 8, P(n, r) ≥ A(n − 2, r − 3) > A(n − 1,r − 2) = A(n, r − 1) when n is even and P(n, r) ≥ A(n − 2, r − 3) = A(n − 1, r − 2) > A(n, r − 1) when n is odd. This improves the best bound A(n − 1,r − 2) so far [Huang et al. (submitted)] for n ≥ 8. The work was supported in part by the National Science Council of Taiwan under contract NSC-93-2213-E-009-117     

Involutions for upper triangular matrix algebras

In this paper we describe completely the involutions of the first kind of the algebra UT_n(F) of n×n upper triangular matrices. Every such involution can be extended uniquely to an involution on the full matrix algebra. We describe the equivalence classes of involutions on the upper triangular matrices. There are two distinct classes for UT_n(F) when n is even and a single class in the odd case.Furthermore we consider the algebra UT₂(F) of the 2×2 upper triangular matrices over an infinite field F of characteristic different from 2. For every involution *, we describe the *-polynomial identities for this algebra. We exhibit bases of the corresponding ideals of identities with involution, and compute the Hilbert (or Poincaré) series and the codimension sequences of the respective relatively free algebras.Then we consider the *-polynomial identities for the algebra UT₃(F) over a field of characteristic zero. We describe a finite generating set of the ideal of *-identities for this algebra. These generators are quite a few, and their degrees are relatively large. It seems to us that the problem of describing the *-identities for the algebra UT_n(F) of the n×n upper triangular matrices may be much more complicated than in the case of ordinary polynomial identities.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism. The third author is Corresponding author.     

Equations fonctionnelles et estimations de normes de matrices

We solve independently the equations 1/θ(x)θ(y)=ψ(x)−ψ(y)+φ(x−y)/θ(x−y) and 1/θ(x)θ(y)=σ(x)−σ(y)/θ(x−y)+τ(x)τ(y), τ(0)=0. In both cases we find θ²=aθ⁴+bθ²+c. We deduce estimates for the spectral radius of a matrix of type(1/θ(x _r −x _s )) (the accent meaning that the coefficients of the main diagonal are zero) and we study the case where thex _r are equidistant.

Dédié to à Monsieur le Professeur Otto Haupt à l'occasion de son cententiare avec les meilleurs voeux     

An Extremal Problem on Degree Sequences of Graphs

 Let G=(I _n ,E) be the graph of the n-dimensional cube. Namely, I _n ={0,1} ⁿ and [x,y]∈E whenever ||x−y||₁=1. For A⊆I _n and x∈A define h _A (x) =#{y∈I _n A|[x,y]∈E}, i.e., the number of vertices adjacent to x outside of A. Talagrand, following Margulis, proves that for every set A⊆I _n of size 2 ⁿ⁻¹ we have for a universal constant K independent of n. We prove a related lower bound for graphs: Let G=(V,E) be a graph with . Then , where d(x) is the degree of x. Equality occurs for the clique on k vertices. Received: January 7, 2000 RID="*" ID="*" Supported in part by BSF and by the Israeli academy of sciences     

The Frattini Subalgebra of Restricted Lie Superalgebras

In the present paper, we study the Frattini subalgebra of a restricted Lie superalgebra （L, [p]）. We show first that if L = A1 ＋ A2 ＋… ＋An, then Фp（L） = Фp（A1） ＋Фp（A2） ＋…＋Фp（An）, where each Ai is a p-ideal of L. We then obtain two results： F（L） = Ф（L） = J（L） = L if and only if L is nilpotent; Fp（L） and F（L） are nilpotent ideals of L if L is solvable. In addition, necessary and sufficient conditions are found for Фp-free restricted Lie superalgebras. Finally, we discuss the relationships of E-p-restricted Lie superalgebras and E-restricted Lie superalgebras.     

Derivations on the algebra of operators in hilbert C*-modules

Let M be a full Hilbert C*-module over a C*-algebra A,and let End*A(M) be the algebra of adjointable operators on M.We show that if A is unital and commutative,then every derivation of End A(M) is an inner derivation,and that if A is σ-unital and commutative,then innerness of derivations on "compact" operators completely decides innerness of derivations on End*A(M).If A is unital(no commutativity is assumed) such that every derivation of A is inner,then it is proved that every derivation of End*A(Ln(A)) is also inner,where Ln(A) denotes the direct sum of n copies of A.In addition,in case A is unital,commutative and there exist x0,y0 ∈ M such that x0,y0 = 1,we characterize the linear A-module homomorphisms on End*A(M) which behave like derivations when acting on zero products.     

A result concerning nilpotent values with generalized skew derivations on Lie ideals

ABSTRACT

Let n≥1 be a fixed integer, R a prime ring with its right Martindale quotient ring Q, C the extended centroid, and L a non-central Lie ideal of R. If F is a generalized skew derivation of R such that (F(x)F(y)?yx)ⁿ = 0 for all x,y∈L, then char(R) = 2 and R?M₂(C), the ring of 2×2 matrices over C.     

Kernels of derivations of polynomial rings and Casimir elements

We propose an algorithm for the evaluation of elements of the kernel of an arbitrary derivation of a polynomial ring. The algorithm is based on an analog of the well-known Casimir element of a finite-dimensional Lie algebra. By using this algorithm, we compute the kernels of Weitzenb?ck derivation d(x _i ) = x _i−1, d(x ₀) = 0, i = 0,…, n, for the cases where n ≤ 6.     

Generalized Skew Derivations with Nilpotent Values in Prime Rings

Let ? be a prime ring, 𝒞 the extended centroid of ?, ? a Lie ideal of ?, F be a nonzero generalized skew derivation of ? with associated automorphism α, and n ≥ 1 be a fixed integer. If (F(xy) ? yx) ⁿ  = 0 for all x, y ∈ ?, then ? is commutative and one of the following statements holds:

(1) Either ? is central;

(2) Or ? ? M ₂(𝒞), the 2 × 2 matrix ring over 𝒞, with char(𝒞) = 2.     

A criterion for generating full matrix algebras

Let M_n(F) be the algebra of n×n matrices over a field F, and let A∈M_n(F) have characteristic polynomial c(x)=p₁(x)p₂(x)?p_r(x) where p₁(x),…,p_r(x) are distinct and irreducible in F[x]. Let X be a subalgebra of M_n(F) containing A. Under a mild hypothesis on the p_i(x), we find a necessary and sufficient condition for X to be M_n(F).     

On embeddings of some quotient algebras of free sums of Lie algebras

Let (B _i ) _i∈I be a set of Lie algebras; let X be a free Lie algebra; let * X be their free sum; let R be an ideal of F such that R ⋂ B _i = 1 (i ∈ I); let V be a variety of Lie algebras such that V(R) is an ideal of F. Under some restrictions, we construct an embedding of F/V(R) into the verbal wreath product of a free algebra of the variety V with F/R. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 4, pp. 235–241, 2004.     

On the Matlis duals of local cohomology modules and modules of generalized fractions

Let (R, m) be a commutative Noetherian local ring with non-zero identity, a a proper ideal of R and M a finitely generated R-module with aM ≠ M. Let D(−) ≔ Hom _R (−, E) be the Matlis dual functor, where E ≔ E(R/m) is the injective hull of the residue field R/m. In this paper, by using a complex which involves modules of generalized fractions, we show that, if x ₁, …, x _n is a regular sequence on M contained in α, then H _{(x1, …,xnR} ⁿ D(H _a ⁿ (M))) is a homomorphic image of D(M), where H _b ⁱ (−) is the i-th local cohomology functor with respect to an ideal b of R. By applying this result, we study some conditions on a certain module of generalized fractions under which D(H _{(x1, …,xn)R} ⁿ (D(H _a ⁿ (M)))) ⋟ D(D(M)).