 Solution

A central simple algebra over $K$ is a finite-dimensional associative unital $K$-algebra $A$ with no nonzero proper two-sided ideals and center exactly $K$. Its dimension is a square, ${\dim }_{K}A=n^2$. The Artin–Wedderburn theorem writes it as $M_r(D)$ for a uniquely determined central division algebra $D$ up to isomorphism. One obtains this structure by taking a minimal left ideal and its commuting division endomorphism ring; the simple algebra acts as all endomorphisms over that ring. Over a suitable finite splitting field it becomes a full matrix algebra.

The Brauer group identifies two central simple algebras if their division-algebra parts agree, equivalently if tensoring each with suitable matrix algebras makes them isomorphic. The product is tensor product, the identity is the class of $K$, and the inverse of $[A]$ is $[A^{\mathrm{op}}]$. Indeedis an isomorphism for a central simple algebra, so the product class is split. This also explains why matrix size is irrelevant to the Brauer class. The order of the class is its period, while the degree of its division-algebra representative is its index; these are different notions in general.

For the cyclic algebra construction, take a cyclic extension $L/K$ of degree $m$, a generator $\sigma$ and $a\in K^{\ast }$. SetThe multiplication is obtained by moving coefficients past $u$ and replacing every $u^m$ by $a$. It is associative: reducing a product of three monomials gives the same total exponent, the same power of $a$ and the same iterated automorphisms in either order. The scalar $a$ is fixed by $\sigma$ and ${\sigma }^m=1$, so reduction is consistent.

An element commuting with every $\ell \in L$ has only its $u^0$ coefficient nonzero, because ${\sigma }^i\ne 1$ for $0<i<m$. Commuting with $u$ then forces that coefficient into $K$, proving that the center is $K$. To prove simplicity, choose a nonzero element of a nonzero ideal with the fewest nonzero monomial coefficients. Since $u$ is invertible and each nonzero coefficient in $L$ is invertible, normalize one term to be the constant one. If another term remains, its automorphism differs from the identity; commuting with a suitable element of $L$ eliminates the constant term but not that other term. This gives a shorter nonzero element, a contradiction. The minimal element is therefore a unit, and the ideal is all of $A$. Thus $A$ is central simple of dimension $m^2$.

It splits over $L$. For example, over $L$ represent $\ell$ by the diagonal matrix with entries $\ell ,\sigma (\ell ),\dots ,{\sigma }^{m-1}(\ell )$, and let $u$ shift the standard basis down one place, sending the first vector to $a$ times the last. These matrices satisfy the defining relations. A primitive element of the separable extension $L/K$ has distinct conjugates; the Vandermonde matrix of their powers is invertible. Thus the diagonal images span all diagonal matrices after scalar extension to $L$. Multiplying the diagonal matrix units by powers of the shift gives every matrix unit, proving $A{\otimes }_{K}L\cong M_m(L)$.

The particularly useful splitting criterion isIf $a=N(b)$, let the algebra act on $L$ by multiplication for $\ell$ and by the semilinear operator $b\sigma$ for $u$. Its $m$th power is multiplication by $N(b)=a$, so this gives an isomorphism with ${\mathrm{End}}_K(L)$, by simplicity and dimension. Conversely, a split algebra acts on an $m$-dimensional $K$-space $V$. Restriction to the subfield $L$ makes $V$ one-dimensional over $L$, and $u$ is a nonzero $\sigma$-semilinear operator. In an $L$-basis it is $b\sigma$, so $u^m=a$ forces $a=N(b)$. More generally the relative Brauer group split by a cyclic $L/K$ is $K^{\ast }/N_{L/K}{L}^{\ast }$, with multiplication of parameters corresponding to addition of classes.

For a finite field, a finite division algebra is commutative by Wedderburn's little theorem. Therefore every central simple algebra is a matrix algebra and $\boxed{\mathrm{Br}({\mathbb{F}}_q)=0}$. The cyclic-algebra viewpoint gives the same conclusion for cyclic classes because the norm between finite fields is surjective on their cyclic multiplicative groups.

For a nonarchimedean local field, the local Brauer invariant givesAn unramified cyclic extension of degree $m$, with arithmetic Frobenius generator, gives invariant $v_K(a)/m$ to its cyclic algebra. Question 2 shows that all units are norms; norm valuations are multiples of $m$. Thus the relative classes are $\mathbb{Z}/m\mathbb{Z}$, represented by powers of a uniformizer. Allowing all $m$ realizes all invariants. At the infinite local fields, $\mathrm{Br}(\mathbb{C})=0$, while $\mathrm{Br}(\mathbb{R})\cong \mathbb{Z}/2\mathbb{Z}$, with the nonzero class represented by Hamilton's quaternions and invariant $1/2$.

For a number field, the Albert-Brauer-Hasse-Noether theorem supplies the exact sequenceHence a global algebra is determined by its finitely many nonzero local invariants, whose sum is zero; it is split precisely when all its local classes vanish. Every division algebra over a number field is cyclic, so cyclic algebras provide representatives for the global classes as well. Their norm parameters translate splitting into local norm conditions and the reciprocity constraint on the sum of invariants. The local invariant theorem, Wedderburn's little theorem and the global invariant theorem are the standard structural results used here; their role in the requested computation is explicit.