Ê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 universelle
Résumé
L'algèbre universelle est la branche de l'algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière uniforme les morphismes, les sous-structures (sous-groupes, sous-monoïdes, sous-anneaux, sous-espaces vectoriels, etc.), les quotients, les produits et les objets libres pour ces structures.
En mathématiques, un grand nombre de types de structures algébriques vérifient différents axiomes (groupes, anneaux, espaces vectoriels, treillis, algèbres de Boole, algèbres de Lie). Pour ces différents types de structures, on définit une notion de morphisme et des constructions de structures qui sont analogues ou qui ont des propriétés analogues (sous-structures, quotients, produits, coproduits, objets libres, limites projectives et inductives, etc.). Ces morphismes et ces constructions ont un grand nombre de propriétés qui sont semblables (l'intersection de sous-groupes, de sous-anneaux, etc., en est un, l'image d'un sous-groupe, d'un sous-anneau, etc., par un morphisme en est un aussi). On a alors défini de manière générale et abstraite les structures algébriques pour pouvoir traiter de manière uniforme ces constructions et leurs propriétés, et on a pu, par la suite, se concentrer sur les propriétés propres à chacune de ces structures.
Plus qu'une généralisation des structures algébriques usuelles qui ne servirait qu'en algèbre, l'algèbre universelle a aussi des applications en logique et en informatique. Une généralisation plus vaste encore de ces notions est fournie par la théorie des catégories.
Il peut être utile d'examiner un exemple pour dégager une notion unificatrice de structure algébrique. Parfois, dans la définition de structure algébrique, on se limite à la donnée de lois de composition interne et externe sur un ensemble, mais la donnée de ces lois ne permet pas toujours de définir les homomorphismes comme les applications qui préservent ces lois et les sous-structures (sous-groupes, sous-anneaux, etc.
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.
Proximité ontologique