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 be a field and let be a central simple algebra over of degree , so . Let be a field extension of that is a splitting field of , with an isomorphism of -algebras . The reduced norm of is where is the determinant of matrices over .
Remarks
The value lies in and does not depend on the choice of and ; independence of follows from the Skolem–Noether theorem. The reduced norm is multiplicative, and is invertible in if and only if . It relates to the norm of left multiplication by , the determinant being taken over . Example: for , take and the identity, so is the usual determinant. Example: for the Hamilton quaternions over , with and , one finds . Non-example: the map on is not the reduced norm, since it equals . The reduced norm differs from the field norm in general. But when contains a subfield of degree over , the reduced norm of is the field norm .
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
- no evidence level
- Central simple algebra concept
- Degree of a central simple algebra concept
- Determinant concept
- Field norm concept
- Splitting field of a central simple algebra concept
- Reduced norm definition
Further reading
- Web https://en.wikipedia.org/wiki/Central_simple_algebra, Splitting field
About this page
| Tag | GD2G55W7SW |
|---|---|
| URI | m2://GD2G55W7SW |
| Kind | definition |
| Writing | W0 stub |
| MSC | 16K20, 16K50, 19B99 |
| Defines | Reduced norm |
| Uses | Central simple algebra, Degree of a central simple algebra, Splitting field of a central simple algebra, Determinant, Field norm |
| Changed | 3 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.