Commuting Graphs of Matrix Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R, and two distinct vertices x and y are adjacent if and only if xy = yx. The commuting graph of a group G, denoted by Γ(G), is similarly defined. In this article we investigate some graph-theoretic properties of Γ(M _n (F)), where F is a field and n ≥ 2. Also we study the commuting graphs of some classical groups such as GL _n (F) and SL _n (F). We show that Γ(M _n (F)) is a connected graph if and only if every field extension of F of degree n contains a proper intermediate field. We prove that apart from finitely many fields, a similar result is true for Γ(GL _n (F)) and Γ(SL _n (F)). Also we show that for two fields F and E and integers n, m ≥ 2, if Γ(M _n (F))?Γ(M _m (E)), then n = m and |F|=|E|.     

The Banach-Mazur distance between symmetric spaces

We show that the Banach-Mazur distance betweenN-dimensional symmetric spacesE andF satisfies , wherec is a numerical constant. IfE is a symmetric space, then max (M ⁽²⁾(E),M ₍₂₎(E)), whereM ⁽²⁾(E) (resp.M ₍₂₎(E)) denotes the 2-convexity (resp. the 2-concavity) constant ofE. We also give an example of a spaceF with an 1-unconditional basis and enough symmetries that satisfiesd(F, l ₂ ^dimF )=M ⁽²⁾(F)M ₍₂₎(F). Partially supported by NSF Grant MCS-8201044.     

Martingales in Banach Lattices

In this article, we present a version of martingale theory in terms of Banach lattices. A sequence of contractive positive projections (E_n) on a Banach lattice F is said to be a filtration if E_nE_m = E_{n∧ m}. A sequence (x_n) in F is a martingale if E_nx_m = x_n whenever n ≤ m. Denote by M = M(F, (E_n)) the Banach space of all norm uniformly bounded martingales. It is shown that if F doesn’t contain a copy of c₀ or if every E_n is of finite rank then M is itself a Banach lattice. Convergence of martingales is investigated and a generalization of Doob Convergence Theorem is established. It is proved that under certain conditions one has isometric embeddings . Finally, it is shown that every martingale difference sequence is a monotone basic sequence. Mathematics Subject Classification (2000). 60G48, 46B42     

Products and factors of Banach function spaces

Given two Banach function spaces we study the pointwise product space E · F, especially for the case that the pointwise product of their unit balls is again convex. We then give conditions on when the pointwise product E · M(E, F) = F, where M(E, F) denotes the space of multiplication operators from E into F.     

Graded Polynomial Identities for Tensor Products by the Grassmann Algebra

Abstract

Let 𝕂 be a field of characteristic zero, and R be a G-graded 𝕂-algebra. We consider the algebra R ? E, then deduce its G × ?₂-graded polynomial identities starting from the G-graded polynomial identities of R. As a consequence, we describe a basis for the ? _n  × ?₂-graded identities of the algebras M _n (E). Moreover we give the graded cocharacter sequence of M ₂(E), and show that M ₂(E) is PI-equivalent to M _1,1(E) ? E. This fact is a particular case of a more general result obtained by Kemer.     

Four-Cycle Systems with Two-Regular Leaves

 In this paper we settle the existence problem for 4-cycle systems of K _n −E(F) and of 2K _n −E(F) for all 2-regular subgraphs F. Received: February 5, 1999?Final version received: October 25, 1999     

Graded polynomial identities for matrices with the transpose involution over an infinite field

Let F be an infinite field and let M_n(F) be the algebra of n×n matrices over F endowed with an elementary grading whose neutral component coincides with the main diagonal. In this paper, we find a basis for the graded polynomial identities of M_n(F) with the transpose involution. Our results generalize for infinite fields of arbitrary characteristic previous results in the literature, which were obtained for the field of complex numbers and for a particular class of elementary G-gradings.     

Subspaces where an immanant is convertible into its conjugate ∗

Let n≥5 and let be an irreducible nonlinear character of S_n such that whenever σ is a transposition or a cycle of length three; furthermore let T_n be the (0, 1)-matrix of order n that has ones exactly on and below the upper neighbours of the main diagonal and denote by E_ij the matrix of order n with 1 in position (i, j) and 0 elsewhere.

Given i,jε{1,…,n}, with i+1<j, we prove that if j?i≠3, then in the subspace M_n (T_n +E_ij there exist matrices for which the immanant is not convertible into the immanant by sign-affixing. Abusing language, we say that the space is -inconvertible, and show that spaces M_n (T_n +E₂₅ ) and M_n (T_n +E_n?3,n ). We also state some sufficient fonditions for the subspace M_n (T_n ) to be external convertible.

With some exceptions our theorems say that the coordinate subspaces found for the conversion of the permanent into the determinant by Gibson around 1970 are also best possible for other immanants.     

An Erd?s-Gallai Theorem for Matroids

Erdős and Gallai showed that for any simple graph with n vertices and circumference c it holds that | E(G) | ￡ \frac12(n - 1)c{{{\mid}{E(G)}{\mid} \leq {\frac{1}{2}}(n - 1)c}}. We extend this theorem to simple binary matroids having no F ₇-minor by showing that for such a matroid M with circumference c(M) ≥  3 it holds that | E(M) | ￡ \frac12r(M)c(M){{{\mid}{E(M)}{\mid} \leq {\frac{1}{2}}r(M)c(M)}}.     

Involution codimensions and trace codimensions of matrices are asymptotically equal

We calculate the asymptotic growth oft _n (M _p (F),*) andc _n (M _p (F),*), the trace and ordinary *-codimensions ofp×p matrices with involution. To do this we first calculate the asymptotic growth oft _n and then show thatc _n ⋍t _n . In memory of Shimshon Amitsur, our teacher and our friend Work supported by NSF grant DMS 9303230. The first author would also like to thank Bar-Ilan University and The Hebrew University of Jerusalem for their kind hospitality during his sabbatical year. Work supported by NSF grant DMS 910488     

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.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

Vector bundles on Hirzebruch surfaces whose twists by a non-ample line bundle have natural cohomology

Here we study vector bundles E on the Hirzebruch surface F _e such that their twists by a spanned, but not ample, line bundle M = _Fe (h + ef) have natural cohomology, i.e. h ⁰(F _e , E(tM)) > 0 implies h ¹(F _e , E(tM)) = 0.      

Additive Maps on Matrix Algebras Preserving Invertibility or Singularity

We characterize the additive singularity preserving almost surjective maps on Mn （F）, the algebra of all n×n matrices over a field F with char F=0. We also describe additive invertibility preserving surjective maps on Mn （F） and give examples showing that all the assunlptions in these two theorems are indispensable.     

Tighter Bounds on the Solution of a Divide-and-Conquer Maximin Recurrence

LetM(n) be defined by the recurrencewherefis an arbitrary nondecreasing function andM(1) is given. The recurrenceM(n) is a divide-and-conquer maximin recurrence, which occurs in a variety of problems in the analysis of algorithms. In this paper, a new upper bound onM(n) is first derived. The derived bound is smaller than the one proposed previously by Li and Reingold. It is at most two times the exact solution ofM(n). Using the bound, we further show thatM(n) ≤ 2E(n), whereE(n) is defined by the recurrenceE(n) = E(⌊n/2⌋) + E(⌈n/2⌉) + f(⌊n/2⌋). From this result, we can conclude that a divide-and-conquer algorithm whose time complexity is expressed asM(n) is as efficient as a divide-and-conquer algorithm whose time complexity is expressed asE(n).     

Inverse-preserving Linear Maps Between Spaces of Matrices over Fields

Suppose F is a field different from F2, the field with two elements. Let Mn（F） and Sn（F） be the space of n × n full matrices and the space of n ×n symmetric matrices over F, respectively. For any G1, G2 ∈ {Sn（F）, Mn（F）}, we say that a linear map f from G1 to G2 is inverse-preserving if f（X）^-1 = f（X^-1） for every invertible X ∈ G1. Let L （G1, G2） denote the set of all inverse-preserving linear maps from G1 to G2. In this paper the sets .L（Sn（F）,Mn（F））, L（Sn（F）,Sn（F））, L （Mn（F）,Mn（F）） and L（Mn （F）, Sn （F）） are characterized.     

Galois Stability, Integrality and Realization Fields for Representations of Finite Abelian Groups

For a given field F of characteristic 0 we consider a normal extension E/F of finite degree d and finite Abelian subgroups GGL _n (E) of a given exponent t. We assume that G is stable under the natural action of the Galois group of E/F and consider the fields E=F(G) that are obtained via adjoining all matrix coefficients of all matrices gG to F. It is proved that under some reasonable restrictions for n, any E can be realized as F(G), while if all coefficients of matrices in G are algebraic integers, there are only finitely many fields E=F(G) for prescribed integers n and t or prescribed n and d.     

Free subgroups in maximal subgroups of GLn(D)

Let D be a noncommutative finite dimensional F-central division algebra and M a noncommutative maximal subgroup of GL_n(D). It is shown that either M contains a noncyclic free subgroup or M is absolutely irreducible and there exists a unique maximal subfield K of M_n(D) such that K*M, K∕F is Galois with Gal(K∕F)?M∕K* and Gal(K∕F) is a finite simple group.     

On Commuting Graphs of Finite Matrix Rings

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R and two distinct vertices are joint by an edge whenever they commute. It is conjectured that if R is a ring with identity such that Γ(R) ≈ Γ(M _n (F)), for a finite field F and n ≥ 2, then R ≈ M _n (F). Here we prove this conjecture when n = 2.     

A presentation of the group Sl * (2, A), A a simple artinian ring with involution

Let (A,*) be an involutive ring. Then the groups Sl _*(2, A), are a non commutative version of the special linear groups Sl(2, F) defined over a field F. In particular, if A = M(n, F) and * is transposition, then Sl _*(2, M _n (F)) = Sp(2n, F). The above groups were defined by Pantoja and Soto-Andrade, and a set of generators for the group SSl _*(2, A) (which is either Sl _*(2, A) or a index 2 subgroup of Sl _*(2, A)) was given in the case when A is an artinian ring. In this paper, we prove that the mentioned generators provide a presentation of the mentioned groups in the case of simple artinian rings.Partially supported by FONDECYT project 1030907 and Pontificia Universidad Católica de Valparaíso