In de
abstracte algebra is een
magma (ook
groepoïde genoemd, niet te verwarren met
groepoïde in de categorietheorie) een basale
algebraïsche structuur. Specifiek bestaat een magma uit een niet-
lege verzameling die is uitgerust met een enkele
binaire operatie, *:
M ×
M →
M, waaraan geen verdere eisen worden gesteld. De enige structuur in
M is dus de binaire operatie *, die aan twee elementen
a en
b in
M het element
a*b in
M toevoegt. Magma's als zodanig worden niet (veel) bestudeerd, maar gelden vanwege de aanwezige bewerking, als basisstructuren voor rijkere structuren in de abstracte algebra. De term magma werd geïntroduceerd door
Bourbaki.