Structure algébrique

Carte Peu commune · n° 117595

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 XIXe siècle, avec une seule opération interne et quelques propriétés se formalise au début du XXe siècle 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ées morphismes et permettent de formuler cette structure dans le contexte...

Lire sur Wikipédia