En mathématiques, plus particulièrement en algèbre, 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.