Magma (álxebra)

En álxebra abstracta, un magma, binar, ou grupoide é un tipo básico de estrutura alxébrica. En concreto, un magma consiste nun conxunto equipado cunha única operación binaria que debe ser pechado por definición. Non se impón outras propiedades.

Definición

Un magma é un conxunto M combinado cunha operación • que envía dous elementos calquera Modelo:Nowrap a outro elemento, Modelo:Nowrap. O símbolo • é un marcador de posición xeral para unha operación correctamente definida. Para ser denominado como magma, o conxunto e a operación Modelo:Nowrap deben cumprir o seguinte requisito (coñecido como pechamento do magma):

Para todo a, b en M, o resultado da operación Modelo:Nowrap tamén está en M.

E en notación matemática:

$a,b\in M⟹a\cdot b\in M.$

Se • é en cambio unha operación parcial, entón Modelo:Nowrap chámase magma parcial ou, máis a miúdo, grupoide parcial.

Morfismo dos magmas

Un morfismo de magmas é unha función Modelo:Nowrap que mapea magma Modelo:Nowrap a magma Modelo:Nowrap que conserva a operación binaria:

f ( x • y ) = f ( x ) ∗ f ( y ).

Por exemplo, con M igual aos números reais positivos e * como media xeométrica, N igual á recta numérica real e • como media aritmética, un logaritmo f é un morfismo do magma (M, *) a (N, •).

$\log \sqrt{xy}=\frac{\log x+\log y}{2}$

Nótese que estes magmas conmutativos non son asociativos; e tampouco non teñen un elemento identidade.

Notación

A operación do magma pódese aplicar repetidamente, e no caso xeral, non asociativo, importa a orde, que se sinala entre parénteses. Ademais, a operación • adoita omitirse e anotarse por xustaposición:

Modelo:Math.

A miúdo utilízase unha escrita para reducir o número de parénteses, nas que se omiten as operacións máis internas e os pares de parénteses, substituíndose só por xustaposición: Modelo:Math. Por exemplo, o anterior abreviase coa seguinte expresión, aínda contén parénteses:

Modelo:Math.

Magma libre

Un magma libre M_X nun conxunto X é o magma "máis xeral posíbel" xerado por X (é dicir, non hai relacións nin axiomas impostos aos xeradores; ver obxecto libre). A operación binaria en M_X fórmase envolvendo cada un dos dous operandos entre parénteses e xustapoñéndoos na mesma orde. Por exemplo:

Modelo:Math

Modelo:Math

Modelo:Math

M_X pódese describir como o conxunto de palabras non asociativas en X coas parénteses conservadas.

Tamén se pode ver, en termos familiares na informática, como o magma de árbores binarias completas con follas etiquetadas por elementos de X. A operación é a de operar atá unir árbores na raíz. Polo tanto, ten un papel fundamental na sintaxe.

Un magma libre ten a propiedade universal tal que se Modelo:Nowrap é unha función de X a calquera magma N, entón hai unha extensión única de f a un morfismo de magmas Modelo:Itco ′

Modelo:Itco′ : M_X → N.

Tipos de magma

Estruturas alxébricas desde magmas ata grupos

Os magmas non se adoitan estudar como tal; porén, hai varios tipos diferentes de magma, dependendo dos axiomas que se requiren para a operación. Os tipos de magma comúnmente estudados inclúen:

• Cuasigrupo: magma onde sempre é posible a división.
  • Bucle : un cuasigrupo cun elemento de identidade.
• Semigrupo : magma onde a operación é asociativa .
  • Monoide: Un semigrupo cun elemento de identidade.
• Grupo: Un magma con inverso, asociatividade e un elemento de identidade.

Teña en conta que as propiedades de divisibilidade e invertibilidade implican a propiedade de cancelación.

Magmas con conmutividade

• Magma conmutativo: magma con conmutividade.
• Monoide conmutativo: monoide con conmutividade.
• Grupo abeliano: grupo con conmutividade.

Véxase tamén

Bibliografía

• Modelo:Cita libro

Outros artigos

• Grupo (matemáticas).
• Anel (matemáticas).

Ligazóns externas

• magma MathWorld .

Modelo:Control de autoridades