Finite-dimensional non-associative algebras and codimension growth (Q544140): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Ivan Pavlovic Shestakov / rank | |||
Property / author | |||
Property / author: Ivan Pavlovic Shestakov / rank | |||
Normal rank | |||
Property / review text | |||
For an associative algebra \(A\) with polynomial identity the classical theorem of Regev gives that the codimension sequence \(c_n(A)\), \(n=1,2,\ldots\), is exponentially bounded. A more recent theorem of two of the authors of the paper under review [\textit{A. Giambruno} and \textit{M. Zaicev}, Adv. Math. 140, No. 2, 145--155 (1998; Zbl 0920.16012)] shows that over a field of characteristic 0 the exponent of the algebra \(\exp(A)=\lim_{n\to\infty}\root{n}\of{c_n(A)}\) exists and is an integer. The picture is different if the algebra is not associative. Even for good classes of algebras the growth of the codimension sequence may be over-exponential or sub-exponential, and the exponent, if it exists, may be not integral. In the paper under review the authors study finite-dimensional (not necessarily associative) algebras over a field of characteristic zero. They assume that such an algebra \(A\) has a special non-degenerate bilinear form \(\langle x,y\rangle=\text{tr}(\alpha(x,y))\), where \(\alpha(x,y)\) is a linear combination of homogeneous products of second degree of left and right multiplications by \(x,y,xy\) or \(yx\). The paper shows that \(A\) shares a lot of properties typical for associative PI-algebras. The first main result gives that if \(A\) is simple, then \(\exp(A)=\dim(A)\). In particular, this holds for simple Jordan and alternative algebras. The next result states that for arbitrary finite-dimensional Jordan and alternative algebras \(A\) the exponent \(\exp(A)\) exists and again is an integer. Hence, the codimension sequence grows either exponentially or polynomially. As in the associative case, the exponent can be expressed in terms of the dimension of a specific subalgebra of \(A\). One of the main tools which is of independent interest is the construction in the free non-associative algebra of multilinear polynomials which are alternating in several sets of variables and do not vanish on the algebra \(A\). | |||
Property / review text: For an associative algebra \(A\) with polynomial identity the classical theorem of Regev gives that the codimension sequence \(c_n(A)\), \(n=1,2,\ldots\), is exponentially bounded. A more recent theorem of two of the authors of the paper under review [\textit{A. Giambruno} and \textit{M. Zaicev}, Adv. Math. 140, No. 2, 145--155 (1998; Zbl 0920.16012)] shows that over a field of characteristic 0 the exponent of the algebra \(\exp(A)=\lim_{n\to\infty}\root{n}\of{c_n(A)}\) exists and is an integer. The picture is different if the algebra is not associative. Even for good classes of algebras the growth of the codimension sequence may be over-exponential or sub-exponential, and the exponent, if it exists, may be not integral. In the paper under review the authors study finite-dimensional (not necessarily associative) algebras over a field of characteristic zero. They assume that such an algebra \(A\) has a special non-degenerate bilinear form \(\langle x,y\rangle=\text{tr}(\alpha(x,y))\), where \(\alpha(x,y)\) is a linear combination of homogeneous products of second degree of left and right multiplications by \(x,y,xy\) or \(yx\). The paper shows that \(A\) shares a lot of properties typical for associative PI-algebras. The first main result gives that if \(A\) is simple, then \(\exp(A)=\dim(A)\). In particular, this holds for simple Jordan and alternative algebras. The next result states that for arbitrary finite-dimensional Jordan and alternative algebras \(A\) the exponent \(\exp(A)\) exists and again is an integer. Hence, the codimension sequence grows either exponentially or polynomially. As in the associative case, the exponent can be expressed in terms of the dimension of a specific subalgebra of \(A\). One of the main tools which is of independent interest is the construction in the free non-associative algebra of multilinear polynomials which are alternating in several sets of variables and do not vanish on the algebra \(A\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vesselin Drensky / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16P90 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16R10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5907657 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polynomial identity | |||
Property / zbMATH Keywords: polynomial identity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
codimensions | |||
Property / zbMATH Keywords: codimensions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exponential growth | |||
Property / zbMATH Keywords: exponential growth / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Jordan algebra | |||
Property / zbMATH Keywords: Jordan algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
alternative algebra | |||
Property / zbMATH Keywords: alternative algebra / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.aam.2010.04.007 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1974399590 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 19:04, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite-dimensional non-associative algebras and codimension growth |
scientific article |
Statements
Finite-dimensional non-associative algebras and codimension growth (English)
0 references
14 June 2011
0 references
For an associative algebra \(A\) with polynomial identity the classical theorem of Regev gives that the codimension sequence \(c_n(A)\), \(n=1,2,\ldots\), is exponentially bounded. A more recent theorem of two of the authors of the paper under review [\textit{A. Giambruno} and \textit{M. Zaicev}, Adv. Math. 140, No. 2, 145--155 (1998; Zbl 0920.16012)] shows that over a field of characteristic 0 the exponent of the algebra \(\exp(A)=\lim_{n\to\infty}\root{n}\of{c_n(A)}\) exists and is an integer. The picture is different if the algebra is not associative. Even for good classes of algebras the growth of the codimension sequence may be over-exponential or sub-exponential, and the exponent, if it exists, may be not integral. In the paper under review the authors study finite-dimensional (not necessarily associative) algebras over a field of characteristic zero. They assume that such an algebra \(A\) has a special non-degenerate bilinear form \(\langle x,y\rangle=\text{tr}(\alpha(x,y))\), where \(\alpha(x,y)\) is a linear combination of homogeneous products of second degree of left and right multiplications by \(x,y,xy\) or \(yx\). The paper shows that \(A\) shares a lot of properties typical for associative PI-algebras. The first main result gives that if \(A\) is simple, then \(\exp(A)=\dim(A)\). In particular, this holds for simple Jordan and alternative algebras. The next result states that for arbitrary finite-dimensional Jordan and alternative algebras \(A\) the exponent \(\exp(A)\) exists and again is an integer. Hence, the codimension sequence grows either exponentially or polynomially. As in the associative case, the exponent can be expressed in terms of the dimension of a specific subalgebra of \(A\). One of the main tools which is of independent interest is the construction in the free non-associative algebra of multilinear polynomials which are alternating in several sets of variables and do not vanish on the algebra \(A\).
0 references
polynomial identity
0 references
codimensions
0 references
exponential growth
0 references
Jordan algebra
0 references
alternative algebra
0 references