*-Polynomial Identities of Matrices with the Symplectic Involution: The Low Degrees

Abstract

The *-polynomial identities of minimal degree of M _n (F) are determined for n = 2, 4, * the symplectic involution.     

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     

Identities with involution for the matrix algebra of order two in characteristic<Emphasis Type="Italic">p</Emphasis>

LetM ₂ (K) be the matrix algebra of order two over an infinite fieldK of characteristicp≠2. IfK is algebraically closed then, up to isomorphism, there are two involutions of first kind onM ₂ (K), namely the transpose and the symplectic. IfK is not algebraically closed, studying *-identities it is still sufficient to consider only these two involutions. We describe bases of the polynomial identities with involution in each of these cases. Supported by PhD grant from CNPq. Partially supported by CNPq and by CAPES.     

On Certain Power-Associative,Lie-Admissible Subalgebras of Matrix Algebras

The theory of functional identities is applied to the classification of the third-power-associative products * which can be defined on certain Lie subalgebras A of the matrix algebra M _n (F) over a field F such that x * y − y * x = xy − yx for all x, y ∈ A, where xy denotes the usual associative product in M _n (F) and A is the matrix algebra itself, a Lie ideal, a one-sided ideal, the Lie algebra of skew elements, or the algebra of upper triangular matrices. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 13, Algebra, 2004.     

Involutions in triangular groups

We describe involutions, i.e. elements of order 2, in the groups T _n (K) – of upper triangular matrices of dimension n (n?∈??), and T _∞(K) – of upper triangular infinite matrices, where K is a field of characteristic different from 2. Using the obtained result, we give a formula for the number of all involutions in T _n (K) in the case when K is a finite field.     

Maps preserving square-zero matrices on the algebra consisting of all upper triangular matrices

Let F be a field, T _n (F) (respectively, N _n (F)) the matrix algebra consisting of all n × n upper triangular matrices (respectively, strictly upper triangular matrices) over F. A ∈ T _n (F) is said to be square zero if A ² = 0. In this article, we firstly characterize non-singular linear maps on N _n (F) preserving square-zero matrices in both directions, then by using it we determine non-singular linear maps on T _n (F) preserving square-zero matrices in both directions.     

On the *-Polynomial Identities of a Class of *-Minimal Algebras

Let F be an infinite field. We consider certain block-triangular algebras with involution U _n , with n ∈ ?, having minimal *-exponent. We describe their *-polynomial identities, and in case char.F = 0, their structure as a T _*-ideal under the action of general linear groups. These goals are achieved by means of Y-proper polynomials. We also compute explicitly the irreducible modules occurring in the decomposition of B _Y (U ₃) and their multiplicities.     

∗-Polynomial Identities of a Nonsymmetric ∗-Minimal Algebra

Let F be an infinite field of characteristic ≠?2. We study the ?-polynomial identities of the ?-minimal algebra R?=?UT _?(F?⊕?F, F). We describe the generators of T _?(R) and a linear basis of the relatively free algebra of R. When char.F?=?0, these results allow us to provide a complete list of polynomials generating irreducible GL × GL-modules decomposing the proper part of the relatively free algebra of R. Finally, the ?-codimension sequence of R is explicitly computed.     

Witt groups and the elementary type conjecture

Let A be an algebra with involution * over a field F of characteristic zero and Id(A, *) the ideal of the free algebra with involution of *-identities of A. By means of the representation theory of the hyperoctahedral group Z ₂wrS _n we give a characterization of Id(A, *) in case the sequence of its *-codimensions is polynomially bounded. We also exhibit an algebra G ₂ with the following distinguished property: the sequence of *-codimensions of Id(G ₂, *) is not polynomially bounded but the *-codimensions of any T-ideal U properly containing Id(G ₂, *) are polynomially bounded.     

Varieties of almost polynomial growth: classifying their subvarieties

Let G be the infinite dimensional Grassmann algebra over a field F of characteristic zero and UT ₂ the algebra of 2 × 2 upper triangular matrices over F. The relevance of these algebras in PI-theory relies on the fact that they generate the only two varieties of almost polynomial growth, i.e., they grow exponentially but any proper subvariety grows polynomially. In this paper we completely classify, up to PI-equivalence, the associative algebras A such that A ∈ Var(G) or A ∈ Var(UT ₂).     

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.     

Rank-one nonincreasing mappings on triangular matrices and some related preserver problems

Let T_n (F) be the algebra of all n×n upper triangular matrices over an arbitrary field F. We first characterize those rank-one nonincreasing mappings ψ: T_n (F)→T_m (F)n?m such that ψ(I_n ) is of rank n. We next deduce from this result certain types of singular rank-one r-potent preservers and nonzero r-potent preservers on T_n (F). Characterizations of certain classes of homomorphisms and semi-homomorphisms on T_n (F) are also given.     

Formally Real Involutions on Central Simple Algebras

An involution # on an associative ring R is formally real if a sum of nonzero elements of the form r ^# r where r ? R is nonzero. Suppose that R is a central simple algebra (i.e., R = M _n (D) for some integer n and central division algebra D) and # is an involution on R of the form r ^# = a ^?1 r? a, where ? is some transpose involution on R and a is an invertible matrix such that a? = ±a. In Section 1 we characterize formal reality of # in terms of a and ?| _D . In later sections we apply this result to the study of formal reality of involutions on crossed product division algebras. We can characterize involutions on D = (K/F, Φ) that extend to a formally real involution on the split algebra D ? _F K ? M _n (K). Every such involution is formally real but we show that there exist formally real involutions on D which are not of this form. In particular, there exists a formally real involution # for which the hermitian trace form x ? tr(x ^# x) is not positive semidefinite.     

A problem on conjugacy of matrices

Let F be an infinite field and n?12. Then the number of conjugacy classes of the upper triangular nilpotent matrices in M_n(F) under action by the subgroup of GL_n(F) consisting of all the upper triangular matrices is infinite.     

Adjacency preserving bijective maps on triangular matrices over any division ring

Let 𝕋 _n (D) be the set of n × n upper triangular matrices over a division ring D. We characterize the adjacency preserving bijective maps in both directions on 𝕋 _n (D) (n ≥ 3). As applications, we describe the ring semi-automorphisms and the Jordan automorphisms on upper triangular matrices over a simple Artinian ring.     

Iterative character constructions for algebra groups

We construct a family of orthogonal characters of an algebra group which decompose the supercharacters defined by Diaconis and Isaacs (2008) [6]. Like supercharacters, these characters are given by nonnegative integer linear combinations of Kirillov functions and are induced from linear supercharacters of certain algebra subgroups. We derive a formula for these characters and give a condition for their irreducibility; generalizing a theorem of Otto (2010) [20], we also show that each such character has the same number of Kirillov functions and irreducible characters as constituents. In proving these results, we observe as an application how a recent computation by Evseev (2010) [7] implies that every irreducible character of the unitriangular group UTn(q) of unipotent n×n upper triangular matrices over a finite field with q elements is a Kirillov function if and only if n?12. As a further application, we discuss some more general conditions showing that Kirillov functions are characters, and describe some results related to counting the irreducible constituents of supercharacters.     

Identities of the Semigroup of Upper Triangular Tropical Matrices

A new family of identities satisfied by the semigroups U _n (𝕋) of n × n upper triangular tropical matrices is constructed and an elementary proof is given.