This chapter deals with domains (see Domains and their Elements)
that are closed under multiplication *.
Following Bourbaki70, we call them magmas in GAP.
Together with the domains closed under addition +, (see Additive Magmas),
they are the basic algebraic structures;
every semigroup (see Semigroups), monoid (see Monoids),
group (see Groups), ring (see Rings),
or field (see Fields and Division Rings) is a magma.
In the cases of a magma-with-one or magma-with-inverses,
additional multiplicative structure is present, see Magma Categories.
For functions to create free magmas, see Free Magmas.
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual