Ê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 GraphSearch.
Concept
Structure algébrique
Résumé
En mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité.
La structure de groupe qui émerge progressivement au , avec une seule opération interne et quelques propriétés se formalise au début du avec une kyrielle de structures d’algèbre générale moins restrictives (monoïde) ou au contraire enrichies par une seconde opération (anneau, corps, algèbre de Boole...) voire par l’action d’une autre structure (module sur un anneau, espace vectoriel, algèbre sur un corps...) ou encore une relation d'ordre, une topologie...
Les applications compatibles avec les opérations entre deux ensembles présentant la même structure sont appelés morphismes et permettent de formuler cette structure dans le contexte de la théorie des catégories.
Dans le contexte de l’algèbre universelle, la notion de structure algébrique est un peu différente et ne s’applique pas aux structures de corps, mais permet de décrire certaines structures topologiques.
Beaucoup d’opérations binaires classiques peuvent être considérées comme des lois de composition internes, c’est-à-dire que le résultat est toujours bien défini dans le même ensemble que les opérandes : addition, soustraction et multiplication des entiers relatifs voire des rationnels ou des réels, exponentiation sur les entiers naturels, concaténation des mots, intersection et réunion de parties d’un ensemble, ET et OU logiques... Sans plus d’hypothèses, une telle opération définit un magma (ou groupoïde, mais ce terme est repris dans un sens différent en théorie des catégories) et s’écrit en général multiplicativement : le résultat de l’opération appliquée à x et y se note xy ou x∗y (le symbole ∗ pouvant être remplacé par n’importe quel autre qui se distingue de ceux qui désignent les éléments de l’ensemble).
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.