Magma (mathematica)

In mathematica un magma^[1] es un structura algebric ${\displaystyle (M;\ast )}$ que consiste de un non vacue insimul ${\displaystyle M}$ e un operation binari ${\displaystyle \ast :M\times M\to M}$ tal que pro omne ${\displaystyle a,b\in M}$ existe ${\displaystyle a\ast b\in M}$. Si le operation es commutative, le magma se nomina commutative o abelian. Si le operation es associative, le magma se nomina associative o un semigruppo. Si vale le divisibilitate, le magma es un quasigruppo.

De magma a gruppo

Un apte possibilitate de presentar un magma es le tabellas de Cayley.

Gruppoide

Un ancian nomine a evitar es gruppoide que collide con le homonyme gruppoide del theoria de categorias.

Proprietates

• Si le operation del magma es partial, le magma se nomina partial o un pseudomagma.
• Magma medial
• Magma unipotente
• Magma zeropotente

Vide etiam

• Submagma (mathematica)
• Homomorphismo

Referentias

1. Derivation (in ordine alphabetic): (ca) Magma (àlgebra) || (de) Magma (Mathematik) || (en) Magma (algebra) || (es) Magma (álgebra) || (fr) Magma (algèbre) || (it) Magma (matematica) || (pt) Magma (matemática) || (ro) || (ru) Магма (алгебра)