Ê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 de type fini
Résumé
En algèbre commutative, la notion d'algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d'indéterminées. Ces algèbres possèdent de bonnes propriétés relatives à l'anneau de base, et de bonnes propriétés absolues lorsque l'anneau de base est un corps. Les algèbres de type fini sur un corps sont les objets algébriques de base des variétés algébriques.
Sur un corps k, attention à ne pas confondre une algèbre de type fini avec une extension de type fini qui n'est jamais de type fini en tant que k-algèbre sauf si c'est une extension finie.
Si R est un anneau commutatif, une R-algèbre de type fini ou une algèbre de type fini sur R est une R-algèbre commutative A (c'est-à-dire un anneau commutatif unitaire muni d'un morphisme d'anneaux unitaires R → A) engendrée par un nombre fini d'éléments f, ... , f (c'est-à-dire que tout élément de A s'écrit comme P(f, ... , f), où P(X, ... , X) ∈ R[X, ... , X] est un polynôme). On écrit alors Cette écriture n'explicite pas les éventuelles relations entre les générateurs f, ... , f.
Une R-algèbre est de type fini si et seulement si elle est isomorphe à un quotient d'un R[X, ... , X] par un idéal.
Une notion plus restrictive, mais plus adaptée aux questions de finitude sur une base non nécessairement noethérienne est celle des algèbres de présentation finie ; ce sont des quotients de R[X, ... , X] par des idéaux de type fini.
Tout quotient d'une algèbre de type fini par un idéal est une algèbre de type fini.
Une algèbre de type fini sur anneau qui est lui-même une algèbre de type fini sur R est de type fini sur R.
Pour toute algèbre S sur R, le produit tensoriel S⊗A est de type fini sur S.
Le produit tensoriel sur R de deux algèbres de type fini est de type fini.
En général, une localisation d'une algèbre de type fini n'est pas de type fini (par exemple le corps des fractions de k[X] n'est pas une algèbre de type fini sur k).
Si R est un anneau noethérien, toute algèbre de type fini sur R est noethérienne, et est de présentation finie.
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.