Algèbre universelle

Carte Commune · n° 392460

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

Lire sur Wikipédia