Constructive Remarks on Azumaya Algebra

MaRDI QIDQ6442119zbMATH OpenFDO

Authors Thierry Coquand, Henri Lombardi, Stefan Neuwirth

Publication date 30 June 2023

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Commutative algebra (13-XX)

Abstract: We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivalence between two definitions of Azumaya algebra.

This page was built for publication: Constructive Remarks on Azumaya Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6442119)