En álgebra , una ampliación de un álgebra asociativa A sobre un anillo conmutativo k es un homomorfismo de k - álgebras , que se denota normalmente por ε. Un álgebra junto con una ampliación se denomina álgebra aumentada . El núcleo de la ampliación es un ideal bilateral denominado ideal de ampliación de A.
Por ejemplo, si es el álgebra de grupo de un grupo finito G , entonces
es un aumento.
Si A es un álgebra graduada que está conectada, es decir , entonces el homomorfismo que asigna un elemento a su componente homogéneo de grado 0 es una ampliación. Por ejemplo,
es un aumento del anillo polinomial .
Referencias
- Loday, Jean-Louis ; Vallette, Bruno (2012). Operadas algebraicas . Grundlehren der Mathematischen Wissenschaften. vol. 346. Berlín: Springer-Verlag . pag. 2.ISBN 978-3-642-30361-6.Zbl 1260.18001 .