×

On the length of decompositions of central simple algebras in tensor products of symbols. (English) Zbl 0558.16010

Methods in ring theory, Proc. NATO Adv. Study Inst., Antwerp/Belg. 1983, NATO ASI Ser., Ser. C 129, 505-516 (1984).
[For the entire collection see Zbl 0537.00005.]
Seien e, d natürliche Zahlen mit denselben Primteilern, und sei e ein Teiler von d, \(\xi\) eine primitive e-te Einheitswurzel, enthalten in einem Körper k, C(e,d/k) die Klasse aller einfachen k-Algebren vom Grad d und einem Exponenten, der e teilt. Merkurjev und Suslin haben bewiesen (noch nicht veröffenticht), daß jedes \(A\in C(e,d/k)\) äquivalent ist (in der Brauergruppe) einem Kroneckerprodukt über dem Zentrum F von A von Algebren vom Grad e der Form A(a,b) mit Erzeugenden x, y derart, daß \(x^ e=a\), \(y^ e=b\), \(yx=\xi xy\). Aus der Existenz der generischen k-Algebra UD(e,d/k) vom Exponenten e und Grad d [vgl. D. J. Saltman, Commun. Algebra 7, 791-817 (1979; Zbl 0403.16018)] ergibt sich die Existenz einer kleinsten Zahl l(e,d/k) von Faktoren für die Algebren der Klasse C(e,d/k). Der Verfasser versucht, l(e,d/k) zu bestimmen. Nur für wenige kleine Zahlen ist l(e,d/k) bekannt, z.B. \(l(2,2/k)=1\). So kann man schon mit Abschätzungen zufrieden sein, etwa \(l(p^ m,p^ n/k)\geq n\).
Reviewer: S.Elliger

MSC:

16P10 Finite rings and finite-dimensional associative algebras
16D70 Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras)
14F22 Brauer groups of schemes
16H05 Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.)
16Kxx Division rings and semisimple Artin rings