Magma

Iz MaFiRaWiki

Magma (G, * ) (glej tudi grupoid) je množica G z dvočleno operacijo {*} : G \times G \to G. Morfizem med magmama je funkcija f : G \to H, ki ohranja operacijo: f(x * y) = f(x) * f(y). Magme in morfizmi med njimi tvorijo kategorijo.

Magma je tudi programski paket za algebrsko računanje Magma.

Glej tudi

Osebna orodja