1. En mathématiques, plus précisément en algèbre générale et en algèbre universelle, une structure algébrique est un type particulier de structure. Sa spécificité par rapport aux autres types de structure est d'être formée d'un ensemble combiné à une ou plusieurs lois de composition, éventuellement complétées par un ordre ou une topologie, le tout satisfaisant un certain nombre d'axiomes.
2. 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é.
