En álgebra abstracta, un subálgebra de un álgebra A es un subgrupoS de A que también tiene la estructura de un álgebra del mismo tipo cuando las operaciones algebraicas se restringuen a S. Como los axiomas de las estructuras algebraicas en el álgebra universal se describen por leyes de ecuaciones, lo único que es necesario comprobar es que S sea cerrado con las operaciones heredadas.
Por ejemplo, un subgrupo de un grupoG es S de G tal que:
la identidad e de G desde S (tal que S sea cerrado bajo la constante de operación constante);
si x viene de S, luego x-1 (tal que S sea cerrado bajo la operación inversa);
si x e y viene de S, luego x * y (tal que S sea cerrado bajo la operación de multiplicación de grupos).
En el caso de grupos, es suficiente comprobar que S no sea un conjunto vacío, y que x e y siempre también contenga x-1 * y. Sin embargo, en más situaciones generales, no es seguro hacer análogas presunciones, por ende cada operación debe comprobarse.
El término subálgebra también se usa en el contexto de tipos específicos de álgebras tales como las álgebra asociativas y las álgebras de Lie. En esos contextos, se debería pensar específicamente en las estructuras algebraicas relevantes para ellos.
Datos:Q629933
Marcha 21, 2023
subálgebra, portal, matemática, contenido, relacionado, matemática, álgebra, abstracta, subálgebra, álgebra, subgrupo, también, tiene, estructura, álgebra, mismo, tipo, cuando, operaciones, algebraicas, restringuen, como, axiomas, estructuras, algebraicas, álg. Portal Matematica Contenido relacionado con Matematica En algebra abstracta un subalgebra de un algebra A es un subgrupo S de A que tambien tiene la estructura de un algebra del mismo tipo cuando las operaciones algebraicas se restringuen a S Como los axiomas de las estructuras algebraicas en el algebra universal se describen por leyes de ecuaciones lo unico que es necesario comprobar es que S sea cerrado con las operaciones heredadas Por ejemplo un subgrupo de un grupo G es S de G tal que la identidad e de G desde S tal que S sea cerrado bajo la constante de operacion constante si x viene de S luego x 1 tal que S sea cerrado bajo la operacion inversa si x e y viene de S luego x y tal que S sea cerrado bajo la operacion de multiplicacion de grupos En el caso de grupos es suficiente comprobar que S no sea un conjunto vacio y que x e y siempre tambien contenga x 1 y Sin embargo en mas situaciones generales no es seguro hacer analogas presunciones por ende cada operacion debe comprobarse El termino subalgebra tambien se usa en el contexto de tipos especificos de algebras tales como las algebra asociativas y las algebras de Lie En esos contextos se deberia pensar especificamente en las estructuras algebraicas relevantes para ellos Datos Q629933 Obtenido de https es wikipedia org w index php title Subalgebra amp oldid 120655831, wikipedia, wiki, leyendo, leer, libro, biblioteca,
