Zoran Skoda magma

Algebarska struktura sa samo jednom binarnom operacijom zove se binarna algebarska struktura ili magma. Dakle, magma je skup $M$ zajedno za nekom operacijom, dakle funkcijom $\cdot : M\times M\to M$.

Ponekad se gledaju nešto općenitije parcijalne binarne algebarske strukture; tada se termin magma ne koristi. Parcijalna binarna algebarska struktura je skup $S$ zajedno s parcijalnom binarnom operacijom, tj. binarnom operacijom definiranom samo na nekim parovima, odnosno funkcijom $\cdot : T\to S$ gdje je $T\subset S\times S$. Mnoge starije knjige umjesto magme kažu grupoid. U modernoj matematici, grupoid je nešto drugo, kod njega je kompozicija asocijativna ali nije uvijek definirana (Brandtov grupoid).

Najvažnije vrste magmi su polugrupe, monoidi, grupe; kod njih tražimo zadovoljavanje dodatnih aksioma.

category: zadarmat4