Magma (algebra)
Magma ili binarna algebarska struktura je neprazan skup M s jednom binarnom svuda definiranom algebarskom operacijom [math]\displaystyle{ \cdot : M\times M\to M }[/math]. Ponekad, uglavnom u starijoj literaturi i nekim školama apstraktne algebre, koristi se i termin grupoid. U modernoj matematici, grupoid označava malu kategoriju u kojoj su svi morfizmi izomorfizmi. Taj kategorijski pojam grupoida novija je formalizacija jedne parcijalne algebarske strukture, tzv. Brandtovog grupoida, dakle oba naziva su povijesno povezana. Naziv magma uveo je Nicolas Bourbaki.
Neka je [math]\displaystyle{ G }[/math] neprazan skup i [math]\displaystyle{ \cdot }[/math] binarna operacija definirana na tom skupu. Grupoid je uređen par [math]\displaystyle{ (G, \cdot) }[/math] za koji vrijedi aksiom zatvorenosti, odnosno za svaka dva elementa [math]\displaystyle{ a }[/math] i [math]\displaystyle{ b }[/math] skupa [math]\displaystyle{ G }[/math] vrijedi da je [math]\displaystyle{ a \cdot b }[/math] element skupa [math]\displaystyle{ G }[/math].
Za magmu [math]\displaystyle{ (M, \cdot) }[/math] kažemo da je komutativan, odnosno da je operacija [math]\displaystyle{ \cdot }[/math] komutativna, ako vrijedi [math]\displaystyle{ m\cdot n = n\cdot m }[/math] za sve [math]\displaystyle{ m,n\in M }[/math].
Za magmu [math]\displaystyle{ (M, \cdot) }[/math] kažemo da je polugrupa ako je operacija [math]\displaystyle{ \cdot }[/math] asocijativna.
Za polugrupu [math]\displaystyle{ (M,\cdot) }[/math] kažemo da je monoid ako postoji neutralni element za operaciju [math]\displaystyle{ \cdot }[/math].
Vanjske poveznice
Nedovršeni članak Magma (algebra) koji govori o matematici treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.