On the Behrens radical of matrix rings and polynomial rings

It is shown that the Behrens radical of a polynomial ring, in either commuting or non-commuting indeterminates, has the form of “polynomials over an ideal”. Moreover, in the case of non-commuting indeterminates, for a given coefficient ring, the ideal does not depend on the cardinality of the set of indeterminates. However, in contrast to the Brown-McCoy radical, it can happen that the polynomial ring R[X] in an infinite set X of commuting indeterminates over a ring R is Behrens radical while the polynomial ring R〈X〉 in an infinite set Y of non-commuting indeterminates over R is not Behrens radical. This is connected with the fact that the matrix rings over Behrens radical rings need not be Behrens radical. The class of Behrens radical rings, which is closed under taking matrix rings, is described.     

On injective Jordan semi-triple maps of matrix algebras

We show that every injective Jordan semi-triple map on the algebra M_n(F) of all n × n matrices with entries in a field F (i.e. a map Φ:M_n(F)→M_n(F) satisfying

Φ(ABA)=Φ(A)Φ(B)Φ(A)     

Decomposition of some pointed Hopf algebras given by the canonical Nakayama automorphism

Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded.     

Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras

In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Gröbner-Shirshov bases of free Rota-Baxter algebra, free λ-differential algebra and free λ-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to the recent results obtained by K. Ebrahimi-Fard-L. Guo, and L. Guo-W. Keigher by using other methods.     

Group gradings on upper triangular matrices

Let UT_n be the algebra of n × n upper triangular matrices over a field F. We describe all G-gradings on UT _n by an arbitrary group G. Received: 13 September 2006     

Incidence algebras that are uniquely determined by their zero-nonzero matrix pattern

To what extent is the isomorphism type of an incidence algebra determined by the zero-nonzero pattern of a matrix representation? We settle the question in a natural framework where the matrices are subdivided into four blocks: The lower left is zero, the diagonal blocks are fixed, and the upper right is variable.     

A matrix problem over a central quadratic skew field extension

Let F⊂G=F(u) be a central quadratic skew field extension (such that the generator u is central in G) and a natural (G,G)-bimodule. We deal with the matrix problem on finding a canonical form for rectangular matrices over W with help of left elementary transformations of their rows and right elementary transformations of columns over G. We solve this problem reducing it in the separable (resp. inseparable) case to the semilinear (resp. pseudolinear) pencil problem.     

A simple proof of a theorem on quasi-Baer rings

We give a simple proof of a theorem, due to Birkenmeier, Kim and Park, which states that if $R[x, x^{-1}]$ or $R[[x, x^{-1}]]$ is a quasi-Baer ring then R is a quasi-Baer ring. Received: 8 April 2002     

Group gradings on the superalgebras M(m,n), A(m,n) and P(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie superalgebras $P(n)$, $n\ge 2$, and on the simple associative superalgebras $M(m,n)$, $m,n\ge 1$, over an algebraically closed field: fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism. As a corollary, we also classify up to isomorphism the G-gradings on the classical Lie superalgebra $A(m,n)$ that are induced from G-gradings on $M(m+1,n+1)$. In the case of Lie superalgebras, the characteristic is assumed to be 0.     

Complement preserving operators

An operatorTVV on a real inner product space is called complement preserving if, wheneverU is aT-invariant subspace ofV the orthogonal complementU is alsoT-invariant. In this note we obtain some results on such operators.     

Quaternionic matrices: Unitary similarity, simultaneous triangularization and some trace identities

We construct six unitary trace invariants for 2×2 quaternionic matrices which separate the unitary similarity classes of such matrices, and show that this set is minimal. We have discovered a curious trace identity for two unit-speed one-parameter subgroups of Sp(1). A modification gives an infinite family of trace identities for quaternions as well as for 2×2 complex matrices. We were not able to locate these identities in the literature. We prove two quaternionic versions of a well known characterization of triangularizable subalgebras of matrix algebras over an algebraically closed field. Finally we consider the problem of describing the semi-algebraic set of pairs (X,Y) of quaternionic n×n matrices which are simultaneously triangularizable. Even the case n=2, which we analyze in more detail, remains unsolved.     

On multilinear polynomials in four variables evaluated on matrices

Let K   be an algebraically closed field of characteristic 0 and let _Mn(K)$M_n(K)$, n?3$n?3$, be the matrix ring over K  . We will show that the image of any multilinear polynomial in four variables evaluated on _Mn(K)$M_n(K)$ contains all matrices of trace 0.     

Homomorphisms of matrix semigroups over division rings from dimension two to four

Let D be an arbitrary division ring and M_n(D) the multiplicative semigroup of all n×n matrices over D. We study non-degenerate, injective homomorphisms from M₂(D) to M₄(D). In particular, we present a structural result for the case when D is the ring of quaternions.     

Frobenius structural matrix algebras

We discuss when the incidence coalgebra of a locally finite preordered set is right co-Frobenius. As a consequence, we obtain that a structural matrix algebra over a field k is Frobenius if and only if it consists, up to a permutation of rows and columns, of diagonal blocks which are full matrix algebras over k.     

Invariant subspaces of nilpotent operators and LR-sequences

The aim of this paper is to study systematically invariant subspaces of finitedimensional nilpotent operators. Our main motivation comes from classifying the similarity orbit in thelattice of invariant subspaces of a given nilpotent operator. We give a detailed study of the Littlewood-Richardson similarity orbit. We show that none of the natural similarity relations is equivalent with the others.     

Double ore extensions

A double Ore extension is a natural generalization of the Ore extension. We prove that a connected graded double Ore extension of an Artin-Schelter regular algebra is Artin-Schelter regular. Some other basic properties such as the determinant of the DE-data are studied. Using the double Ore extension, we construct 26 families of Artin-Schelter regular algebras of global dimension four in a sequel paper.     

Lengths of central linear generalized polynomials in matrix algebras

Let D be a division algebra finite-dimensional over its center C and let A=M_m(D), the m×m matrix ring over D. By the length of a linear generalized polynomial (GP) ?(X), we mean the least positive integer n such that ?(X) can be represented in the form for some . We denote by L(?)=n the length of ?. By a central linear GP for A we mean a nonzero linear GP with central values on A. In this paper we characterize all central linear GPs for A and determine the lengths of all central linear GPs for A.