Neka je skup.
-arna algebarska operacija (kraće: -arna operacija) na skupu je funkcija s -terostrukog Kartezijevog produkta ( puta) u . Parcijalna algebarska operacija na skupu je funkcija s nekog podskupa Kartezijevoh produkta ( puta) u . Ako je -arna operacija na skupu , tada kažemo da je njena arnost.
Npr. -arna ili unarna operacija je funkcija .
-arna ili binarna operacija je funkcija . Ta funkcija se može pisati kao dakle ali još češće se oznaka piše između, tj. , pogotovo ako su oznake simboli kao i slične. Npr. , zadan s se može zadati i s .
Pri tome je -struki Kartezijev produkt skup koji ima samo jedan element (engl. singleton) pa je nularna algebarska operacija funkcija koja tom jednom elementu zadaje element iz , dakle unarna operacija je jednostavno istaknuti (odabrani element) skupa .
Algebarska struktura se sastoji od skupa i nekog zadanog skupa algebarskih operacija na . Npr. skup prirodnih brojeva se može promatrati kao algebarska struktura s dvije operacije i , obje binarne. Njihovu binarnost možemo naglasiti indeksom dolje: , . Spisak simbola operacija neke algebarske strukture, zajedno s njihovim arnostima zove se signatura. Tako je signatura od uređeni par . Neka druga algebarska struktura može imati tu istu signaturu, mada simboli označavaju druge operacije na drugom skupu (ako je domena različita ni funkcije ne mogu biti jednake, a kako su operacije poseban tip funkcija to vrijedi i za njih). No one će opet biti dvije binarne operacije.
Binarna algebarska struktura ili magma je algebarska struktura čija signatura se sastoji od jednog binarnog simbola. Drugim riječima, magma je skup s jednom zadanom binarnom operacijom (koja je svuda definirana na tom skupu).
Termin magma pripada mitskom francuskom matematičaru Nicolasu Bourbakiju. Starija literatura koristi termin grupoid. Modernija literatura rezervira termin (povezani) grupoid za vrlo specifičan i važan tip parcijalne binarne algebarske strukture koja se nekad zvala Brandtov grupoid.
Created on March 16, 2016 at 18:57:27. See the history of this page for a list of all contributions to it.