Algèbre d'Azumaya

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 .

À 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.

Personnes associées (1)

Concepts associés (11)

Cours associés (1)

MATH-317: Galois theory

Ce cours commence par un rappel de la théorie de Galois vue en 2ème année : les extensions de corps et la correspondance de Galois. Ensuite, on présente les applications et approfondissements.

In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.

En mathématiques, la notion d'algèbre d'Azumaya est une généralisation de la notion d'algèbre centrale simple aux R-algèbres dont les scalaires R ne forment pas un corps. Elle a été introduite dans un article de en 1951, dans le cas où R est un anneau local commutatif, puis a été développée par Alexander Grothendieck comme ingrédient de base à une théorie du groupe de Brauer en géométrie algébrique, dans les séminaires Bourbaki à partir de 1964.

In algebra, the center of a ring R is the subring consisting of the elements x such that xy = yx for all elements y in R. It is a commutative ring and is denoted as ; "Z" stands for the German word Zentrum, meaning "center". If R is a ring, then R is an associative algebra over its center. Conversely, if R is an associative algebra over a commutative subring S, then S is a subring of the center of R, and if S happens to be the center of R, then the algebra R is called a central algebra.