Decomposable and indecomposable algebras of degree 8 and exponent 2.

Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Finite-dimensional division rings (16K20) Finite rings and finite-dimensional associative algebras (16P10)

Abstract: We study the decomposition of central simple algebras of exponent 2 into tensor products of quaternion algebras. We consider in particular decompositions in which one of the quaternion algebras contains a given quadratic extension. Let

B

be a biquaternion algebra over

F (s q r t a)

with trivial corestriction. A degree 3 cohomological invariant is defined and we show that it determines whether

B

has a descent to

F

. This invariant is used to give examples of indecomposable algebras of degree 8 and exponent 2 over a field of 2-cohomological dimension 3 and over a field

m a t h b b M (t)

where the

u

-invariant of

m a t h b b M

is 8 and

t

is an indeterminate. The construction of these indecomposable algebras uses Chow group computations provided by A. S. Merkurjev in Appendix.

Review text

In the article under review, the author studies the decomposition of central simple algebras of exponent \(2\) into tensor products of quaternion algebras. A central simple algebra \(A\) over a field \(F\) is said to be \textit{decomposable} if \(A\simeq A_1\otimes A_2\) for two central simple \(F\)-algebras \(A_1\) and \(A_2\) both non isomorphic to \(F\); otherwise \(A\) is called \textit{indecomposable}. It is known that there exist non-trivial indecomposable central simple algebras of exponent \(2\), and the decomposability question depends on the cohomological dimension of the ground field. It is also known that there is no indecomposable algebra of exponent \(2\) over a field of cohomological dimension \(0\) and \(1\), and that over a field of cohomological dimension \(2\) any central simple algebra of exponent \(2\) is isomorphic to a tensor product of quaternion algebras. On the other hand, the known examples of indecomposable algebras of exponent \(2\) are constructed over fields of cohomological dimension greater than or equal to \(5\). The main goal of the article under review is to extend the existence of indecomposable algebras of exponent \(2\) to some fields of cohomological dimension \(3\). The main result asserts that there exists no indecomposable algebra of degree \(8\) and exponent \(2\) over a field of \(u\)-invariant smaller than or equal to \(8\). The author also gives the example of an indecomposable algebra of degree \(8\) and exponent \(2\) over a field of rational functions in one variable over a field of \(u\)-invariant \(8\).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Decomposable and indecomposable algebras of degree 8 and exponent 2.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454432)