---
abstract: 'Let $A$ be a finite-dimensional division algebra containing a base field $k$ in its center $F$. We say that $A$ is defined over a subfield $F_0$ if there exists an $F_0$-algebra $A_0$ such that $A = A_0 \otimes_{F_0} F$. We show that: (i) In many cases $A$ can be defined over a rational extension of $k$. (ii) If $A$ has odd degree $n \geq 5$, then $A$ is defined over a field $F_0$ of transcendence degree $\leq {\frac{1}{2}}(n-1)(n-2)$ over $k$. (iii) If $A$ is a ${\mathbb{Z}}/m \times {\mathbb{Z}}/2$-crossed product for some $m \geq 2$ (and in particular, if $A$ is any algebra of degree $4$) then $A$ is Brauer equivalent to a tensor product of two symbol algebras. Consequently, ${{\operatorname{M}}}_m(A)$ can be defined over a field $F_0$ such that ${\operatorname{trdeg}}_k(F_0) \leq 4$. (iv) If $A$ has degree 4 then the trace form of $A$ can be defined over a field $F_0$ of transcendence degree $\leq 4$. (In (i), (iii) and (iv) we assume that the center of $A$ contains certain roots of unity.)'
address:
- 'Department of Mathematics, Temple University, Philadelphia, PA 19122-6094'
- 'Department of Mathematics, University of British Columbia, Vancouver, BC, Canada, V6T 1Z2'
- 'Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan 52900, Israel'
- 'Department of Mathematics, University of Texas, Austin, TX 78712'
author:
- 'M. Lorenz'
- 'Z. Reichstein'
- 'L. H. Rowen'
- 'D. J. Saltman'
title: Fields of definition for division algebras
---

[^1]

[^2]

[^3]

[^4]

Introduction
============

Let $F$ be a field and $A$ a finite-dimensional $F$-algebra. We say that $A$ is defined over a subfield $F_0 \subset F$ if there exists an $F_0$-algebra $A_0$ such that $A = A_0 \otimes_{F_0} F$.

Throughout this paper we will assume that $A$ is a finite-dimensional central simple $F$-algebra, and $F$ (and $F_0$) contain a base field $k$.

Parameter reduction
-------------------

If $A$ is defined over $F_0$ and ${\operatorname{trdeg}}_k(F_0) < {\operatorname{trdeg}}_k(F)$ then the passage from $A$ to $A_0$ may be viewed as “parameter reduction" in $A$. This leads to the following natural question:

> What is the smallest value of ${\operatorname{trdeg}}_k(F_0)$ such that $A$ is defined over $F_0$?

This number is clearly finite; we shall denote it by $\tau(A)$. Of particular interest to us will be the case where $A = {\operatorname{UD}}(n)$ is the universal division algebra of degree $n$ and $F = Z(n)$ is the center of ${\operatorname{UD}}(n)$. Recall that ${\operatorname{UD}}(n)$ is the subalgebra of ${{{\operatorname{M}}}_n}(k(x_{ij}, y_{ij}))$ generated, as a $k$-division algebra, by two generic $n \times n$-matrices $X = (x_{ij})$ and $Y = (y_{ij})$, where $x_{ij}$ and $y_{ij}$ are $2n^2$ independent commuting variables over $k$; see, e.g., [@procesi Section II.1], [@rowen-pi Section 3.2] or [@saltman Section 14]. We shall write $d(n)$ for $\tau({\operatorname{UD}}(n))$. It is easy to show that $d(n) \geq \tau(A)$ for any central simple algebra $A$ of degree $n$ whose center contains $k$; see Remark \[rem-ud(n)\] (cf. also [@reichstein1 Lemma 9.2]). In other words, every central simple algebra of degree $n$ can be “reduced to at most $d(n)$ parameters".

To the best of our knowledge, the earliest attempt to determine the value of $d(n)$ is due to Procesi, who showed that $d(n) \leq n^2$; see [@procesi Thm. 2.1]. If $n=2,3$ or $6$ and $k$ contains a primitive $n^{\text{th}}$ root of unity then $d(n) = 2$, because ${\operatorname{UD}}(n)$ is cyclic for these $n$ and we can take $A_0$ to be a symbol algebra; cf. [@reichstein1 Lemma 9.4]. Rost [@rost] recently proved that $$\label{e.rost}
d(4) = 5 \, .$$ For other $n$ the exact value of $d(n)$ is not known. However, the following inequalities hold: $$\begin{gathered}
  d(n)  \leq  n^2 -3n + 1 \quad \text{\rm if $n \geq 4$}
 \quad \text{\rm \cite{lemire}} \, ,  \nonumber \\
 d(n)  \leq  d(nm) \leq d(n) + d(m) \quad
 \text{\rm if $(n, m) = 1$} \quad
 \text{\rm \cite[Sect.~9.4]{reichstein1}} \, , \nonumber \\
 d(n^r)  \geq   2r \quad
 \text{\rm \cite[Theorem 16.1]{reichstein2}} \, , \\
 d(n)  \leq  \tfrac{1}{2}(n-1)(n-2) + n  \quad \text{\rm for odd $n$}
 \quad
 \text{\rm \cite{rowen-brauer}; cf.~\cite[Sect.~9.3]{reichstein1}} \, .
\nonumber\end{gathered}$$ In this paper we will sharpen the last inequality by showing that $$d(n) \leq \frac{1}{2}(n-1)(n-2)$$ for every odd $n \geq 5$. Moreover, in ${\operatorname{UD}}(n)$, reduction to this number of parameters can be arranged in a particularly nice fashion:

\[thm1\] Let $n \geq 5$ be an odd integer, ${\operatorname{UD}}(n)$ the universal division algebra of degree $n$, and $Z(n)$ its center. Then there exists a subfield $F$ of $Z(n)$ and a division algebra $D$ of degree $n$ with center $F$ such that

1.  ${\operatorname{UD}}(n) = D \otimes_F Z(n)$,

2.  ${\operatorname{trdeg}}_k(F) = \frac{1}{2}(n-1)(n-2)$, and

3.  $Z(n)$ is a rational extension of $F$.

In particular, $d(n) \le \frac{1}{2}(n-1)(n-2)$.

We remark that in the language of [@reichstein1], the last assertion of Theorem \[thm1\] can be written as $$\label{e.ed-reference}
{\operatorname{ed}}({{\operatorname{PGL}}_n}) \le \frac{1}{2}(n-1)(n-2).$$

Rational fields of definition
-----------------------------

Another natural question is whether or not a given central simple algebra $A$ can be defined over a rational extension of $k$. We give the following partial answer to this question.

\[thm.rat\] Let $A$ be a finite-dimensional central simple algebra with center $F$ and let $t_1, t_2, \dots$ be algebraically independent central indeterminates over $F$.

1.  Assume $\deg(A) = 2^i p_1 \dots p_r$, where $i = 0$, $1$ or $2$ and $p_1, \dots, p_r$ are distinct odd primes. Then for $s \gg 0$ the algebra $A(t_1, \dots, t_s)$ is defined over a rational extension of $k$.

2.  Suppose the center of $A$ contains a primitive $e^{\text{th}}$ root of unity, where $e$ is the exponent of $A$. Then there exists an $r \geq 1$ such that for $s \gg 0$ the algebra $M_r(A)(t_1, \dots, t_s)$ is defined over a rational extension of $k$. (Here we are imposing no restrictions on the degree of $A$.)

Here $A(t_1, \dots, t_s)$ stands for $A \otimes_F  F(t_1, \dots, t_s)$ and similarly for $M_r(A)(t_1, \dots, t_s)$. Note that part (b) may be interpreted as saying that for $s \gg 0$ the Brauer class of $A(t_1, \dots, t_s)$ is defined over a rational extension of $k$.

${\mathbb{Z}}/m \times {\mathbb{Z}}/2$-crossed products
-------------------------------------------------------

As usual, we let $(a, b)_m$ denote the symbol algebra $$\label{E:symbol}
F\{ x, y \}/( x^m = a,  \, y^m = b,  \, xy = \zeta_m yx)\ ,$$ where $a,b \in F^*$ and $\zeta_m$ is a (fixed) primitive $m^{\text{th}}$ root of unity in $F$; cf. [@rowen-rt2 pp. 194-197]. In Section \[sect.deg4\] we will prove the following:

\[thm.ab-cr\] Let $A$ be a ${\mathbb{Z}}/m \times {\mathbb{Z}}/2$-crossed product central simple algebra whose center $F$ contains a primitive $2m^{\text{th}}$ root of unity $\zeta_{2m}$. Then $A$ is Brauer equivalent (over $F$) to $(a, b)_m
\otimes_F (c, d)_{2m}$ for some $a, b, c, d \in F^*$. (In other words, $M_m(A)$ is isomorphic to $(a, b)_m \otimes_F (c, d)_{2m}$.)

Note that Theorem \[thm.ab-cr\] applies to any division algebra of degree 4, since, by a theorem of Albert, any such algebra is a ${\mathbb{Z}}/2 \times {\mathbb{Z}}/2$-crossed product. In this setting our argument yields, in particular, an elementary proof of [@snider Theorem 2, p. 288]. We also remark that Theorem \[thm.ab-cr\] may be viewed as an explicit form of the Merkurjev-Suslin theorem for ${\mathbb{Z}}/m \times {\mathbb{Z}}/2$-crossed products.

Letting $F_0 = k(\zeta_{2m}, a, b, c, d)$, we note that $$(a, b)_m \otimes_F (c, d)_{2m} =
\Bigl( (a, b)_m \otimes_{F_0} (c, d)_{2m}  \Bigr) \otimes_{F_0} F \, .$$ Thus Theorem \[thm.ab-cr\] shows that ${{\operatorname{M}}}_m(A)$ is defined over $F_0$. Since ${\operatorname{trdeg}}_k(F_0) \leq 4$, we obtain the following:

\[cor.deg4\] Let $A$ be a ${\mathbb{Z}}/m \times {\mathbb{Z}}/2$-crossed product central simple algebra whose center contains a primitive $2m^{\text{th}}$ root of unity. Then $\tau(M_m(A)) \le 4$. In particular, $\tau(M_2(A)) \le 4$ for every central simple algebra $A$ of degree 4 whose center contains a primitive $4^{\text{th}}$ root of unity.

Note that the last assertion complements, in a somewhat surprising way, the above-mentioned result of Rost . Indeed, suppose the base field $k$ contains a primitive $4^{\text{th}}$ root of unity. Then for $A = {\operatorname{UD}}(4)$, Rost’s theorem says that $\tau(A) = 5$, where as Corollary \[cor.deg4\] says that $\tau({{\operatorname{M}}}_2(A)) \leq 4$.

Fields of definition of quadratic forms {#subsect1.quadr}
---------------------------------------

A quadratic form $q \colon V \to F$ on an $F$-vector space $V = F^n$ is said to be defined over a subfield $F_0$ of $F$ if $q = q_{F_0} \otimes F$, where $q_{F_0}$ is a quadratic form on $V_0 = F_0^n$.

In the last section we discuss fields of definition of quadratic forms. Of particular interest to us will be trace forms of central simple algebras of degree 4, recently studied by Rost, Serre and Tignol [@rst]. (Recall that the trace form of a central simple algebra $A$ is the quadratic form $x \mapsto {\operatorname{Tr}}(x^2)$ defined over the center of $A$.) We will use a theorem of Serre [@serre] (see our Proposition \[prop.serre\]) to prove the following:

\[thm.trace-form\] Let $A$ be a central simple algebra of degree $4$ whose center $F$ contains a primitive $4^{\text{th}}$ root of unity. Then the trace form of $A$ is defined over a subfield $F_0 \subset F$ such that ${\operatorname{trdeg}}_k(F_0) \leq 4$.

Note that Theorem \[thm.trace-form\] may also be viewed as complementing .

The authors would like to thank the referee for a number of helpful and constructive comments and for catching several mistakes in an earlier version of this paper.

Preliminaries {#prelim}
=============

${\mathcal{G}}$-lattices
------------------------

Throughout, ${\mathcal{G}}$ will denote a finite group and ${\mathcal{H}}$ will be a subgroup of ${\mathcal{G}}$. Recall that a *${\mathcal{G}}$-module* is a (left) module over the integral group ring ${\mathbb{Z}}[{\mathcal{G}}]$. As usual, ${\operatorname{Ext}}_{{\mathcal{G}}}$ stands for ${\operatorname{Ext}}_{{\mathbb{Z}}[{\mathcal{G}}]}$. A *${\mathcal{G}}$-lattice* is a ${\mathcal{G}}$-module that is free of finite rank over ${\mathbb{Z}}$. Further, a ${\mathcal{G}}$-lattice $M$ is called

-   a *permutation lattice* if $M$ has a ${\mathbb{Z}}$-basis that is permuted by ${\mathcal{G}}$;

-   *permutation projective* (or *invertible*) if $M$ is a direct summand of some permutation ${\mathcal{G}}$-lattice.

A ${\mathcal{G}}$-module $M$ is called *faithful* if no $1\neq g\in{\mathcal{G}}$ acts as the identity on $M$.

The ${{\mathcal{G}}/{\mathcal{H}}}$-augmentation kernel is defined as the kernel of the natural augmentation map $${\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}]={\mathbb{Z}}[{\mathcal{G}}]\otimes_{{\mathbb{Z}}[{\mathcal{H}}]}{\mathbb{Z}}\longrightarrow {\mathbb{Z}}\ ,
\quad {\overline{g}}= g\otimes 1\mapsto 1\qquad (g\in{\mathcal{G}})\ .$$ Thus there is a short exact sequence of ${\mathcal{G}}$-lattices $$\label{E:augmentation}
0 \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to {\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}] \to {\mathbb{Z}}\to 0 \ .$$ $\omega({\mathcal{G}}/\{1\})$ will be written as $\omega{\mathcal{G}}$; this is the ordinary augmentation ideal of the group ring ${\mathbb{Z}}[{\mathcal{G}}]$; cf. [@passman Chap. 3].

Extension sequences
-------------------

Exact sequences of ${\mathcal{G}}$-lattices of the form $$\label{e.0-1}
\begin{array}{l}
0 \to M \to P \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0  \, , \\
\text{\rm with $P$ permutation and $M$ faithful}
\end{array}$$ will play an important role in the sequel. In this subsection we introduce two such sequences,  and .

Let $d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})})$ denote the minimum number of generators of ${\omega({{\mathcal{G}}/{\mathcal{H}}})}$ as a ${\mathbb{Z}}[{\mathcal{G}}]$-module. Then for any $r \geq d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})})$ there exists an exact sequence $$\label{E:freepres}
0 \to M  \to {\mathbb{Z}}[{\mathcal{G}}]^r \stackrel{f}{\to} {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0\ .$$ of ${\mathcal{G}}$-lattices.

\[L:freepres\] $M$ is a faithful ${\mathcal{G}}$-lattice if and only if $r\ge 2$ or ${\mathcal{H}}\neq\{1\}$.

It is enough to show that $M\otimes{\mathbb{Q}}$ is ${\mathcal{G}}$-faithful; thus we may work over the semisimple algebra ${\mathbb{Q}}[{\mathcal{G}}]$. Since $f\otimes{\mathbb{Q}}$ splits, we have a ${\mathbb{Q}}[{\mathcal{G}}]$-isomorphism $({\omega({{\mathcal{G}}/{\mathcal{H}}})}\otimes{\mathbb{Q}}) \oplus (M\otimes{\mathbb{Q}}) \simeq {\mathbb{Q}}[{\mathcal{G}}]^r$. Similarly, the canonical exact sequence ${\mathbb{Z}}[{\mathcal{G}}]\omega{\mathcal{H}}{\rightarrowtail}{\mathbb{Z}}[{\mathcal{G}}]{\twoheadrightarrow}{\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}]$ gives $({\omega({{\mathcal{G}}/{\mathcal{H}}})}\otimes{\mathbb{Q}}) \oplus {\mathbb{Q}}\oplus {\mathbb{Q}}[{\mathcal{G}}]\omega{\mathcal{H}}\simeq {\mathbb{Q}}[{\mathcal{G}}]$. Therefore, $$M\otimes{\mathbb{Q}}\simeq {\mathbb{Q}}[{\mathcal{G}}]^{r-1} \oplus {\mathbb{Q}}\oplus {\mathbb{Q}}[{\mathcal{G}}]\omega{\mathcal{H}}\ .$$ If $r\ge 2$ then ${\mathbb{Q}}[{\mathcal{G}}]^{r-1}$ is ${\mathcal{G}}$-faithful, and if ${\mathcal{H}}\neq \{ 1\}$ then $\omega{\mathcal{H}}\otimes{\mathbb{Q}}$ is ${\mathcal{H}}$-faithful and so ${\mathbb{Q}}[{\mathcal{G}}]\omega{\mathcal{H}}\simeq (\omega{\mathcal{H}}\otimes{\mathbb{Q}}){\!\!\uparrow_{{\mathcal{H}}}^{{\mathcal{G}}}}$ is ${\mathcal{G}}$-faithful. In either case, $M\otimes{\mathbb{Q}}$ is faithful, as desired. On the other hand, $r=1$ and ${\mathcal{H}}=\{1\}$ leads to $M\otimes{\mathbb{Q}}\simeq {\mathbb{Q}}$ which is not faithful.

\[permpres\] There is an exact sequence $$\label{e.seq2}
0\to {\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2} \stackrel{m}{\to} P \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0\ ,$$ where $P$ is the (permutation) sublattice $P=\bigoplus_{{\overline{g_1}}\neq{\overline{g_2}}\in{{\mathcal{G}}/{\mathcal{H}}}}{\mathbb{Z}}({\overline{g_1}}\otimes{{\overline{g_2}}})$ of ${\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}]^{\otimes 2}$. The lattice ${\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2}$ is faithful if and only if ${\mathcal{H}}$ contains no normal subgroup $\neq\{1\}$ of ${\mathcal{G}}$ and $[{\mathcal{G}}:{\mathcal{H}}]\ge 3$.

Tensoring sequence with ${\omega({{\mathcal{G}}/{\mathcal{H}}})}$ and putting $P'={\omega({{\mathcal{G}}/{\mathcal{H}}})}\otimes{\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}]$, we obtain an exact sequence $$0 \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2} \to P' \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0 \ ,$$ where $\otimes = \otimes_{{\mathbb{Z}}}$. The elements $({\overline{g_1}}-{\overline{g_2}})\otimes{\overline{g_2}}$ with ${\overline{g_1}}\neq{\overline{g_2}}\in{{\mathcal{G}}/{\mathcal{H}}}$ form a ${\mathbb{Z}}$-basis of $P'$, and the map $$m \colon ({\overline{g_1}}-{\overline{g_2}})\otimes{\overline{g_2}}\mapsto {\overline{g_1}}\otimes{\overline{g_2}}$$ is a ${\mathcal{G}}$-isomorphism $P'\simeq P$.

For the faithfulness assertion, note that ${\mathcal{N}}=\bigcap_{g\in{\mathcal{G}}}{\mathcal{H}}^g$ acts trivially on ${\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}]$ and hence on ${\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2}$; so ${\mathcal{N}}=\{1\}$ is surely required for faithfulness. Also, if $[{\mathcal{G}}:{\mathcal{H}}]\le 2$ then ${\mathcal{G}}$ acts trivially on ${\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2}$. Conversely, if ${\mathcal{N}}=\{1\}$ and $[{\mathcal{G}}:{\mathcal{H}}]\ge 3$ then it is easy to verify that ${\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2}$ is indeed faithful.

Twisted multiplicative ${\mathcal{G}}$-fields {#no-name}
---------------------------------------------

Recall that a *${\mathcal{G}}$-field* is a field $F$ on which the finite group ${\mathcal{G}}$ acts by automorphisms, written $f \mapsto g(f)$. Morphisms of ${\mathcal{G}}$-fields are ${\mathcal{G}}$-equivariant field homomorphisms. The ${\mathcal{G}}$-field $F$ is called *faithful* if every $1 \neq g \in {\mathcal{G}}$ acts non-trivially on $F$. If $K \subseteq F$ is a field extension and $V \subseteq F$ a subset of $F$ (not necessarily algebraically independent over $K$) then we let $K(V)$ denote the subfield of $F$ that is generated by $K$ and $V$.

\[L:no-name\] [(cf. [@shafarevich Appendix 3])]{} Let $K \subseteq F$ be an extension of ${\mathcal{G}}$-fields with $K$ faithful. Assume that $F = K(V)$ for some ${\mathcal{G}}$-stable $K$-subspace $V \subseteq F$. Then

1.  $V = KV^{{\mathcal{G}}}$, where $V^{{\mathcal{G}}}$ denotes the ${\mathcal{G}}$-invariants in $V$,

2.  $F = K(V^{{\mathcal{G}}})$, and

3.  $F^{{\mathcal{G}}} = K^{{\mathcal{G}}}(V^{{\mathcal{G}}})$.

\(a) Let $S = K\!\#{\mathcal{G}}$ denote the skew group ring for the given ${\mathcal{G}}$-action on $K$. The ${\mathcal{G}}$-action on $F$ and multiplication with $K$ make $F$ a (left) $S$-module, and $V$ is a submodule. Moreover, since $K$ is a faithful ${\mathcal{G}}$-field, $S$ is a simple ring; see, e.g., [@jacobson p. 473]. In particular, the element $t = \sum_{g \in {\mathcal{G}}} g \in S$ generates $S$ as a 2-sided ideal. Thus, $S = StS = KtK$ and consequently, $V = KtKV = KV^{{\mathcal{G}}}$.

\(b) is an immediate consequence of (a).

\(c) Let $E = K^{{\mathcal{G}}}(V^{{\mathcal{G}}})$. We want to show that $E = F^{{\mathcal{G}}}$. Clearly $E \subseteq F^{{\mathcal{G}}}$. To prove equality, note that $KE$ is a subring of $F$ containing $K$ and $V^{{\mathcal{G}}}$, and that $\dim_E KE \le \dim_{K^{{\mathcal{G}}}} K = |{\mathcal{G}}|$. Thus, $KE$ is a field, and hence (b) implies that $KE = F$. Therefore, $\dim_E F \le |{\mathcal{G}}| = \dim_{F^{{\mathcal{G}}}} F$. Since $E \subseteq F^{{\mathcal{G}}}$, this is only possible if $E = F^{{\mathcal{G}}}$.

We recall a well-known construction of ${\mathcal{G}}$-fields; cf. [@saltman:twisted]. Given a ${\mathcal{G}}$-field $E$, a ${\mathcal{G}}$-lattice $M$, and an extension class $\gamma\in{\operatorname{Ext}}_{{\mathcal{G}}}(M,E^*)$, the *twisted multiplicative ${\mathcal{G}}$-field* $E_{\gamma}(M)$ is constructed as follows. Form the group algebra $E[M]$ of $M$ over $E$; this is a commutative integral domain with group of units ${\operatorname{U}}(E[M])=E^*\times M$. We shall use multiplicative notation for $M$ in this setting. Let $E(M)$ denote the field of fractions of $E[M]$. Choose an extension of ${\mathcal{G}}$-modules $$\label{E:no-name}
1\to E^*\to V\to M\to 1$$ representing $\gamma$. So, as abelian groups, $V\simeq {\operatorname{U}}(E[M])$. Using this identification, we obtain a ${\mathcal{G}}$-action on ${\operatorname{U}}(E[M])$ inducing the given action on $E^*$. The action of ${\mathcal{G}}$ on ${\operatorname{U}}(E[M])$ extends uniquely to $E[M]$, and to $E(M)$; we will use $E_{\gamma}[M]$ and $E_{\gamma}(M)$ to denote $E[M]$ and $E(M)$ with the ${\mathcal{G}}$-actions thus obtained. For $\gamma=1$, we will simply write $E[M]$ and $E(M)$. We remark that the choice of the sequence  representing a given $\gamma\in{\operatorname{Ext}}_{{\mathcal{G}}}(M,E^*)$ is insubstantial: a different choice leads to ${\mathcal{G}}$-isomorphic results.

For future reference, we record the following application of Lemma \[L:no-name\] essentially due to Masuda [@masuda]; see also [@lenstra Proposition 1.6], [@saltman Lemma 12.8].

\[P:no-name\] Let $E$ be a faithful ${\mathcal{G}}$-field and let $P$ be a permutation ${\mathcal{G}}$-lattice. Then any twisted multiplicative ${\mathcal{G}}$-field $E_{\gamma}(P)$ can be written as $$E_{\gamma}(P)= E(t_1,\ldots,t_n)$$ with ${\mathcal{G}}$-invariant transcendental (over $E$) elements $t_i$. In particular, $E_{\gamma}(P)^{{\mathcal{G}}}=E^{{\mathcal{G}}}(t_1,\ldots,t_n)$ is rational over $E^{{\mathcal{G}}}$.

We have an extension of ${\mathcal{G}}$-modules $1 \to E^*\to {\operatorname{U}}(E_\gamma[P]) \to P \to 1$ representing $\gamma$, as in . Fix a ${\mathbb{Z}}$-basis, $X$, of $P$ that is permuted by the action of ${\mathcal{G}}$. For each $x \in X$, choose a preimage $x' \in {\operatorname{U}}(E_\gamma[P])$. Then $\{x'\}_{x \in X}$ is a collection of transcendental generators of $E_\gamma(P)$ over $E$, and ${\mathcal{G}}$ acts via $g(x') = g(x)'y$ for some $y = y(g,x) \in E^*$. Letting $V$ denote the $E$-subspace of $E_\gamma(P)$ that is generated by $\{x'\}_{x \in X}$, we conclude from Lemma \[L:no-name\] that $V$ has a basis consisting of ${\mathcal{G}}$-invariant elements, say $t_1,\ldots,t_n$, and $E_{\gamma}(P)= E(t_1,\ldots,t_n)$, $E_{\gamma}(P)^{{\mathcal{G}}}=E^{{\mathcal{G}}}(t_1,\ldots,t_n)$. The $t_i$ are transcendental over $E$, since ${\operatorname{trdeg}}_E E_\gamma(P) =
{\operatorname{rank}}(P)
= n$.

Rational specialization {#sect2.3}
-----------------------

Let $A/F$ and $B/K$ be central simple algebras. We will call $B/K$ a *rational specialization* of $A/F$ if there exists a field $F'$ containing both $F$ and $K$ such that $F'/K$ is rational and $$B \otimes_K F' \simeq A\otimes_F F' \, .$$ In other words, $B$ is a rational specialization of $A$ if $\deg A = \deg B$ and $A$ embeds in some $B(t_1, \dots, t_n)$, where $t_1, t_2, \dots$ are independent variables over $F$; cf. [@saltman p. 73],

*For the rest of this paper we fix an (arbitrary) base field $k$. All other fields are understood to contain a copy $k$ and all maps (i.e., inclusions) between fields are understood to restrict to the identity map on $k$.*

\[def.rat-spec\] Let $\Lambda$ be a class of central simple algebras. We shall say that an algebra $A \in \Lambda$ has the *rational specialization property* in the class $\Lambda$ if every $B \in \Lambda$ is a rational specialization of $A$. If $\Lambda$ is the class of all central simple algebras of degree $n = \deg(A)$ then we will omit the reference to $\Lambda$ and will simply say that $A$ has the rational specialization property.

\[ex.rat-spec\] By [@rv2 Lemma 3.1], ${\operatorname{UD}}(n)$ has the rational specialization property. This is also implicit in [@saltman-note]. We remark that any central simple algebra $A/F$ with the rational specialization property is a division algebra. To see this, specialize $A$ to ${\operatorname{UD}}(n)$, where $n = \deg(A)$.

Recall the definition of $\tau(A)$ given at the beginning of this paper.

\[rattau\] Let $A/F$ and $B/K$ be a central simple algebras.

1.  If $A'\simeq A \otimes_{F} F'$ for some rational field extension $F'/F$ then $\tau(A)=\tau(A')$.

2.  [(cf. [@saltman Lemma 11.1])]{.nodecor} If $A$ is a rational specialization of $B$ then $\tau(A)\le \tau(B)$.

\(a) The inequality $\tau(A') \le \tau(A)$ is immediate from the definition of $\tau$. To prove the opposite inequality, suppose $A'\simeq A_0 \otimes_{F_0} F'$, where $A_0$ is a central simple algebra over an intermediate field $k \subset F_0 \subset F'$, and $A_0$ is chosen so that ${\operatorname{trdeg}}_k(F_0) = \tau(A')$. In particular, ${\operatorname{trdeg}}_k(F_0) \leq {\operatorname{trdeg}}_k(F)$. Then by [@rv2 Proposition 3.2], $A_0$ embeds in $A$, i.e., $A \simeq A_0 \otimes_{F_0} F$ for some embedding $F_0 \hookrightarrow F$. Consequently, $\tau(A) \le {\operatorname{trdeg}}_k(K) = \tau(A')$, as desired.

\(b) We may assume $B \otimes_{K} F' = A'$, as in (a). Clearly $\tau(B) \ge \tau(A')$, and part (a) tells us that $\tau(A') = \tau(A)$.

\[rem-ud(n)\] Combining Example \[ex.rat-spec\] with Lemma \[rattau\](b), we see that $\tau(A) \leq d(n)=\tau({\operatorname{UD}}(n))$ holds for every central simple algebra $A$ of degree $n$; cf. [@reichstein1 Lemma 9.2].

${{\mathcal{G}}/{\mathcal{H}}}$-crossed products {#crossed}
================================================

We shall call a central simple algebra $A/F$ an *$(E,{{\mathcal{G}}/{\mathcal{H}}})$-crossed product* if $A$ has a maximal subfield $L$ whose Galois closure $E$ over $F$ has the property that ${\operatorname{Gal}}(E/F) = {\mathcal{G}}$ and ${\operatorname{Gal}}(E/L) = {\mathcal{H}}$. (We adopt the convention that a *maximal subfield* of $A$ is a subfield $L$ that is maximal as a commutative subring; so $[L : F]$ is equal to the degree of $A$.) We will say that $A$ is a ${{\mathcal{G}}/{\mathcal{H}}}$-crossed product if it is an $(E,{{\mathcal{G}}/{\mathcal{H}}})$-crossed product for some faithful ${\mathcal{G}}$-field $E$. If ${\mathcal{H}}= \{1 \}$ then a ${{\mathcal{G}}/{\mathcal{H}}}$-crossed product is just a *${\mathcal{G}}$-crossed product* in the usual sense (see, e.g., [@rowen-pi Definition 3.1.23]).

\[ex.procesi\] Consider the universal division algebra ${\operatorname{UD}}(n)$ generated by two generic matrices, $X$ and $Y$, over $k$. Denote the center of this algebra by $Z(n)$. Setting $L = Z(n)(X)$, we see that ${\operatorname{UD}}(n)$ is an ${{\operatorname{\mathcal{S}}}}_n/{{\operatorname{\mathcal{S}}}}_{n-1}$-crossed product [@procesi Theorem 1.9]; see also Section \[sect.ud\] below.

Since the degree of a ${{\mathcal{G}}/{\mathcal{H}}}$-crossed product is equal to $[{\mathcal{G}}: {\mathcal{H}}]$, we see that isomorphism classes of $(E,{{\mathcal{G}}/{\mathcal{H}}})$-crossed products are in 1-1 correspondence with the relative Brauer group ${\mathbf{B}}(L/F)$, which, in turn, is naturally identified with the kernel of the restriction homomorphism $H^2({\mathcal{G}}, E^*) \to H^2({\mathcal{H}}, E^*)$; cf. [@pierce 14.7].

A ${\mathcal{G}}$-module $M$ is called *$H^1$-trivial* if $H^1({\mathcal{H}},M)=0$ holds for every subgroup ${\mathcal{H}}\le{\mathcal{G}}$. Equivalently, $M$ is $H^1$-trivial if ${\operatorname{Ext}}_{{\mathcal{G}}}(P,M)=0$ for all permutation projective ${\mathcal{G}}$-lattices $P$; see, e.g., [@saltman Lemma 12.3].

\[lem.tue-1\] Given an exact sequence $$0 \to M \to P \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0  \, ,$$ of ${\mathcal{G}}$-lattices, with $P$-permutation, let $N$ be an $H^1$-trivial ${\mathcal{G}}$-module. Denote the kernel of the restriction homomorphism $H^2({\mathcal{G}}, N) \to H^2({\mathcal{H}}, N)$ by $K({{\mathcal{G}}/{\mathcal{H}}}, N)$. Then there is a natural isomorphism $$\phi_N \colon
{\operatorname{Hom}}_{{\mathcal{G}}}(M, N)/{\operatorname{Im}}({\operatorname{Hom}}_{{\mathcal{G}}}(P, N)) \stackrel{\simeq}{\longrightarrow}
K({{\mathcal{G}}/{\mathcal{H}}}, N)\ .$$

Here “natural" means that for every homomorphism $N \to N'$ of $H^1$-trivial ${\mathcal{G}}$-modules, the following diagram commutes $$\label{e.trivial}
\xymatrix{
{\operatorname{Hom}}_{{\mathcal{G}}}(M, N')/{\operatorname{Im}}({\operatorname{Hom}}_{{\mathcal{G}}}(P, N'))  \ar[r]^-{\phi_{N'}} & K({{\mathcal{G}}/{\mathcal{H}}}, N')
\\
{\operatorname{Hom}}_{{\mathcal{G}}}(M, N)/{\operatorname{Im}}({\operatorname{Hom}}_{{\mathcal{G}}}(P, N)) \ar[u]  \ar[r]^-{\phi_N} & K({{\mathcal{G}}/{\mathcal{H}}}, N)
\ar[u]
}$$ Note that, other than in sequence , the ${\mathcal{G}}$-lattice $M$ need not be faithful.

The lemma is a variant of [@saltman Theorem 12.10], where the same assertion is made for the sequence . The proof of [@saltman Theorem 12.10] goes through unchanged in our setting.

In subsequent applications we will always take $N = E^*$, where $E$ is a faithful ${\mathcal{G}}$-field. Note that $E^*$ is $H^1$-trivial by Hilbert’s Theorem 90. As we remarked above, $K({{\mathcal{G}}/{\mathcal{H}}}, E^*)$ is naturally identified with ${\mathbf{B}}(L/F)$, where $L = E^{{\mathcal{H}}}$, and elements of ${\mathbf{B}}(L/F)$ are in 1-1 correspondence with $(E, {{\mathcal{G}}/{\mathcal{H}}})$-crossed products. We shall denote the $(E, {{\mathcal{G}}/{\mathcal{H}}})$-crossed product associated to a ${\mathcal{G}}$-homomorphism $f \colon M \to E^*$ by ${\operatorname{Alg}}(f)$.

\[lem.tue-2\] Consider a sequence of ${\mathcal{G}}$-lattices of the form . Let $E$ be ${\mathcal{G}}$-field and $f \colon M \to E^*$ be a homomorphism of ${\mathcal{G}}$-modules. If $k(f(M))$ is contained in a faithful ${\mathcal{G}}$-subfield $E_0$ of $E$ then ${\operatorname{Alg}}(f)$ is defined over $E_0^{{\mathcal{G}}}$.

Since $f$ is the composition of $f_0 \colon M \to E_0^*$ with the inclusion $E_0^* {\hookrightarrow}E^*$, Lemma \[lem.tue-1\] tells us that $A = {\operatorname{Alg}}(f_0) \otimes_{E_0^{{\mathcal{G}}}} E^{{\mathcal{G}}}$.

\[rem.bfs\] In the special case where the sequence $$0 \to M \to P \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0$$ is given by , $M = {\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2}$ has a particularly convenient set of generators $$y_{ijh} = (\overline{g_i} - \overline{g_j}) \otimes
(\overline{g_j} - \overline{g_h}) \, ,$$ where ${\mathcal{G}}/ {\mathcal{H}}= \{ \overline{g_1}, \dots,
\overline{g_n} \}$ is the set of left cosets of ${\mathcal{H}}$ in ${\mathcal{G}}$ and $i$, $j$, $h$ range from $1$ to $n = [{\mathcal{G}}: {\mathcal{H}}]$; cf. [@rowensaltman Lemma 1.2]. If $f \colon {\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2} \to E^*$ is a ${\mathcal{G}}$-module homomorphism then the elements $c_{ijh} = f(y_{ijh})$ form a [*reduced Brauer factor set*]{} for ${\operatorname{Alg}}(f)$ in the sense of [@rowensaltman p. 449]. Conversely, for any reduced Brauer factor set $(c_{ijh})$ in $E^*$, there exists a homomorphism $f \colon {\omega({{\mathcal{G}}/{\mathcal{H}}})}^{\otimes 2}
\to E^*$ such that $f(y_{ijh}) = c_{ijh}$; see [@rowensaltman Corollary 1.3]. Thus Lemma \[lem.tue-2\] takes the following form:

> *Let $A$ be an $(E, {{\mathcal{G}}/{\mathcal{H}}})$-crossed product defined by a reduced Brauer factor set $(c_{ijh})$. Suppose $(c_{ijh})$ is contained in a faithful ${\mathcal{G}}$-subfield $E_0$ of $E$. Then $A$ is defined over $E_0^{{\mathcal{G}}}$.*

This following theorem is a variant of [@saltman Theorem 12.11].

\[thm.tue-3\] Given the sequence , let $\mu: M \hookrightarrow k(M)^*$ be the natural inclusion. Then $D= {\operatorname{Alg}}(\mu)$ has the rational specialization property in the class of ${{\mathcal{G}}/{\mathcal{H}}}$-crossed products containing a copy of $k$ in their center. In particular, $\tau(A) \leq {\operatorname{rank}}(M)$ holds for any ${{\mathcal{G}}/{\mathcal{H}}}$-crossed product $A/F$ with $k \subset F$.

Write $A = {\operatorname{Alg}}(f)$ for some ${\mathcal{G}}$-homomorphism $f \colon M \to E^*$, where $E$ is a faithful ${\mathcal{G}}$-field with $E^{{\mathcal{G}}}=F$; see the remarks following Lemma \[lem.tue-1\]. Furthermore, let $E(P)$ denote the fraction field of the group algebra $E[P]$, with the ${\mathcal{G}}$-action induced from the ${\mathcal{G}}$-actions on $E$ and $P$. By Proposition \[P:no-name\], there exists an $E$-isomorphism $j \colon E(P) \simeq E({\mathbf{t}})$ of ${\mathcal{G}}$-fields, where ${\mathbf{t}}= (t_1, \dots, t_r)$, $r = {\operatorname{rank}}(P)$, are indeterminates on which ${\mathcal{G}}$ acts trivially. Therefore, $E(P)^{{\mathcal{G}}} \simeq E^{{\mathcal{G}}}({\mathbf{t}}) = F({\mathbf{t}})$ is a rational extension of $F$. Let $f_{{\mathbf{t}}} \colon M \to E({\mathbf{t}})^*$ denote the composition of $f$ with the natural inclusion $E^* {\hookrightarrow}E({\mathbf{t}})^*$. Then ${\operatorname{Alg}}(f_{{\mathbf{t}}}) = {\operatorname{Alg}}(f)\otimes_F F({\mathbf{t}}) = A\otimes_F F({\mathbf{t}})$. By Lemma \[lem.tue-1\], ${\operatorname{Alg}}(f_{{\mathbf{t}}}) \simeq {\operatorname{Alg}}(f_{{\mathbf{t}}}+g|_M)$ for any $g \in {\operatorname{Hom}}_{{\mathcal{G}}}(P, E({\mathbf{t}})^*)$. Let $g$ be the composite $g \colon P {\hookrightarrow}E(P)^* \stackrel{\sim}{\longrightarrow} E({\mathbf{t}})^*$ and let $\varphi$ be the ${\mathcal{G}}$-module map $\varphi \colon M \to E({\mathbf{t}})^*$, $\varphi(m)=f_{{\mathbf{t}}}(m)g(m)$. We claim that $\varphi$ lifts to an embedding of ${\mathcal{G}}$-fields $k(M) {\hookrightarrow}E({\mathbf{t}})$. Indeed, modulo $E^*$, $\varphi(m) \equiv g(m) \in P \subseteq E({\mathbf{t}})^*$. Hence, $\{\varphi(m)\}_{m \in M}$ is an $E$-linearly independent subset of $E({\mathbf{t}})$, and so the map $k[\varphi] \colon k[M] \to E({\mathbf{t}})$, $\sum_m k_mm \mapsto \sum_m k_m\varphi(m)$ is a ${\mathcal{G}}$-equivariant embedding of the group ring $k[M]$ into $E({\mathbf{t}})$. This embedding lifts to an embedding of ${\mathcal{G}}$-fields $\phi \colon k(M) = Q(k[M]) {\hookrightarrow}E({\mathbf{t}})$, as we have claimed. So $\phi\circ\mu = \varphi$, and hence $D\otimes_{k(M)^{{\mathcal{G}}}}F({\mathbf{t}}) = {\operatorname{Alg}}(\phi\circ\mu) = {\operatorname{Alg}}(\varphi) \simeq
{\operatorname{Alg}}(f_{{\mathbf{t}}}) = A\otimes_F F({\mathbf{t}})$. This proves that $A$ is a rational specialization of $D$.

Lemmas \[rattau\](b) and \[lem.tue-2\] now imply that $\tau(A) \leq \tau(D) \leq {\operatorname{trdeg}}_k k(M)^{{\mathcal{G}}} = {\operatorname{rank}}(M)$. This completes the proof of the theorem.

\[rem.exponent\] Continuing with the notation used in the above theorem, the rational specialization property of $D={\operatorname{Alg}}(\mu)$ implies that *$D$ is a division algebra of exponent $[{\mathcal{G}}:{\mathcal{H}}]$*. Indeed, by [@fss Appendix] there exists a ${{\mathcal{G}}/{\mathcal{H}}}$-crossed product division algebra of exponent $[{\mathcal{G}}:{\mathcal{H}}]$, and the above assertion can be proved by specializing $D$ to this algebra. Alternatively, the fact that $D$ is a division algebra of exponent $[{\mathcal{G}}:{\mathcal{H}}]$ can be checked directly by showing that the image of $\mu$ in $H^2({\mathcal{G}},k(M)^*)$ (see Lemma \[lem.tue-1\]) has order $[{\mathcal{G}}:{\mathcal{H}}]$.

\[rem.freepres\] The above construction applies in particular to sequences of the form . The following special type of sequence  has been particularly well-explored. Write ${\mathcal{G}}=\langle{\mathcal{H}},g_1,\dots,g_r\rangle$ for suitable $g_i\in{\mathcal{G}}$; the minimal such $r$ is usually denoted by $d({{\mathcal{G}}/{\mathcal{H}}})$. Then we can define an epimorphism of ${\mathcal{G}}$-lattices $f \colon {\mathbb{Z}}[{\mathcal{G}}]^r {\twoheadrightarrow}{\omega({{\mathcal{G}}/{\mathcal{H}}})}$, $f(\alpha_1,\dots,\alpha_r)=
 \sum_{i=1}^r\alpha_i\overline{(g_i-1)}$, where $\overline{\phantom{iii}}\colon {\mathbb{Z}}[{\mathcal{G}}]{\twoheadrightarrow}{\mathbb{Z}}[{{\mathcal{G}}/{\mathcal{H}}}]$ is the canonical map; see [@passman Lemma 3.1.1]. The kernel $R({{\mathcal{G}}/{\mathcal{H}}})={\operatorname{Ker}}f$ is called a *relative relation module*; it has the following group theoretical description. Let ${\mathcal{F}}_r$ denote the free group on $r$ generators and consider the presentation $$\label{E:relpres}
1 \to {\mathcal{R}}\to {\mathcal{F}}_r\ast{\mathcal{H}}\to {\mathcal{G}}\to 1 \,$$ where ${\mathcal{F}}_r\ast{\mathcal{H}}\to {\mathcal{G}}$ is the identity on ${\mathcal{H}}$ and sends the $r$ generators of ${\mathcal{F}}_r$ to the elements $g_1,\dots,g_r$. Then $R({{\mathcal{G}}/{\mathcal{H}}}) \simeq {\mathcal{R}}^{\text{ab}}={\mathcal{R}}/[{\mathcal{R}},{\mathcal{R}}]$, with ${\mathcal{G}}$ acting by conjugation; see [@kimmerle] and [@gruenberg] (for ${\mathcal{H}}=\{1\}$). Thus, we have the following version of sequence  with $M={\mathcal{R}}^{\text{ab}}$ : $$\label{E:relationmod}
0 \to {\mathcal{R}}^{\text{ab}} \to {\mathbb{Z}}[{\mathcal{G}}]^r \to {\omega({{\mathcal{G}}/{\mathcal{H}}})}\to 0 \ .$$ When ${\mathcal{H}}=\{1\}$ and $r\ge 2$, the division algebra $D$ constructed via in Theorem \[thm.tue-3\] is identical with the generic ${\mathcal{G}}$-crossed product of Snider [@snider]; see also Rosset [@rosset]. Explicitly:

> *Given a free presentation $1\to{\mathcal{R}}\to{\mathcal{F}}_r\to{\mathcal{G}}\to 1$ of ${\mathcal{G}}$ with $r\ge 2$, let $M={\mathcal{R}}^{\text{\rm ab}}\le \overline{{\mathcal{F}}_r} = {\mathcal{F}}_r/[{\mathcal{R}},{\mathcal{R}}]$ and let $a\in H^2({\mathcal{G}},k(M)^*)$ be the image of the extension class $[1\to M \to\overline{{\mathcal{F}}_r} \to{\mathcal{G}}\to 1] \in H^2({\mathcal{G}},M)$ under the natural inclusion $\mu: M \hookrightarrow k(M)^*$. Then $D={\operatorname{Alg}}(\mu)$ is the ${\mathcal{G}}$-crossed product $(k(M),{\mathcal{G}},a)$ or, equivalently, the localization of the group algebra $k[\overline{{\mathcal{F}}_r}]$ at the nonzero elements of $k[M]$.*

\[cor2-generic\] Let $A$ be a ${{\mathcal{G}}/{\mathcal{H}}}$-crossed product and let $d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})})$ be the minimal number of generators of ${\omega({{\mathcal{G}}/{\mathcal{H}}})}$ as a ${\mathcal{G}}$-module. Then $$\tau(A) \le r|{\mathcal{G}}|-[{\mathcal{G}}:{\mathcal{H}}]+1 \, ,$$ where $$r =
\begin{cases}
d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})}) & \text{if ${\mathcal{H}}\neq\{1\}$} \\
\max\{2,d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})})\} & \text{if ${\mathcal{H}}= \{1\}$}
\end{cases}$$

Applying Theorem \[thm.tue-3\] to the exact sequence , we obtain $$\tau(A) \leq {\operatorname{rank}}(M) = {\operatorname{rank}}({\mathbb{Z}}[G]^r) - {\operatorname{rank}}({\omega({{\mathcal{G}}/{\mathcal{H}}})}) =
 r|{\mathcal{G}}|-[{\mathcal{G}}:{\mathcal{H}}]+1 \, ,$$ as claimed. Note that for $r$ as above, Lemma \[L:freepres\] tells us that $M$ is faithful, so that Theorem \[thm.tue-3\] is, indeed, applicable.

As we pointed out in Remark \[rem.freepres\], $d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})}) \le d({{\mathcal{G}}/{\mathcal{H}}})$. The difference ${\operatorname{pr}}({{\mathcal{G}}/{\mathcal{H}}})=d({{\mathcal{G}}/{\mathcal{H}}}) - d_{{\mathcal{G}}}({\omega({{\mathcal{G}}/{\mathcal{H}}})}) \ge 0$ can be arbitrarily large, even if ${\mathcal{H}}=\{1\}$. In this case $d({\mathcal{G}})=d({\mathcal{G}}/\{1\})$ is the minimal number of generators of ${\mathcal{G}}$, and ${\operatorname{pr}}({\mathcal{G}})=d({\mathcal{G}})-d_{{\mathcal{G}}}(\omega{\mathcal{G}})$ is usually called the *presentation rank* or *generation gap* of ${\mathcal{G}}$. All solvable groups ${\mathcal{G}}$ have presentation rank ${\operatorname{pr}}({\mathcal{G}})=0$; see [@gruenberg Lectures 6 and 7]. Moreover, if the derived subgroup $[{\mathcal{G}},{\mathcal{G}}]$ is nilpotent then ${\operatorname{pr}}({{\mathcal{G}}/{\mathcal{H}}})=0$ holds for every subgroup ${\mathcal{H}}$ of ${\mathcal{G}}$; see [@kimmerle].

\[cor2a\]

1.  Suppose a group ${\mathcal{G}}$ of order $n$ can be generated by $r\ge 2$ elements. Then $\tau(A) \leq (r-1)n + 1$ for any ${\mathcal{G}}$-crossed product central simple algebra $A$.

2.  $\tau(A) \leq (\lfloor \log_2(n) \rfloor - 1)n + 1$ holds for any crossed product central simple algebra $A$ of degree $n \geq 4$.

Here, as usual, $\lfloor x \rfloor$ denotes the largest integer $\leq x$.

\(a) is an immediate consequence Corollary \[cor2-generic\]. (b) follows from (a), because any group of order $n$ can be generated by $r  \leq \log_2(n)$ elements. (Indeed, $|\langle {\mathcal{G}}_0, g \rangle| \geq 2 |{\mathcal{G}}_0|$ for any subgroup ${\mathcal{G}}_0$ of ${\mathcal{G}}$ and any $g \in {\mathcal{G}}\setminus {\mathcal{G}}_0$.) Note also that $\lfloor \log_2(n) \rfloor \geq 2$ for any $n \ge 4$.

Proof of Theorem \[thm1\] {#sect.ud}
=========================

For the next two sections we shall assume that ${\mathcal{G}}= {{\operatorname{\mathcal{S}}}}_n$ and ${\mathcal{H}}= {{\operatorname{\mathcal{S}}}}_{n-1}$. We will use the following standard notations for ${{\operatorname{\mathcal{S}}}}_n$-lattices: $$\label{e.s_n-lat}
 {\mathbb{Z}}[{{\operatorname{\mathcal{S}}}}_n/{{\operatorname{\mathcal{S}}}}_{n-1}] = U_n \quad \text{\rm and} \quad
\omega({{\operatorname{\mathcal{S}}}}_n/{{\operatorname{\mathcal{S}}}}_{n-1}) = A_{n-1} \, .$$ The natural generators of $U_n$ will be denoted by $u_1, \dots, u_n$; the symmetric group ${{\operatorname{\mathcal{S}}}}_n$ permutes them via $\sigma(u_i) =
u_{\sigma(i)}$. $A_{n-1}$ is the sublattice of $U_n$ generated by $u_i - u_1$ as $i$ ranges from $2$ to $n$.

Recall that the universal division algebra ${\operatorname{UD}}(n)$ is generated, as a $k$-division algebra, by a pair of generic $n \times n$-matrices $X$ and $Y$. We may assume without loss of generality that $X$ is diagonal. Following [@rowen-brauer] we will denote the diagonal entries of $X$ by $\zeta'_{ii}$ and the entries of $Y$ by $\zeta_{ij}$, where $\zeta'_{ii}$ and $\zeta_{ij}$ are algebraically independent variables over $k$. The group ${{\operatorname{\mathcal{S}}}}_n$ permutes these variables as follows: $$\text{$\sigma(\zeta'_{ii}) = \zeta'_{\sigma(i) \sigma(i)}$ and
$\sigma(\zeta_{ij}) = \zeta_{\sigma(i) \sigma(j)}$.}$$ We identify the multiplicative group generated by $\zeta_{ii}'$ with the ${{\operatorname{\mathcal{S}}}}_n$-lattice $U_n$ (via $\zeta_{ii}' \leftrightarrow u_i$), and the multiplicative group generated by $\zeta_{ij}$ with $U_n \otimes U_n$ (via $\zeta_{ij} \leftrightarrow u_i \otimes u_j$). Consider the exact sequence $$\label{e.formanek-procesi}
0 \to {\operatorname{Ker}}(f) \to U_n \oplus U_n^{\otimes 2}
\stackrel{f}{\to} A_{n-1} \to 0$$ of ${{\operatorname{\mathcal{S}}}}_n$-lattices, where $f(u_i, u_j \otimes u_h) = u_j - u_h$. This sequence is the sequence of Lemma \[permpres\] for ${\mathcal{G}}= {{\operatorname{\mathcal{S}}}}_n$ and ${\mathcal{H}}= {{\operatorname{\mathcal{S}}}}_{n-1}$, with two extra copies of $U_n$ added: the second copy of $U_n$ is the sublattice of $U_n^{\otimes 2}$ that is spanned by all elements $u_i \otimes u_i$. Both copies of $U_n$ belong to ${\operatorname{Ker}}(f)$; in fact, $${\operatorname{Ker}}(f) = U_n \oplus U_n \oplus A_{n-1}^{\otimes 2} \ ,$$ where $A_{n-1}^{\otimes 2}$ is identified with the sublattice of $U_n^{\otimes 2}$ that is spanned by all elements $(u_i - u_j) \otimes (u_l - u_m)$.

Let $E = k({\operatorname{Ker}}(f))$ and $F = E^{{{\operatorname{\mathcal{S}}}}_n}$. By a theorem of Formanek and Procesi, $F$ is naturally isomorphic to the center $Z(n)$ of ${\operatorname{UD}}(n)$; see, e.g., [@formanek-3x3 Theorem 3]. Note that $E = F(\zeta_{11}', \dots, \zeta_{nn}')$ is generated over $F$ by the eigenvalues of the generic matrix $X$. Consequently, ${\operatorname{UD}}(n)$ is an $(E, {{\operatorname{\mathcal{S}}}}_n/{{\operatorname{\mathcal{S}}}}_{n-1})$-product, and $E^{{{\operatorname{\mathcal{S}}}}_{n-1}}$ is isomorphic to the maximal subfield $Z(n)(X)$ of ${\operatorname{UD}}(n)$; see, [@procesi Section II.1].

Theorem \[thm1\] is now a consequence of the following:

\[prop.bfs2\] Suppose $n \geq 5$ is odd. Then

1.  ${\operatorname{UD}}(n)$ is defined over $F_0 = k(\bigwedge^2 A_{n-1})^{{{\operatorname{\mathcal{S}}}}_n}$,

2.  $Z(n) = k({\operatorname{Ker}}(f))^{{{\operatorname{\mathcal{S}}}}_n}$ is rational over $F_0 = k(\bigwedge^2 A_{n-1})^{{{\operatorname{\mathcal{S}}}}_n}$,

Here, we view ${\textstyle\bigwedge^2{A_{n-1}}}$ as the sublattice of antisymmetric tensors in $A_{n-1}^{\otimes 2}$, that is, the ${\mathbb{Z}}$-span of all $a \wedge a' = a \otimes a' - a' \otimes a$ with $a,a' \in A_{n-1}$.

We will deduce part (a) from Remark \[rem.bfs\] by constructing a reduced Brauer factor set contained in $E_0 = k({\textstyle\bigwedge^2{A_{n-1}}})$. First we note that the ${{\operatorname{\mathcal{S}}}}_n$-action on $E_0$ is faithful, because ${\textstyle\bigwedge^2{A_{n-1}}}$ is a faithful ${{\operatorname{\mathcal{S}}}}_n$-lattice for every $n \geq 4$. (Indeed, ${\textstyle\bigwedge^2{A_{n-1}}} \otimes{\mathbb{Q}}$ is the simple ${{\operatorname{\mathcal{S}}}}_n$-representation corresponding to the partition $(n-2,1^2)$ of $n$; cf. [@fulton Exercise 4.6]).

We now proceed with the construction of the desired Brauer factor set. The computation in [@rowen-brauer Section 2] shows that the elements $$c_{ijh} = \zeta_{ij} \zeta_{jh} \zeta_{ih}^{-1} \in E^*
\, .$$ form a Brauer factor set for ${\operatorname{UD}}(n)$. By [@rowen-brauer Theorem 4], if $n$ is odd, ${\operatorname{UD}}(n)$ has a normalized (and, in particular, reduced) Brauer factor set $(c'_{ijh})$ given by $$c'_{ijh} = (c_{ijh}/c_{hji})^{\frac{n+1}{2}} = (\zeta_{ij}
\zeta_{ji}^{-1}
\zeta_{jh} \zeta_{hj}^{-1} \zeta_{hi} \zeta_{ih}^{-1})^{\frac{n+1}{2}}
\, .$$ Now observe that $\zeta_{ij} \zeta_{ji}^{-1}
\zeta_{jh} \zeta_{hj}^{-1} \zeta_{hi} \zeta_{ih}^{-1}$ is precisely the element of $U_n^{\otimes 2}$ we identified with $(u_i - u_j) \wedge (u_j - u_h)$. Thus every $c'_{ijh}$ lies in $\bigwedge^2{A_{n-1}} \subset E_0$, as desired.

\(b) The canonical exact sequence $$0 \to {\textstyle\bigwedge^2{A_{n-1}}} {\longrightarrow}A_{n-1}^{\otimes 2} {\longrightarrow}{\operatorname{\mathsf{Sym}}^2{A_{n-1}}} \to 0$$ of ${{\operatorname{\mathcal{S}}}}_n$-lattices gives rise to an exact sequence $$0\to{\textstyle\bigwedge^2{A_{n-1}}}
\to A_{n-1}^{\otimes 2}\oplus U_n\oplus {\mathbb{Z}}\to Q\to 0 \ ,$$ where we have put $Q={\operatorname{\mathsf{Sym}}^2{A_{n-1}}}\oplus U_n\oplus{\mathbb{Z}}$. The crucial fact here is that, by [@LL Section 3.5], if $n$ is odd, $Q$ is a permutation lattice. Applying Proposition \[P:no-name\] to the extension of (faithful) ${{\operatorname{\mathcal{S}}}}_n$-fields $E_0 = k({\textstyle\bigwedge^2{A_{n-1}}}) \subseteq k(A_{n-1}^{\otimes 2}\oplus U_n\oplus{\mathbb{Z}})
\cong (E_0)_\gamma(Q)$, where $\gamma$ is the image of the class of the above extension in ${\operatorname{Ext}}_{\mathcal{G}}(Q,E_0^*)$, we conclude that $$\textstyle
k(A_{n-1}^{\otimes 2}\oplus U_n\oplus{\mathbb{Z}}) \simeq
k(\bigwedge^2 \, A_{n-1})(x_1,\ldots,x_m)$$ as ${{\operatorname{\mathcal{S}}}}_n$-fields, where $m = \frac{n(n+1)}{2} + 1$ and ${{\operatorname{\mathcal{S}}}}_n$ acts trivially on the $x_i$’s. Similarly, putting $L_n=A_{n-1}^{\otimes 2} \oplus U_n^2$, the obvious sequence $0\to A_{n-1}^{\otimes 2} \oplus U_n \to L_n\to U_n\to 0$ leads to $
k(L_n) \simeq k(A_{n-1}^{\otimes 2} \oplus U_n)(t_1,\ldots,t_n)
$ as ${{\operatorname{\mathcal{S}}}}_n$-fields. Therefore, $$\begin{aligned}
\textstyle
k(L_n) &\simeq&
k(A_{n-1}^{\otimes 2} \oplus U_n)(t_1,\ldots,t_n)\\
&=& k(A_{n-1}^{\otimes 2}\oplus U_n\oplus{\mathbb{Z}})(t_1,\ldots,t_{n-1})\\
&\simeq& k({\textstyle\bigwedge^2{A_{n-1}}})(x_1,\ldots,x_m,t_1,\ldots,t_{n-1})\end{aligned}$$ as ${{\operatorname{\mathcal{S}}}}_n$-fields, which implies that $$Z(n) \simeq k(L_n)^{{{\operatorname{\mathcal{S}}}}_n} \simeq
k({\textstyle\bigwedge^2{A_{n-1}}})^{{{\operatorname{\mathcal{S}}}}_n}(x_1,\ldots,x_m,t_1,\ldots,t_{n-1})\ ;$$ so $Z(n)$ is rational over $F_0 = k({\textstyle\bigwedge^2{A_{n-1}}})^{{{\operatorname{\mathcal{S}}}}_n}$.

Proof of Theorem \[thm.rat\] {#sect.rat}
============================

Proof of part (a)
-----------------

\[red5.1\] Suppose an algebra $A_0$ of degree $n$ has the rational specialization property (see Section \[sect2.3\]). If Theorem \[thm.rat\](a) holds for $A_0$ then it holds for any central simple algebra $A$ of degree $n$.

Suppose the for some $r \geq 1$, $A_0(t_1, \dots, t_r)$ is defined over a rational extension $F_0$ of $k$. Let $A/F$ be an arbitrary central simple algebra of degree $n$. Then by the rational specialization property, $A_0$ embeds in $A(t_{r+1}, \dots, t_s)$ for some $s \gg 0$; thus $A_0(t_1, \dots, t_r)$ embeds in $A(t_1, \dots, t_s)$. This shows that $A(t_1, \dots, t_s)$ is defined over $F_0$, as desired.

In particular, in proving Theorem \[thm.rat\](a), we may assume that $A$ is a division algebra of degree $n$; see Example \[ex.rat-spec\]. By primary decomposition (cf., e.g., [@pierce p. 261]), we only need to consider the cases where $n = 2$, $n = 4$ and $n$ is an odd prime. This follows from the next reduction:

\[red5.2\] If the conclusion of Theorem \[thm.rat\](a) holds for central simple algebras $A_1/F$ and $A_2/F$ (for every choice of the base field $k \subset F$) then it also holds for $A = A_1 \otimes_F
A_2$.

After replacing $A_1$ and $A_2$ by, respectively, $A_1(t_1, \dots, t_s)$ and $A_2(t_1, \dots, t_s)$, we may assume that $A_1$ is defined over a subfield $F_1 \subset F$ such that $k \subset F_1$ and $F_1$ is rational over $k$. We will now think of $F_1$ (rather than $k$) as our new base field. After adding more indeterminates, we may assume that $A_2$ is defined over a subfield $F_2 \subset F$, where $F_1 \subset F_2$ and $F_2$ is rational over $F_1$. Now $F_2$ is rational over $k$, and since $A_1$ and $A_2$ are both defined over $F_2$, so is $A$.

We are now ready to complete the proof of Theorem \[thm.rat\](a).

First, suppose $n = 2$ or $4$. Since ${\operatorname{UD}}(n)$ has the rational specialization property, we may assume $A = {\operatorname{UD}}(n)$; see Reduction \[red5.1\]. But since the center of ${\operatorname{UD}}(n)$ is known to be rational for $n = 2$ (see [@procesi Theorem 2.2]) and $n = 4$ (see [@formanek-4x4]), these algebras clearly satisfy the conclusion of Theorem \[thm.rat\](a). This completes the proof of the theorem for $n = 2$ and $4$. We remark that the same argument goes through for $n = 3$ (because the center of ${\operatorname{UD}}(3)$ is known to be rational; see [@formanek-3x3]) and for $n = 5, 7$ (because the centers of ${\operatorname{UD}}(5)$ and ${\operatorname{UD}}(7)$ are known to be stably rational; see [@bl]), but we shall not need it in these cases.

From now on we will assume that $n = p$ is an odd prime. Then the ${{\operatorname{\mathcal{S}}}}_n$-lattice $A_{n-1}^{\otimes 2}$ is faithful; see Lemma \[permpres\]. Furthermore, by a theorem of Bessenrodt and LeBruyn [@bl Proposition 3] (see also [@beneish Lemma 2.8] for a more explicit form of this result), $A_{n-1}^{\otimes 2}$ is permutation projective, i.e., there exists an ${{\operatorname{\mathcal{S}}}}_n$-lattice $L$ such that $P = A_{n-1}^{\otimes 2} \oplus L$ is permutation. We can assume that $k(P)^{{{\operatorname{\mathcal{S}}}}_n}$ is rational over $k$. Indeed, after adding a copy of $U_n$ if necessary, we have $P = U_n \oplus Q$ for some permutation lattice $Q$, and so $k(P) \simeq k(U_n)(Q)$. Proposition \[P:no-name\] implies that $k(P)^{{{\operatorname{\mathcal{S}}}}_n}$ is rational over $k(U_n)^{{{\operatorname{\mathcal{S}}}}_n}$, which in turn is rational over $k$.

Let $$i \colon A_{n-1}^{\otimes 2} \hookrightarrow
k(A_{n-1}^{\otimes 2})^*$$ and $$j \colon A_{n-1}^{\otimes 2} \hookrightarrow
k(A_{n-1}^{\otimes 2} \oplus P)^*
\,$$ be the natural embeddings of ${{\operatorname{\mathcal{S}}}}_n$-modules. (Here, $j$ identifies $A_{n-1}^{\otimes 2}$ with the first summand of $A_{n-1}^{\otimes 2} \oplus P$.) Recall that by Lemma \[lem.tue-1\] these embeddings, in combination with the exact sequence  (for ${\mathcal{G}}= {{\operatorname{\mathcal{S}}}}_n$ and ${\mathcal{H}}= {{\operatorname{\mathcal{S}}}}_{n-1}$; see  ), give rise to central simple algebras ${\operatorname{Alg}}(i)$ and ${\operatorname{Alg}}(j)$.

By Theorem \[thm.tue-3\], ${\operatorname{Alg}}(i)$ has the rational specialization property in the class of ${{\operatorname{\mathcal{S}}}}_n/{{\operatorname{\mathcal{S}}}}_{n-1}$-crossed products. Thus, the universal division algebra ${\operatorname{UD}}(n)$, being an ${{\operatorname{\mathcal{S}}}}_n/{{\operatorname{\mathcal{S}}}}_{n-1}$-crossed product (see Example \[ex.procesi\]), is a rational specialization of ${\operatorname{Alg}}(i)$. Since ${\operatorname{UD}}(n)$ has the rational specialization property in the class of all central simple algebras of degree $n$ (see Example \[ex.rat-spec\]), so does ${\operatorname{Alg}}(i)$.

We claim that ${\operatorname{Alg}}(j)$ also has the rational specialization property in the class of central simple algebras of degree $n$. Indeed, by Lemma \[lem.tue-1\], $${\operatorname{Alg}}(j) = {\operatorname{Alg}}(i) \otimes_{F^{{{\operatorname{\mathcal{S}}}}_n}} E^{{{\operatorname{\mathcal{S}}}}_n} \, ,$$ where $F = k(A_{n-1}^{\otimes 2})$ and $E =
k(A_{n-1}^{\otimes 2} \oplus P)$. Now Proposition \[P:no-name\] tells us that $E^{{{\operatorname{\mathcal{S}}}}_n}$ is a rational extension of $F^{{{\operatorname{\mathcal{S}}}}_n}$, and the claim follows.

By Reduction \[red5.1\] it now suffices to prove that ${\operatorname{Alg}}(j)$ is defined over a purely transcendental extension of $k$. Put $E_0 = k(A_{n-1}^{\otimes 2} \oplus (0) \oplus L) \subseteq E$. Since the image of $j$ is contained in $E_0^*$, Lemma \[lem.tue-2\] tells us that ${\operatorname{Alg}}(j)$ is defined over $E_0^{{{\operatorname{\mathcal{S}}}}_n}$. But $E_0 \simeq k(P)$ and so $E_0^{{{\operatorname{\mathcal{S}}}}_n} \simeq k(P)^{{{\operatorname{\mathcal{S}}}}_n}$ which is indeed rational over $k$. This completes the proof of Theorem \[thm.rat\](a).

Proof of part(b)
----------------

By the Merkurjev-Suslin Theorem, $${{\operatorname{M}}}_r(A) = (a_1, b_1)_{n_1} \otimes_F \dots
\otimes_F (a_l, b_l)_{n_l} \, ,$$ for some $r, l \geq 1$, where $(a, b)_n$ denotes a symbol algebra; see .

Let $\lambda_1, \dots, \lambda_l, \mu_1, \dots, \mu_l$ be $2l$ central variables, algebraically independent over $F$. We will write $\lambda$ in place of $(\lambda_1, ..., \lambda_l)$ and $\mu$ in place of $(\mu_1, ..., \mu_l)$. Then $$\begin{aligned}
{{\operatorname{M}}}_r(A)(\lambda, \mu) =
(a_1, b_1)_{n_1} \otimes_{K(\lambda, \mu)} \dots
\otimes_{K(\lambda, \mu)}(a_l, b_l)_{n_l} =  \\
(a_1', b_1')_{n_1} \otimes_{K(\lambda, \mu)} \dots
\otimes_{K(\lambda, \mu)} (a_l', b_l')_{n_l} = \\
\Bigl( (a_1', b_1')_{n_1} \otimes_{F_0} \dots
\otimes_{F_0} (a_l', b_l')_{n_l} \Bigr) \otimes_{F_0} K(\lambda, \mu)
\, ,\end{aligned}$$ where $a_i' = a_i \lambda_i^{n_i}$ and $b_i' = b_i \mu_i^{n_i}$ for $i = 1, \dots, l$ and $F_0 = k(a_1', b_1', ..., a_l', b_l')$. This shows that ${{\operatorname{M}}}_r(D)(\lambda, \mu)$ is defined over $F_0$. It remains to prove that $F_0$ is rational over $k$. The $2l$ elements $a_1', b_1', \dots, a_l', b_l'$ are clearly algebraically independent over $F$. Hence, they are algebraically independent over $k$, and consequently, $F_0$ is rational over $k$, as claimed.

\[rem.explicit-bound\] Our proof of Theorem \[thm.rat\] can be used to deduce explicit lower bounds on $s$ in parts (a) and (b) from explicit lower bounds in Theorems of Bessenrodt-LeBruyn [@bl Proposition 3] (on ${\operatorname{rank}}(L)$) and Merkurjev-Suslin (on $r$). The lowest possible value of $r$ in part (b), called the [*Merkurjev-Suslin number*]{}, is of independent interest; see [@rowen-rt2 Section 7.2].

Proof of Theorem \[thm.ab-cr\] {#sect.deg4}
==============================

\[red6.1\] In the course of proving Theorem \[thm.ab-cr\], we may assume without loss of generality that $A$ is a division algebra.

Indeed, let $D = {\operatorname{Alg}}(\mu)$, as in Theorem \[thm.tue-3\], with ${\mathcal{G}}= {\mathbb{Z}}/m \times {\mathbb{Z}}/2$, and ${\mathcal{H}}= \{ 1 \}$. Then $D$ is a division algebra (see Remark \[rem.exponent\]), and any other ${\mathcal{G}}$-crossed product $A/F$ is a rational specialization of $D$. Thus, if we know that Theorem \[thm.ab-cr\] holds for $D$ then it holds for $A(t_1, \dots, t_s)$, where $t_1, \dots, t_s$ are independent variables over $F$. Using induction on $s$, we see that Reduction \[red6.1\] is now a consequence of the following lemma (applied to $B = {{\operatorname{M}}}_m(A)$, with $r = 2$, $m_1 = m$ and $m_2 = 2m$):

\[lem6.05\] Let $B/K$ be a central simple algebra of degree $d = m_1 \dots m_r$ and let $t$ be an independent variable over $K$. Assume $K$ contains a primitive root of unity of degree lcm$(m_1, \dots, m_r)$. If $$B(t) = (a_1(t), b_1(t))_{m_1} \otimes \dots \otimes
(a_r(t), b_r(t))_{m_r}$$ for some $a_1(t), b_1(t), \dots, a_r(t), b_r(t) \in K(t)$ then $$B = (a'_1, b'_1)_{m_1} \otimes \dots \otimes (a'_r, b'_r)_{m_r}$$ for some $a'_1, b'_1, \dots, a'_r, b'_r \in K$.

Our proof is based on a standard specialization argument; for the sake of completeness, we supply the details below.

We may assume that $K$ is an infinite field; otherwise $B$ is a matrix algebra over $K$, and we can take, e.g., $a'_i = 1$, $b'_i = -1$ for every $i$.

Choose generators $x_i(t)$ and $y_i(t)$ for the cyclic subalgebra $(a_i(t), b_i(t))_{m_i}$ of $B(t) = B \otimes_K K(t)$ such that $x_i(t)^{m_i} = a_i(t)$, $y_i(t)^{m_i} = b_i(t)$, and $x_i(t) y_i(t) = \zeta_{m_i} y_i(t) x_i(t)$, where $\zeta_{m_i}$ is a primitive root of unity of degree $m_i$ in $K$. Choose a $K$-basis $b_1, \dots, b_{d^2}$ of $B$ and write $$\label{e6.05}
x_i(t) = \sum_{j = 1}^{d^2} \alpha_{ij}(t) b_i \quad \text{and}
\quad
y_i(t) = \sum_{j = 1}^{d^2} \beta_{ij}(t) b_i \, ,$$ for some $\alpha_{ij}(t), \beta_{ij}(t) \in K(t)$. Since $K$ is an infinite field, we can choose $t_0 \in K$ such that $\alpha_{ij}(t_0)$ and $\beta_{ij}(t_0)$ are well-defined and $$x_i(t_0) = \sum_{j = 1}^{d^2} \alpha_{ij}(t_0) b_i \quad \text{and}
\quad
y_i(t_0) = \sum_{j = 1}^{d^2} \beta_{ij}(t_0) b_i$$ are non-zero. Let $B_i$ denote the subalgebra of $B$ that is generated by $x_i(t_0)$ and $y_i(t_0)$. Then $B_i = (a'_i, b'_i)_{m_i}$, where $a'_i = x_i(t_0)^{m_i} = a_i(t_0)$ and $b'_i = y_i(t_0)^{m_i} = b_i(t_0)$, and $B_1, \dots, B_r$ are commuting subalgebras of $B$ of degrees $m_1, \dots, m_r$. Hence, by the double centralizer theorem (cf., e.g., [@pierce Theorem 12.7]), $B = B_1 \otimes \dots \otimes
B_r$. This completes the proof of Lemma \[lem6.05\] and thus of Reduction \[red6.1\].

We now continue with the proof of Theorem \[thm.ab-cr\]. In the course of the proof we shall use the following notations. Write ${\mathcal{G}}= {\mathbb{Z}}/m \times {\mathbb{Z}}/2 = \langle\sigma_1, \sigma_2\rangle$, where $\sigma_1^{m} = \sigma_2^2 = 1$. Let $K = F(\alpha_1, \alpha_2)$, be a maximal ${\mathcal{G}}$-Galois subfield of $A$, where $\alpha_1^m = a_1$ and $\alpha_2^2 = a_2$ are elements of $F$, and $$\begin{aligned}
\sigma_1(\alpha_1) &= \zeta_m \alpha_1 \, , &
\sigma_1(\alpha_2) &= \alpha_2 \, ,  & \nonumber \\
\sigma_2(\alpha_1) &= \alpha_1 \, , &
\sigma_2(\alpha_2) &= - \alpha_2 \, .
\label{e.alpha}\end{aligned}$$ Here $\zeta_m \in F$ is a primitive $m^{\text{th}}$ root of unity, so that $K$ is, indeed, a ${\mathcal{G}}$-Galois extension of $F$. Note that the statement of Theorem \[thm.ab-cr\] assumes that $F$ contains not only a primitive $m$th root of unity $\zeta_m$ but also a primitive $2m^{\text{th}}$ root of unity $\zeta_{2m}$; we shall make use of $\zeta_{2m}$ later in the proof.

By the Skolem-Noether Theorem, there exist units $z_1, z_2 \in A$ such that $z_i x z_i^{-1} = \sigma_i(x)$ for every $x \in K$ ($i = 1,2$). Set $$\label{e.z1-z2}
z_1^m = b_1 \in F(\alpha_2)^*,\ z_2^2 = b_2 \in F(\alpha_1)^*,\
\text{and} \ u = z_1z_2z_1^{-1}z_2^{-1} \in K^*\ .$$ By [@as Theorem 1.3], the algebra structure of $A$ can be recovered from the ${\mathcal{G}}$-field $K$ and the elements $u \in K^*$, $b_1 \in F(\alpha_2)^*$ and $b_2 \in F(\alpha_1)^*$. (These elements have to satisfy certain compatibility conditions; the exact form of these conditions shall not concern us in the sequel.) We will write $A = (K, {\mathcal{G}}, u, b_1, b_2)$.

\[lem.tensor\] Let $A = (K, {\mathcal{G}}, u, b_1, b_2)$ and $A' = (K, {\mathcal{G}}, u', b_1', b_2')$ be ${\mathcal{G}}$-crossed products. Then $A \otimes_F A'$ is Brauer equivalent to $(K, {\mathcal{G}}, uu', b_1 b_1' ,b_2 b_2')$.

The class of $A = (K, {\mathcal{G}}, u, b_1, b_2)$ in the relative Brauer group ${\mathbf{B}}(K/F) = H^2({\mathcal{G}},K^*)$ is given by a normalized $2$-cocycle $a \colon {\mathcal{G}}\times {\mathcal{G}}\to K^*$ so that $$b_i = a(\sigma_i,\sigma_i)a(\sigma_i^2,\sigma_i)\dots
a(\sigma_i^{m_i-1},\sigma_i)$$ holds for $i = 1,2$, where $m_1 = m$ and $m_2 = 2$, and $$u = a(\sigma_1,\sigma_2)a(\sigma_s,\sigma_1)^{-1}\ .$$ Similarly, the class of $A'$ is given by a $2$-cocycle $a'$. Then the class of $A\otimes_F A'$ is given by the cocycle $a a'$; see, e.g., [@pierce Proposition 14.3]. This proves the lemma.

The following alternative ring-theoretic argument was suggested by the referee: Choose $z_1, z_2 \in A$, as in , and similarly for $z_1'$, $z_2'$ in $A'$. The subalgebra $S$ of $A \otimes_F A'$ generated by $K \otimes 1 $, $z_1 \otimes z_1'$ and $z_2 \otimes z_2'$, is clearly isomorphic to $(K, {\mathcal{G}}, u u', b_1 b_1', b_2 b_2')$. Its centralizer $C_{A \otimes A'}(S)$ is an $F$-central simple algebra of degree $2m = [K:F]$, containing $(K \otimes K)^{{\mathcal{G}}}$, where ${\mathcal{G}}$ acts diagonally on $K \otimes K$. Since ${\mathcal{G}}$ is abelian, $(K \otimes K)^{{\mathcal{G}}} \simeq F \oplus \dots \oplus F$, as an $F[{\mathcal{G}}]$-algebra. In particular, $C_{A \otimes A'}$ contains the idempotents of $K \otimes K$ and, hence, is split over $F$. We thus conclude that $$A \otimes_F A' \simeq S \otimes_F C_{A \otimes_F A'} (S) \sim S \simeq
(K, {\mathcal{G}}, u u', b_1 b_1' ,b_2 b_2') \, ,$$ as claimed. (Here $\sim$ denotes Brauer equivalence over $F$.)

We now proceed with the proof of Theorem \[thm.ab-cr\], using the notations of  and . Since $b_1 = z_1^m \in K^{\sigma_1} = F(\alpha_2)$, we can write $$\label{e.b1}
b_1 = f_1 + f_2 \alpha_2 \, ,$$ for some $f_1, f_2 \in F$.

\[lem.ab-cr\]

1.  If $f_1 = 0$ then $A$ is cyclic.

2.  If $f_2 = 0$ then $A = (a, b)_m \otimes (c, d)_2$, for some $a, b, c, d
    \in F^*$.

\(a) If $f_1 = 0$ then $z_1^{2m} = b_1^2 = f_2^2 a_2 \in F^*$ but $z_1^m = f_2 \alpha_2 \not \in F$. Since $F$ contains a primitive root of unity of degree $2m$, $F(z_1)$ is a cyclic maximal subfield of $A$ of degree $2m$; cf. [@lang Theorem VIII.6.10(b)]. Thus $A$ is a cyclic algebra, as claimed.

\(b) If $f_2 = 0$, i.e., $b_1 \in F$, then the $F$-subalgebra $A_0$ of $A$ generated by $z_1$ and $\alpha_1$ is cyclic of degree $m$. By the double centralizer theorem, $A = A_m \otimes Q$, where $Q$ is a quaternion algebra, as claimed.

We are now ready to finish the proof of Theorem \[thm.ab-cr\]. Lemma \[lem.ab-cr\] tells us that Theorem \[thm.ab-cr\] is immediate if $f_1 = 0$ or $f_2 = 0$. Thus from now on we shall assume $f_1 f_2 \neq
0$.

Now let $A = (K, {\mathcal{G}}, u, b_1, b_2)$ and, for any $f \in F^*$, define $A_f = (K, {\mathcal{G}}, u, f b_1, b_2)$. Since $(a_1, f)_m \otimes_F {{\operatorname{M}}}_2(F) \simeq (K, {\mathcal{G}}, 1, f, 1)$, Lemma \[lem.tensor\] tells us that $A_f \sim
(a_1, f)_m \otimes_F A$, where $\sim$ denotes Brauer equivalence. In other words, $A \sim (f, a_1)_m \otimes_F A_f$. Thus it is enough to show that $A_f$ is cyclic, for some $f \in F^*$.

To prove the last assertion, observe that if we expand $(z_1 + \alpha_1)^m$ then all terms, other than $z_1^m$ and $\alpha_1^m$, will cancel. (For a simple proof of this fact, due to Bergman, see [@rowen-rt2 p. 195]). Thus, if $\gamma = z_1 + \alpha_1$ then $$\gamma^m = z_1^m + \alpha_1^m = f b_1 + a_1 \,$$ in $A_f$. Setting $f = -\frac{a_1}{f_1} \in F^*$, we obtain $\gamma^m = c \alpha_2$, where $c = -\frac{a_1 f_2}{f_1} \in F^*$; see . Thus $\gamma^{2m} = c^2 a_2 \in F^*$ but $\gamma^m \not \in F$. Since $F$ contains a primitive $2m^{\text{th}}$ root of unity, $F(\gamma)/F$ is a cyclic field extension of degree $2m$. In other words, $F(\gamma)$ a cyclic maximal subfield of $A_f$, and $A_f$ is a cyclic algebra of degree $2m$, as claimed.

The field of definition of a quadratic form {#sect.quadr}
===========================================

Preliminaries {#preliminaries}
-------------

Let $V = F^n$ be an $F$-vector space, equipped with a quadratic form $q \colon V \to F$. Recall that $q$ is said to be defined over a subfield $F_0$ of $F$ if $q = q_{F_0} \otimes F$, where $q_{F_0}$ is a quadratic form on $V_0 = F_0^n$. Is easy to see that $q$ is defined over $F_0$ if and only if $V$ has an $F$-basis $e_1, \dots, e_n$ such that $b(e_i, e_j) \in F_0$, where $b \colon V \times V \to F$ is the symmetric bilinear form associated to $q$ (i.e., $q(v) = b(v, v)$).

We shall always assume that ${\operatorname{char}}(F) \neq 2$ and $F$ (and $F_0$) contain a base subfield $k$. As usual, we shall write ${\mathopen<}a_1, \dots, a_n {\mathclose>}$ for the diagonal form $$a_nx_1^2 + \dots + a_n x_n^2$$ and $\ll a_1, \dots, a_n \gg$ for the Pfister form ${\mathopen<}1, a_1 {\mathclose>}\otimes \dots \otimes {\mathopen<}1, a_n {\mathclose>}$. Given a quadratic form $q$ we shall ask:

\(a) What is the smallest value of ${\operatorname{trdeg}}_k(F_0)$, where $q$ is defined over $F_0$? We shall denote this number by $\tau(q)$.

\(b) Can $q$ be defined over a rational extension $F_0$ of $k$?

These are the same questions we asked for central simple algebras in the Introduction. In the case of quadratic forms our answers are more complete (and the proofs are easier).

\[prop7.1\] Let $V = F^n$ and let $q \colon V
\to F$ be a quadratic form on $V$. Then

1.  $\tau(q) \leq n$. Moreover, if $a_1, \dots, a_n$ are independent variables over $k$, $F = k(a_1, \dots, a_n)$, and $q = {\mathopen<}a_1, \dots, a_n {\mathclose>}$ then $\tau(q) = n$.

2.  Let $t_1, \dots, t_n$ be independent variables over $F$. Then $q' = q \otimes_F F(t_1, \dots, t_n)$ is defined over a rational extension $F_0$ of $k$.

Diagonalizing $q$, write $q = {\mathopen<}a_1, \dots, a_n {\mathclose>}$ in the basis $e_1, \dots, e_n$.

\(a) To prove the first assertion, set $F_0 = k(a_1, \dots, a_n)$. Then $q$ is defined over $F_0 = k(a_1, \dots, a_n)$ and ${\operatorname{trdeg}}_k (F_0) \leq n$, as desired. For the proof of the second assertion see [@reichstein1 Proof of Theorem 10.3].

\(b) Set $a_i' = t_i^2 a_i$. Then $q' = {\mathopen<}a_1, \dots, a_n {\mathclose>}=
{\mathopen<}a_1', \dots, a_n' {\mathclose>}$ over $F(t_1, \dots, t_n)$. Hence, $q'$ is defined over $F_0 = k(a_1', \dots, a_n')$. We claim that $F_0$ is rational over $k$. Indeed, since the nonzero elements of $\{ a_1', \dots, a_n' \}$ are algebraically independent over $F$, they are algebraically independent over $k$, and the claim follows.

In the sequel we shall need the following analogue of Lemma \[rattau\].

\[rattau1\] Let $q$ be a quadratic form defined over $F$, $t_1, \dots, t_r$ be independent variables over $F$, and $F' = F(t_1, \dots, t_r)$. Set $q' = q \otimes _F F'$. Then $\tau(q) = \tau(q')$.

The inequality $\tau(q') \leq \tau(q)$ is obvious from the definition of $\tau(q)$. To prove the opposite inequality, we may assume $F$ is an infinite field; otherwise $\tau(q) =0$, and there is nothing to prove. We may also assume $r = 1$; the general case will then follows by induction on $r$. Let $b'$ be the symmetric bilinear form associated to $q'$ and choose a basis $b_1(t), \dots, b_n(t)$ of $(F')^n$ so that ${\operatorname{trdeg}}_k \, k( \alpha_{ij}(t)) = \tau(q')$, where $\alpha_{ij}(t)
= b'(b_i(t),b_j(t))$. Since $F$ is an infinite field, we can find a $c \in F$ such that (i) the vectors $b_1(c), \dots, b_d(c)$ are well-defined and form a basis of $F^d$, and (ii) each $\alpha_{ij}(c)$ is well-defined. Now $q$ is defined over $k(\alpha_{ij}(c))$ and thus $$\tau(q) \leq {\operatorname{trdeg}}_k(\alpha_{ij}(c)) \leq
{\operatorname{trdeg}}_k(\alpha_{ij}(t)) = \tau(q') \, ,$$ as claimed.

Proof of Theorem \[thm.trace-form\]
-----------------------------------

Let $F$ be a field containing a primitive $4^{\text{th}}$ root of unity. Note that for the purpose of proving Theorem \[thm.trace-form\], we may assume that $A/F$ is a division algebra. Otherwise, $A$ is isomorphic to ${{\operatorname{M}}}_4(F)$ or to ${{\operatorname{M}}}_2(D)$, where $D = (a, b)_2$ is a quaternion algebra. Thus, $A$ is defined over $k$ or over the field $F_0 = k(a, b)$, respectively, and so is the trace form of $A$. Alternatively, a simple direct computation shows that the trace form of ${{\operatorname{M}}}_2(E)$ is trivial (and thus is defined over $k$) for any central simple algebra $E/F$.

From now on we will assume that $A/F$ is a division algebra of degree 4. By a theorem of Albert [@albert], $A$ is a ${\mathcal{G}}$-crossed product, with ${\mathcal{G}}= {\mathbb{Z}}/2 \times {\mathbb{Z}}/2$. Let $K$ be a ${\mathcal{G}}$-Galois maximal subfield. Using the notations introduced in Section \[sect.deg4\] (with $m = 2$), we write ${\mathcal{G}}= {\mathopen<}\sigma_1, \sigma_2 {\mathclose>}$, $K = F(\alpha_1,
\alpha_2)$, $\alpha_i^2 = a_i \in F$ and $A = (K, {\mathcal{G}}, u, b_1, b_2)$ for some $u \in K^*$, $b_1 \in F(\alpha_2) = K^{\sigma_1}$, and $b_2 \in F(\alpha_1) = K^{\sigma_2}$. Set $\sigma_3 = \sigma_1 \sigma_2 \in {\operatorname{Gal}}(K/F)$; $z_3 = (z_1z_2)^{-1}$, $\alpha_3 = \alpha_1 \alpha_2$, $a_3 = \alpha_3^2 = a_1 a_2$, $b_3 = z_3^2$ (so that $b_i = z_i^2$ for $i = 1, 2, 3$), and $$t_i = \frac{1}{2}{\operatorname{Tr}}_{K^{\sigma_i}/F}(z_i^2) \, , \quad
n_i = N_{K^{\sigma_i}/F}(z_i^2) \,$$ for $i = 1, 2, 3$.

Our proof of Theorem \[thm.trace-form\] is based on the following result of Serre [@serre], [@rst].

\[prop.serre\] Suppose $z_1$ and $z_2$ are chosen so that $t_i \neq 0$ and $n_i^2 - t_i \neq 0$ for any $i = 1, 2, 3$. Then the trace form $q$ of $A$ is Witt-equivalent (over $F$) to $q_2 \oplus q_4$, where $$q_2 = \ll n_1 - t_1^2, \; n_2 \gg$$ is a 2-fold Pfister form and $$q_4 = \ll t_1 - n_1^2, \;
(n_2 - t_2^2) n_2, \; t_1 t_2, \;  t_2 t_3 \gg$$ is a 4-fold Pfister form.

We claim that for the purpose of proving Theorem \[thm.trace-form\], we may assume without loss of generality that $t_i \neq 0$ and $n_i^2 - t_i \neq 0$ for any $i = 1, 2, 3$. Indeed, in view of Lemma \[rattau1\] it suffices to prove Theorem \[thm.trace-form\] for a single division algebra $A$ which has the rational specialization property in the class of algebras of degree 4, e.g., for $A = {\operatorname{UD}}(4)$; see Remark \[rem-ud(n)\]. Thus we only need to show that in this algebra $t_i \neq 0$ and $n_i - t_i^2 \neq 0$ for any choice of $z_1, z_2$.

Indeed, we may assume without loss of generality that $i = 1$ (the cases where $i = 2$ and $3$ will then follow by symmetry). Write $b_1 = f_1 + f_2\alpha_2$ for some $f_1, f_2 \in F$, where $t_1 = f_1$ and $n_1 - t_1^2 = f_2^2 a_2$. Lemma \[lem.ab-cr\] shows that if $t_1 = 0$ then $A$ is cyclic and if $n_1 - t_1^2 = 0$ then $A$ is biquaternion. But since our algebra $A$ has the rational specialization property, it is neither cyclic nor biquaternion. We conclude that $t_1(n_1 - t_1^2) \neq 0$, as claimed.

We now proceed to simplify the form given by Proposition \[prop.serre\]. After expanding $q_2$ and $q_4$, cancelling the common term ${\mathopen<}1, t_1^2 - n_1 {\mathclose>}$ (which can be done, since we are assuming $\sqrt{-1} \in F$) and dividing some of the entries by elements of $(F^*)^2$, we see that the trace form of $A$ is Witt equivalent to the 16-dimensional form $$\label{e.equiv-form}
q = {\mathopen<}1 \, , \,  1 - \frac{n_1}{t_1^2} {\mathclose>}\, \otimes
({\mathopen<}\frac{n_2}{t_2^2}
{\mathclose>}\oplus
{\ll}(1 - \frac{n_2}{t_2^2})\frac{n_2}{t_2^2} \, , \;
t_1 t_2, \; t_2 t_3 {\gg}_0 )\, ,$$ where ${\ll}\lambda_1, \, \, \dots, \lambda_r {\gg}_0$ is defined as a $2^r-1$-dimensional form such that\
${\ll}\lambda_1, \, \lambda_2, \, \dots, \lambda_r
{\gg}_0 \oplus {\mathopen<}1 {\mathclose>}$ is the $n$-fold Pfister form ${\ll}\lambda_1, \, \lambda_2, \, \dots, \lambda_r {\gg}$.

Note that since $q$ and the trace form of $A$ are Witt equivalent 16-dimensional forms, the Witt Decomposition Theorem implies that they are, in fact, the same (i.e., isometric). We now observe that all entries of $q$ lie in the subfield $F_0 = k(\frac{n_1}{t_1^2},
\frac{n_2}{t_2^2}, t_1 t_2, t_2 t_3)$ of $F$. Thus the trace form of $A$ is defined over $F_0$. Since $F_0$ is generated by 4 elements over $k$, we have ${\operatorname{trdeg}}_k \, F_0 \leq 4$. This completes the proof of Theorem \[thm.trace-form\].

[999999]{}

A. A. Albert, *Structure of Algebras*, Amer. Math. Soc. Colloq. Publ. [**24**]{}, 1939.

S. A. Amitsur, S. J. Saltman, *Generic abelian crossed products and $p$-algebras*, J. Algebra, [**51**]{} (1978), 76–87.

E. Beneish, *Induction theorems on the stable rationality of the center of the ring of generic matrices*, Trans. Amer. Math. Soc. **350** (1998), 3571–3585.

C. Bessenrodt and L. Le Bruyn, *Stable rationality of certain $PGL_n$-quotients*, Invent. Math. **104** (1991), 179–199.

B. Fein, D. J. Saltman and M. Schacher, *Embedding problems for finite dimensional division algebras*, J. Algebra **167** (1994), 588–626.

E. Formanek, *The center of the ring of $3 \times 3$ generic matrices*, Linear and Multilinear Algebra [**7**]{} (1979), 203–212.

E. Formanek, *The center of the ring of $4\times 4$ generic matrices*, J. Algebra 62 (1980), no. 2, 304–319.

W. Fulton and J. Harris, *Representation Theory, A First Course*, Springer-Verlag, New York, 1991.

K. W. Gruenberg, *Relation Modules of Finite Groups*, CBMS Regional Conference Series in Mathematics, No. 25, Amer. Math. Soc., Providence, 1976.

N. Jacobson, *Basic Algebra II*, 2nd ed., W.H. Freeman and Co., New York, 1989.

W. Kimmerle, *Relative relation modules as generators for integral group rings of finite groups*, Math. Z. **172** (1980), 143–156.

T.-Y. Lam, *The Algebraic Theory of Quadratic Forms*, W. A. Benjamin Inc., 1973.

S. Lang, *Algebra*, Addison-Wesley Publishing Co., Inc., 1965.

N. Lemire, *Essential dimension of algebraic groups and integral representations of Weyl groups*, preprint.

Available at `http://www.math.uwo.ca/\tilde{\;}nlemire/preprints.html`.

N. Lemire and M. Lorenz, *On certain lattices associated with generic division algebras*, J. Group Theory **3** (2000), 385–405.

H. W. Lenstra, *Rational functions invariant under a finite abelian group*, Invent. Math. **25** (1974), 299–325.

K. Masuda, *On a problem of Chevalley*, Nagoya Math. J. **8** (1955), 59–63.

D. S. Passman, *The Algebraic Structure of Group Rings*, John Wiley & Sons, New York, 1977.

R. S. Pierce, *Associative Algebras*, Springer-Verlag, New York, 1982.

C. Procesi, *Non-commutative affine rings*, Atti Acc. Naz. Lincei, S. VIII, v. VIII, fo. 6 (1967), 239–255.

Z. Reichstein, *On a theorem of Hermite and Joubert*, Canadian J. Math., **51** (1) (1999), 69–95.

Z. Reichstein, *On the notion of essential dimension for algebraic groups*, Transformation Groups, [**5**]{}, no. 3 (2000), 265–304.

Z. Reichstein and N. Vonessen, *An embedding property of universal division algebras*, J. Algebra **177** (1995), 451–462.

S. Rosset, *Group extensions and division algebras*, J. Algebra **53** (1978), 297–303.

M. Rost, *Computation of some essential dimensions*, preprint.

Available at `http://www.math.ohio-state.edu/\tilde{\;}rost/ed.html`.

M. Rost, J.-P. Serre, J.-P. Tignol, *The trace form of a central simple algebra of degree four*, in preparaton.

L. H. Rowen, *Polynomial Identities in Ring Theory*, Academic Press, 1980.

L. H. Rowen, *Brauer factor sets and simple algebras*, Trans. Amer. Math. Soc., **282**, no. 2 (1984), 765–772.

L. H. Rowen, *Ring Theory*, vol. 2, Academic Press, 1988.

L. H. Rowen, [*Division algebras over $C_2$- and $C_3$-fields*]{}, Proc. Amer. Math. Soc. [**130**]{} (2002), no. 6, 1607–1610

L. H. Rowen and D. J. Saltman, *Normalized Brauer factor sets*, J. Algebra **198** (1997), 446–468.

D. J. Saltman, *Twisted multiplicative field invariants, Noether’s problem, and Galois extensions*, J. Algebra **131** (1990), 535–558.

D. J. Saltman, *A note on generic division algebras*, Contemp. Math. **130** (1992), 385–394.

D. J. Saltman, *Lectures on Division Algebras*, CBMS Regional Conference Series in Mathematics, No. 94, Amer. Math. Soc., Providence, 1999.

J.-P. Serre, letters of November 16 and November 24, 1998.

I. R. Shafarevich, [*Basic Algebraic Geometry*]{}, vol. 1, second edition, Springer-Verlag, 1994.

R. L. Snider, *Is the Brauer group generated by cyclic algebras?*, in “Ring Theory. Waterloo 1978", Lect. Notes in Math. **734** (1979), Springer, 279–301.

[^1]: M. Lorenz was supported in part by NSF grant DMS-9988756

[^2]: Z. Reichstein was supported in part by NSF grant DMS-9801675 and an NSERC research grant

[^3]: L. H. Rowen was supported by the Israel Science Foundation, founded by the Israel Academy of Sciences and Humanities - Center of Excellence Program no.  8007/99-3

[^4]: D. J. Saltman was supported in part by NSF grant DMS-9970213
