Magma (mathematica)

De magma a gruppo

In mathematica un magma es un structura algebric $(M;\ast )$ que consiste de un non vacue insimul $M$ e un operation binari $\ast :M\times M\to M$ tal que pro omne $a,b\in M$ existe $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.

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