Ê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 commutative
Résumé
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers ; and p-adic integers.
Commutative algebra is the main technical tool in the local study of schemes.
The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras.
Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry.
In algebraic number theory, the rings of algebraic integers are Dedekind rings, which constitute therefore an important class of commutative rings. Considerations related to modular arithmetic have led to the notion of a valuation ring. The restriction of algebraic field extensions to subrings has led to the notions of integral extensions and integrally closed domains as well as the notion of ramification of an extension of valuation rings.
The notion of localization of a ring (in particular the localization with respect to a prime ideal, the localization consisting in inverting a single element and the total quotient ring) is one of the main differences between commutative algebra and the theory of non-commutative rings. It leads to an important class of commutative rings, the local rings that have only one maximal ideal. The set of the prime ideals of a commutative ring is naturally equipped with a topology, the Zariski topology. All these notions are widely used in algebraic geometry and are the basic technical tools for the definition of scheme theory, a generalization of algebraic geometry introduced by Grothendieck.
Many other notions of commutative algebra are counterparts of geometrical notions occurring in algebraic geometry.
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.