Álgebra abstracta

Álgebra abstracta

Jerarquia de Monoides, Grupos, Anillos y Campos

El álgebra abstracta estudia las estructuras algebraicas por sí mismas, prescindiendo de la naturaleza de los elementos. Se enfoca en las propiedades de las operaciones y las leyes que las rigen.

Teoría de grupos

Un grupo es un conjunto G con una operación \(*\) que cumple: 1. Asociatividad: \((a*b)*c = a*(b*c)\). 2. Elemento neutro: Existe \(e\) tal que \(a*e = a\). 3. Elemento inverso: Existe \(a^{-1}\) tal que \(a*a^{-1} = e\). Si además es conmutativo, se llama grupo abeliano.

Teoría de anillos

Un anillo es una estructura con dos operaciones (suma y producto). Debe ser un grupo abeliano bajo la suma y cumplir la asociatividad y distributividad bajo el producto. Ejemplos comunes son los números enteros \(\mathbb{Z}\) y los polinomios.

Campos y extensiones de Galois

Un campo es un anillo donde todo elemento no nulo tiene inverso multiplicativo. La teoría de Galois estudia las raíces de los polinomios y sus simetrías, siendo fundamental para demostrar la imposibilidad de resolver ecuaciones de quinto grado por radicales.

Glosario de variables

Símbolo Nombre Tipo
\((G, *)\) Grupo estructura
\(e\) Neutro constante
\(\mathbb{F}\) Campo estructura
\(\phi\) Homomorfismo función