Math 2.0

Associative rings and algebras Definition

Reduced norm

Builds on Central simple algebraDegree of a central simple algebraSplitting field of a central simple algebraDeterminantField norm

Definition

Let FF be a field and let AA be a central simple algebra over FF of degree nn, so dim⁡FA=n2\dim_F A = n^2. Let LL be a field extension of FF that is a splitting field of AA, with an isomorphism of LL-algebras φ ⁣:A⊗FL→Mn(L)\varphi \colon A \otimes_F L \to M_n(L). The reduced norm of a∈Aa \in A is Nrd(a)=det⁡φ(a⊗1),\mathrm{Nrd}(a) = \det \varphi(a \otimes 1), where det⁡\det is the determinant of n×nn \times n matrices over LL.

Remarks

The value Nrd(a)\mathrm{Nrd}(a) lies in FF and does not depend on the choice of LL and φ\varphi; independence of φ\varphi follows from the Skolem–Noether theorem. The reduced norm is multiplicative, and aa is invertible in AA if and only if Nrd(a)≠0\mathrm{Nrd}(a) \ne 0. It relates to the norm of left multiplication by N(a)=det⁡(x↦ax)=Nrd(a)nN(a) = \det(x \mapsto ax) = \mathrm{Nrd}(a)^n, the determinant being taken over FF. Example: for A=Mn(F)A = M_n(F), take L=FL = F and φ\varphi the identity, so Nrd\mathrm{Nrd} is the usual determinant. Example: for the Hamilton quaternions ℍ\mathbb{H} over ℝ\R, with n=2n = 2 and L=ℂL = \C, one finds Nrd(a+bi+cj+dk)=a2+b2+c2+d2\mathrm{Nrd}(a + bi + cj + dk) = a^2 + b^2 + c^2 + d^2. Non-example: the map a↦det⁡(x↦ax)a \mapsto \det(x \mapsto ax) on ℍ\mathbb{H} is not the reduced norm, since it equals (a2+b2+c2+d2)2(a^2 + b^2 + c^2 + d^2)^2. The reduced norm differs from the field norm in general. But when AA contains a subfield KK of degree nn over FF, the reduced norm of a∈Ka \in K is the field norm NK/F(a)N_{K/F}(a).

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Central simple algebra concept
  2. Degree of a central simple algebra concept
  3. Determinant concept
  4. Field norm concept
  5. Splitting field of a central simple algebra concept
  6. Reduced norm definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Central_simple_algebra, Splitting field
About this page
TagGD2G55W7SW
URIm2://GD2G55W7SW
Kinddefinition
WritingW0 stub
MSC16K20, 16K50, 19B99
DefinesReduced norm
UsesCentral simple algebra, Degree of a central simple algebra, Splitting field of a central simple algebra, Determinant, Field norm
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.