En matemáticas , un álgebra asociativa A es una estructura algebraica con operaciones compatibles de suma, multiplicación (que se supone asociativa ) y una multiplicación escalar por elementos en algún campo . Las operaciones de suma y multiplicación juntas dan a A la estructura de un anillo ; las operaciones de suma y multiplicación escalar juntas dan a A la estructura de un espacio vectorial sobre K . En este artículo también usaremos el término K -álgebrapara significar un álgebra asociativa sobre el campo K . Un primer ejemplo estándar de K -álgebra es un anillo de matrices cuadradas sobre un campo K , con la multiplicación de matrices habitual .
Un álgebra conmutativa es un álgebra asociativa que tiene una multiplicación conmutativa o, de manera equivalente, un álgebra asociativa que también es un anillo conmutativo .
En este artículo se supone que las álgebras asociativas tienen una identidad multiplicativa, denotada por 1; a veces se les llama álgebras asociativas unitarias para mayor claridad. En algunas áreas de las matemáticas no se hace esta suposición, y llamaremos a tales estructuras álgebras asociativas no unitarias . También supondremos que todos los anillos son unitarios y que todos los homomorfismos de anillos son unitarios.
Muchos autores consideran el concepto más general de un álgebra asociativa sobre un anillo conmutativo R , en lugar de un campo: una R - álgebra es un R - módulo con una R -operación binaria bilineal asociativa, que también contiene una identidad multiplicativa. Para ejemplos de este concepto, si S es cualquier anillo con centro C , entonces S es un C -álgebra asociativa .
Sea R un anillo conmutativo (entonces R podría ser un campo). Un R - álgebra asociativa (o más simplemente, un R - álgebra ) es un anillo que también es un R -módulo de tal manera que las dos sumas (la suma del anillo y la suma del módulo) son la misma operación, y la multiplicación escalar satisface
para todo r en R y x , y en el álgebra. (Esta definición implica que el álgebra es unitaria , ya que se supone que los anillos tienen una identidad multiplicativa ).