Módulo
Un módulo es una estructura similar a un espacio vectorial cuyos escalares provienen de un anillo en lugar de un cuerpo, el objeto central de la teoría de módulos que unifica grupos abelianos, espacios vectoriales y representaciones.
Definition
Un módulo sobre un anillo R es un grupo abeliano equipado con una multiplicación escalar por elementos de R que es distributiva y asociativa y respeta la identidad, generalizando los espacios vectoriales a coeficientes de anillo.
Scope
Este tema cubre la definición de un módulo sobre un anillo, submódulos y módulos cociente, homomorfismos de módulos, generadores y relaciones, módulos cíclicos y finitamente generados, y los teoremas de isomorfismo, junto con los ejemplos básicos de grupos abelianos y espacios vectoriales como módulos.
Core questions
- ¿Cómo generaliza un módulo un espacio vectorial y un grupo abeliano?
- ¿Qué son los submódulos, los módulos cociente y los homomorfismos de módulos?
- ¿Cómo se presenta un módulo mediante generadores y relaciones?
- ¿Por qué los módulos pueden no tener una base?
Key theories
- Los módulos unifican estructuras familiares
- Un módulo sobre un cuerpo es un espacio vectorial y un módulo sobre los enteros es un grupo abeliano, por lo que la teoría de módulos trata estos y las representaciones grupo-anillo dentro de un único marco.
- Teoremas de isomorfismo para módulos
- Los homomorfismos de módulos se factorizan a través de cocientes por sus núcleos, y los teoremas de correspondencia e isomorfismo se trasladan de grupos y anillos, organizando la estructura de submódulos y cocientes.
- Generadores y relaciones
- Todo módulo es un cociente de un módulo libre, por lo que se presenta mediante generadores y relaciones; el hecho de que las relaciones no se anulen es exactamente lo que distingue a los módulos generales de los espacios vectoriales.
Clinical relevance
Los módulos son el lenguaje común para muchas estructuras algebraicas: los ideales y los anillos cociente, los grupos abelianos, las representaciones de grupos y álgebras, y los grupos de homología y cohomología de la topología son todos módulos, por lo que la teoría de módulos proporciona herramientas que se aplican en toda la matemática.
History
El concepto de módulo generalizó los módulos de números algebraicos de Dedekind y los grupos abelianos de la aritmética del siglo XIX, y Emmy Noether lo colocó en el centro del álgebra en la década de 1920 al reconocer que los ideales, los cocientes y las representaciones son todos módulos sobre anillos adecuados.
Key figures
- Emmy Noether
- Richard Dedekind
- Wolfgang Krull
Related topics
Seminal works
- dummit2004
- lang2002
- atiyah1969
Frequently asked questions
- ¿Por qué un módulo es como un espacio vectorial con un anillo de escalares?
- Los axiomas son idénticos a los de un espacio vectorial, excepto que los escalares provienen de un anillo en lugar de un cuerpo. Debido a que los elementos del anillo no necesitan ser invertibles, los módulos pueden tener torsión y relaciones que ningún espacio vectorial exhibe.
- ¿Qué objetos familiares son módulos?
- Los grupos abelianos son módulos sobre los enteros, los espacios vectoriales son módulos sobre cuerpos, y los ideales de un anillo son módulos sobre ese anillo. Por eso, una única teoría de módulos puede abordar tantos entornos algebraicos a la vez.