lgebra asociativa

En matemticas, un lgebra asociativa es un mdulo que llamamos a A un lgebra asociativa con uno o unitaria (o
tambin permite la multiplicacin de vectores de manera unital). Tal lgebra es un anillo y contiene una copia del
distributiva y asociativa. cuerpo de base K en la forma {a1: a en K}.
La dimensin del lgebra asociativa sobre el cuerpo K es
su dimensin como espacio K-vectorial.
1 Denicin general
Sean (R, +, ) y (S, +, ) dos anillos unitarios, y f : 2.1 Ejemplos
R S un homomorsmo entre anillos unitarios (es de-
cir, un homomorsmo de anillos de manera que f (1R ) = Las matrices cuadradas n-por-n con las entradas del
1S ). Denimos la operacin externa: cuerpo K forman un lgebra asociativa unitaria sobre
K.
: R S S
(r, s) 7 f (r) s Los nmeros complejos forman un lgebra asocia-
Esta operacin dota al grupo abeliano (S, +) de estruc- tiva unitaria de 2 dimensiones sobre los nmeros
tura de R -mdulo por la izquierda. Esta operacin es, reales.
adems, compatible con el producto del anillo S en el
siguiente sentido: dados a, b R, S , se tiene que Los cuaterniones forman un lgebra asociativa uni-
(a b) = ( a) b . taria 4-dimensional sobre los reales (pero no un l-
gebra sobre los nmeros complejos, puesto que los
nmeros complejos no conmutan con los cuaternio-
2 Caso especial en el que el anillo es nes).
un cuerpo
Los polinomios con coecientes reales forman un l-
gebra asociativa unitaria sobre los reales.
Si tenemos un cuerpo K , un anillo R y un homomorsmo
unitario de anillos f : K R , tenemos entonces que
Dado cualquier espacio de Banach X, los operadores
Kerf = 0 , luego f es monomorsmo y podemos con-
lineales continuos (AB): X ABX forman un lge-
siderar que K es un subanillo de R (mediante el primer
bra asociativa unitaria (que usa la composicin de
teorema de isomorfa, K es isomorfo a un subanillo de
operadores como multiplicacin); esto es de hecho
R ). Un lgebra asociativa sobre un cuerpo K, entonces,
un lgebra de Banach.
puede denirse de manera equivalente como un espacio
vectorial sobre K junto con una multiplicacin K-bilineal
A x A -> A (donde la imagen de (x, y) se escribe como Dado cualquier espacio topolgico X, las funciones
xy) tal que la ley asociativa valga: continuas valoradas en los reales (o los complejos)
en X forman un lgebra asociativa unitaria real (o
(x y) z = x (y z) para todo x, y y z en A. compleja); aqu sumamos y multiplicamos las fun-
ciones punto a punto.
La bilinealidad de la multiplicacin se puede expresar co-
mo Un ejemplo de un lgebra asociativa no unitaria vie-
ne dado por el conjunto de todas las funciones f: R
(x + y) z = x z + y z; para todo x, y, z en A, -> R cuyo lmite cuando x se acerca a innito es
cero.
x (y + z) = x y + x z; para todo x, y, z en A,
Las lgebras de Cliord son tiles en geometra y
a (x y) = (a x) y = x (a y); para todo x, y en A y a en fsica.
K.
Las lgebras de incidencia de conjuntos parcialmen-
Si A contiene un elemento identidad, es decir un elemen- te ordenados localmente nitos son lgebras asocia-
to 1 tales que 1x = x1 = x para todo x en A, entonces tivas unitarias son consideradas en combinatoria.

1
2 5 REFERENCIAS

3 Homomorsmos de lgebra
Si A y B son lgebras asociativas sobre el mismo anillo
R un homomorsmo de lgebras h: A -> B es un homo-
morsmo de R-mdulos que tambin es multiplicativa en
el sentido que h(xy) = h(x) h(y) para todo x, y en A. Con
esta nocin de morsmo, la clase de todas las lgebras
asociativas sobre R se convierte en una categora.
Tome por ejemplo el lgebra A de todas las funciones
continuas real-valuadas R R , y el B = R . ambos
son lgebras sobre R , y la funcin que asigna a cada fun-
cin continua f el nmero f (0) (evaluacin en 0) es un
homomorsmo de lgebras de A a B.

4 Colgebras
Un lgebra asociativa unitaria sobre R se basa en un
morsmo A x A A que tiene 2 entradas (multiplica-
dor y multiplicando) y una salida (el producto), as como
un morsmo RA que identicaba los mltiplos esca-
lares de la identidad multiplicativa. Estos dos morsmos
pueden ser dualizados con dualidad categorial invirtiendo
todas las echas en los diagramas conmutativos que des-
criben los axiomas del lgebra; esto dene una estructura
de colgebra.

5 Referencias
 3

6 Origen del texto y las imgenes, colaboradores y licencias

6.1 Texto
lgebra asociativa Fuente: https://es.wikipedia.org/wiki/%C3%81lgebra_asociativa?oldid=75962335 Colaboradores: Hashar, DefLog,
Tostadora, Joselarrucea, Yrbot, YurikBot, Wewe, Lobillo, Chlewbot, Thijs!bot, Yeza, TXiKiBoT, AlleborgoBot, Farisori, Eduardosalg,
Diegusjaimes, Cedmetician, ZroBot, Grillitus, Elvisor, Addbot y Annimos: 9

6.2 Imgenes

6.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0