Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Algèbre d'Azumaya
Résumé
In mathematics, an Azumaya algebra is a generalization of central simple algebras to R-algebras where R need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where R is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions.
An Azumaya algebra
over a commutative ring is an -algebra obeying any of the following equivalent conditions:
There exists an -algebra such that the tensor product of -algebras is Morita equivalent to .
The -algebra is Morita equivalent to , where is the opposite algebra of .
The center of is , and is separable.
is finitely generated, faithful, and projective as an -module, and the tensor product is isomorphic to via the map sending to the endomorphism of .
Over a field , Azumaya algebras are completely classified by the Artin-Wedderburn theorem since they are the same as central simple algebras. These are algebras isomorphic to the matrix ring for some division algebra over whose center is just . For example, quaternion algebras provide examples of central simple algebras.
Given a local commutative ring , an -algebra is Azumaya if and only if A is free of positive finite rank as an R-module, and the algebra is a central simple algebra over , hence all examples come from central simple algebras over .
There is a class of Azumaya algebras called cyclic algebras which generate all similarity classes of Azumaya algebras over a field , hence all elements in the Brauer group (defined below). Given a finite cyclic Galois field extension of degree , for every and any generator there is a twisted polynomial ring , also denoted , generated by an element such that
and the following commutation property holds:
As a vector space over , has basis with multiplication given by
Note that give a geometrically integral variety , there is also an associated cyclic algebra for the quotient field extension .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.