On trace forms of higher degree
type: Item
instance of: scholarly article
title: On trace forms of higher degree
zbMATH Open document ID: 0867.16010
DOI: 10.1016/0024-3795(94)00363-7
author: Manuel O'Ryan
author: Daniel B. Shapiro
published in: Linear Algebra and its Applications
publication date: 1997-07-10T00:00:00Z
full work available at URL: http://rave.ohiolink.edu/etdc/view
review text: Let \(A\) be a central simple algebra over a field \(k\). Consider the trace-form of degree \(d\) on \(A\): \(\Psi_d(X)=\text{tr }X^d\), where tr is the reduced trace. A linear map \(f:A\to A\) is a similarity of \((A,\Psi_d)\) if there exists a \(\lambda\in k^*\) such that \(\Psi_d(f(a))=\lambda\Psi_d(a)\) for all \(a\in A\). The main theorem of the paper shows that if \(d>2\) and the characteristic of \(k\) does not divide \(d!\), then the similarities \(f\) of \((A,\Psi_d)\) are in the group generated by the automorphisms, antiautomorphisms and scalar maps of \(A\). (Linear maps in this group are called standard.) In section 1 some background and motivation for the problem is provided. The theorem can be seen as a generalization of a theorem of \textit{J. Rackusin} and \textit{W. Watkins} [Linear Algebra Appl. 17, 269-276 (1977; Zbl 0371.15004)] which states that if \(d>2\) and \(f\) is a linear map on \(M_n(\mathbb{C})\) preserving \(\text{tr }X^d\) such that \(f(1_n)=1_n\), then \(f\) must be standard. To prove the main theorem of the paper it is enough to prove it over some extension of \(k\) (Lemma 3.3). This reduces the result to \(A=M_n(k)\). The largest part of the proof consists in showing that for a similarity \(f\), \(f(1_n)\) is a scalar matrix. In section 2 it is shown that \((A,\Psi_d)\) as a symmetric \(d\)-linear space is regular and indecomposable.
reviewed by: Jan Van Geel
Mathematics Subject Classification ID: 16K20
Mathematics Subject Classification ID: 11E81
Mathematics Subject Classification ID: 16W20
zbMATH DE Number: 951805
zbMATH Keywords: linear maps
zbMATH Keywords: central simple algebras
zbMATH Keywords: trace forms
zbMATH Keywords: reduced traces
zbMATH Keywords: similarities
zbMATH Keywords: automorphisms
zbMATH Keywords: antiautomorphisms
zbMATH Keywords: scalar maps
MaRDI profile type: Publication
OpenAlex ID: W2162460475
cites work: On semi-automorphisms of division algebras
cites work: A Grothendieck ring of higher degree forms
cites work: Witt rings of higher degree forms
cites work: Q5639810
cites work: Structure groups and Lie algebras of Jordan algebras of symmetric elements of associative algebras with involution
cites work: Determinants of r-fold symmetric multilinear forms
cites work: Théorie de la descente et algèbres d'Azumaya
cites work: Trace forms of central simple algebras
cites work: On the similarity group of forms of higher degree
cites work: Q3961610
cites work: Chapter 4:algebraic sets, polynomials, and other functions
cites work: On orthogonal decomposition of homogeneous polynomials
cites work: Linear maps on matrices: the invariance of symmetric polynomials
cites work: Q5590138
Recommended article: Functional identities in one variable.
Recommended article: Trace form preservers
Recommended article: On the images of multilinear maps of matrices over finite-dimensional division algebras
Recommended article: A localization technique for linear preserver problems
Recommended article: Linear preservers on powers of matrices
Recommended article: Commutativity preserving linear maps on central simple algebras.
Recommended article: Sums of squares in central simple algebras
Recommended article: Invariant forms on central simple structurable algebras
Recommended article: Polynomial Identities of Finite Dimensional Simple Algebras
Recommended article: On the second trace form of central simple algebras in characteristic two
description: scientific article; zbMATH DE number 951805