En álgebra abstracta , una rama de las matemáticas , el grupo de estructura algebraica con operadores o el grupo Ω- puede verse como un grupo con un conjunto Ω que opera sobre los elementos del grupo de una manera especial.
Los grupos con operadores fueron ampliamente estudiados por Emmy Noether y su escuela en la década de 1920. Empleó el concepto en su formulación original de los tres teoremas del isomorfismo de Noether .
Definición
Un grupo con operadores se puede definir [1] como un grupo junto con una acción de un conjunto en :
que es distributivo en relación con la ley de grupo:
Para cada , la aplicación es entonces un endomorphism de G . De esto, resulta que un grupo Ω también puede verse como un grupo G con una familia indexada de endomorfismos de G .
se llama dominio del operador . Los endomorfismos asociados [2] son llamados los homotecias de G .
Dados dos grupos G , H con el mismo dominio de operador, un homomorfismo de grupos con operadores es un homomorfismo de grupo satisfactorio
- para todos y
Un subgrupo S de G se denomina subgrupo estable ,-subgrupo o-subgrupo invariante si respeta las homotecias, es decir
- para todos y
Comentarios sobre la teoría de la categoría
En teoría de categorías , un grupo con operadores puede definirse [3] como un objeto de una categoría de functor Grp M donde M es un monoide (es decir, una categoría con un objeto ) y Grp denota la categoría de grupos . Esta definición es equivalente a la anterior, siempre que es un monoide (de lo contrario, podemos expandirlo para incluir la identidad y todas las composiciones).
Un morfismo en esta categoría es una transformación natural entre dos functores ( es decir, dos grupos con operadores que comparten el mismo dominio de operador M ). Nuevamente recuperamos la definición anterior de un homomorfismo de grupos con operadores (con f el componente de la transformación natural).
Un grupo con operadores también es un mapeo
dónde es el conjunto de endomorfismos de grupo de G .
Ejemplos de
- Dado cualquier grupo G , ( G , ∅) es trivialmente un grupo con operadores
- Dado un módulo M sobre un anillo R , R actúa mediante multiplicación escalar sobre el grupo abeliano subyacente de M , por lo que ( M , R ) es un grupo con operadores.
- Como caso especial de lo anterior, todo espacio vectorial sobre un campo k es un grupo con operadores ( V , k ).
Aplicaciones
El teorema de Jordan-Hölder también es válido en el contexto de grupos de operadores. El requisito de que un grupo tenga una serie de composición es análogo al de la compacidad en la topología y, a veces, puede ser un requisito demasiado fuerte. Es natural hablar de "compacidad relativa a un conjunto", es decir, hablar de series de composición donde cada subgrupo ( normal ) es un operador-subgrupo relativo al conjunto de operadores X , del grupo en cuestión.
Ver también
Notas
- ^ Bourbaki 1974 , p. 31.
- ^ Bourbaki 1974 , págs. 30–31.
- ^ Mac Lane 1998 , p. 41.
Referencias
- Bourbaki, Nicolas (1974). Elementos de Matemáticas: Álgebra I Capítulos 1–3 . Hermann. ISBN 2-7056-5675-8.
- Bourbaki, Nicolas (1998). Elementos de Matemáticas: Álgebra I Capítulos 1–3 . Springer-Verlag. ISBN 3-540-64243-9.
- Mac Lane, Saunders (1998). Categorías para el matemático que trabaja . Springer-Verlag. ISBN 0-387-98403-8.