Constructive basic theory of central simple algebras - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

Constructive basic theory of central simple algebras

Thierry Coquand
  • Fonction : Auteur
  • PersonId : 841027

Résumé

We provide a constructive treatment of basic results in the theory of central simple algebras. One main issue is the fact that one starting result, Wedderburn's Theorem stating that a simple algebra is a matrix algebra over a skew field, is not constructively valid. We solve this problem by proving instead a dynamical version of this theorem. One can use this to give constructive proofs of basic results of the theory of central simple algebras, such as the Skolem-Noether Theorem. We illustrate this development by giving an elementary constructive proof of a theorem of Becher (which is itself a consequence of a celebrated theorem of Merkurjev).

Dates et versions

hal-03521782 , version 1 (11-01-2022)

Identifiants

Citer

Thierry Coquand, Henri Lombardi, Stefan Neuwirth. Constructive basic theory of central simple algebras. 2021. ⟨hal-03521782⟩
12 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More