Álgebras de Color Ternarias de Leibniz

Introducción
Preliminares
Construcción álgebras de color de Leibniz
Exposición :
Álgebras de color ternarias de Leibniz
Daniel Alejandro Vargas Uzuriaga
Universidad del Cauca
25 de noviembre de 2021
Daniel Alejandro Vargas Uzuriaga UNICAUCA

Introducción
Preliminares
La noción de n-álgebra de Lie fue introducida por Filipov en 1985

como una generalización de álgebras de Lie,para las cuales se en-
contró aplicación en muchos campos de las matemáticas y la fı́sica.
De esta manera se desarrollan otras estructuras algebraicas.

Introducción
Preliminares
Definición 2.1 (Simetrı́a sesgada)

Sean V un espacio vectorial, α, β ∈ V cualesquiera. Una forma
bilineal es simétrica sesgada si.
f (α, β) = −f (β, α)
Ejemplo 2.1
Una matriz A es simétrica sesgada si y solo si AT = −A. La repre-
sentacioń matricial de una forma bilineal s con respecto a la base
ordenada B = {x1 , x2 , ..., xn } de V se define mediante:
([s]B )ij := s(xi , xj ).
Luego, la representación matricial de una forma bilineal s es simétri-
ca sesgada si y solo si s es simétrica sesgada.
([s]B )ij := s(xi , xj ) = −s(xj , xi ) = − ([s]B )ji

Introducción
Preliminares
Definición 2.2 (Álgebra de Leibniz)

Un álgebra de Leibniz es un espacio vectorial V sobre un campo K,
con un mapeo bilineal [−, −] : VxV → V que satisface la identidad
[x, [y , z]] = [[x, y ], z] − [[x, z], y ] (1)
∀x, y , z ∈ V
Observación 2.1
Note que las álgebras de Lie son exactamente álgebras de Leibniz
que satisfacen:
[x, x] = 0 (2)
Lo que es equivalente a:
[x, y ] = −[y , x] (3)

Introducción
Preliminares
De las ecuaciones (1) y (3) se obtiene:
[x, [y , z]] + [y , [z, x]] + [z, [x, y ]] = 0 (4)

Por tanto, las álgebras de Leibniz son una versión no conmutativa
de las álgebras de Lie.
Definición 2.3 (Álgebra de Lie)

Un álgebra de Lie sobre un campo K, es un espacio vectorial L so-
bre K con una aplicación bilineal [−, −] : LxL → L que satisface
(1) y (4) ∀x, y , z ∈ L, en este caso el corchete se conoce como cor-
chete de Lie.

Introducción
Preliminares
Ejemplo 2.2
Sea A un álgebra asociativa sobre un campo K con un operador
lineal T : A → A tal que T 2 = T y T (ab) = T (a)T (b) para
todo a, b ∈ A. Defina la siguiente aplicación bilineal (producto)
[−, −] : AxA → A por [a, b] := aT (b) − bT (a) ∀a, b ∈ A, con
esta aplicación A es un álgera de Lie, en particular es un algebra de
Leibniz.

Introducción
Preliminares
Definición 2.4 (Espacio Vectorial Cociente)

Si L es un subespacio de V, entonces una clase lateral de L en V
es un subconjunto de V de la forma v + L conn v ∈ V .
V /L = [v ]v ∈V
Observación 2.2
1 En V se define la relación de equivalencia inducida por L en la
siguiente forma v1 ≡ v2 ⇔ v1 − v2 ∈ L para v1 , v2 ∈ V .
2 Esta relación de equivalencia particiona al conjunto V enn
clases de equivalencia (clases laterales) denotadas por [v ] ,
esto es,
[v ] = {v ∈ V : u ≡ v } = v + L = {v + l : l ∈ L}

Introducción
Preliminares
Definición 2.5 (Base Dual)

Si V tiene una base finita {vi }ni=1 luego V tiene una base finita
particular llamada base dual {λi }ni=1 . Esta base tiene la propiedad
de que:
λj (vi ) = δij
donde δij es el Kronecker δ y se define por:

1 si i = j
δij =
0 si i 6= j

Introducción
Preliminares
Definición 2.6 (Aplicaciones Multilineales)

Sean V1 , · · · , Vn , X espacios vectoriales, una aplicación T :
V1 x · · · xVn → X se dice multilineal si es lineal en cada una de
sus componentes. Esto es, ∀i = 1, · · · , n ; ∀x, y ∈ R y ∀vi , wi ∈ Vi
se tiene:
T (v1 , · · · , xvi + ywi , · · · , vn ) = xT (v1 , · · · , vi , · · · , vn ) +
yT (v1 , · · · , wi , · · · , vn )
Note que Mult(V1 , · · · , Vn , X ) se denomina el conjunto de todas las

aplicaciones multilineales y es subespacio de Maps(V , W ).

Introducción
Preliminares
Teorema 2.1
Sean V1 , · · · , Vn , X , Y espacios vectoriales, sea T ∈ Lin(X , Y ) una
aplicación lineal y S ∈ Mult(V1 , · · · , Vn , X ) una aplicación multili-
neal, entonces T ◦ S ∈ Mult(V1 , · · · , Vn , Y ) con:
T ◦ S : V1 x · · · xVn → Y

Introducción
Preliminares
Demostración.
S T
En efecto, V1 x · · · xVn −→ X −→ Y
T ◦ S(v1 , · · · , xvi + ywi , · · · , vn ) =

T (S(v1 , · · · , xvi + ywi , · · · , vn )) =
T (xS(v1 , · · · , vi , · · · , vn ) + yS(v1 , · · · , wi , · · · , vn )) =
xT (S((v1 , · · · , vi , · · · , vn ))) + yT (S((v1 , · · · , wi , · · · , vn ))) =
xT ◦ S((v1 , · · · , vi , · · · , vn )) + yT ◦ S((v1 , · · · , wi , · · · , vn ))
∴ T ◦ S ∈ Mult(V1 , · · · , Vn , Y )

Introducción
Preliminares
Definición 2.7 (Producto Tensorial)

Sean V1 , · · · , Vn espacios vectoriales, sea U = Free(V1 x · · · xVn ) y
sea L un subespacio de U generado por las expresiones de la forma
(v1 , · · · , xvi + ywi , · · · , vn ) = x(v1 , · · · , vi , · · · , vn ) +
y (v1 , · · · , wi , · · · , vn )
El producto tensorial V1 ⊗ · · · ⊗ Vn es el espacio cociente U/L. El
conjunto U se denomina conjunto degenerado del producto tensorial
y el conjunto L se denomina conjunto de relaciones.

Introducción
Preliminares
Observación 2.3
1 Sean V un conjunto, W un espacio vectorial sobre un campo K
se define Maps(V , W ) = {f : V → W |f es un mapeo} con las
operaciones:
(f + g )(v ) = f (v ) + g (v ), ∀v ∈ V
(αf )(v ) = αf (v ), ∀v ∈ V , ∀α ∈ K
Es un espacio vectorial
2 Considere V y W espacios vectoriales, el conjunto Lin(V , W ) =
{f : V → W |f es una aplicación lineal} es un subespacio
vectorial de Maps(V , W ) bajo las operaciones inducidas por
Maps(V , W ).
3 El conjunto Free(V ) = {f : V → W : f (v ) = 0para todos
excepto para un número finito de v ∈ V } es un subespacio
vectorial de Maps(V , W ).
Introducción
Preliminares
Definición 2.8 (E.V G-graduado)
1 Sea G un grupo abeliano. Un espacio vectorial V se dice que

es G-graduado si existe una familia {Vg }g ∈G de subespacios
vectoriales de V tales que:
M
V = Vg
g ∈G
2 Un elemento v ∈ V es llamado homogeneo de grado g ∈ G si

v ∈ Vg . Se define H(V ) el conjunto de todos los elementos
homogeneos en V.

Introducción
Preliminares
Definición 2.9
1 Un álgebra (A, ·) se llama G-graduada si su espacio vectorial
subyacente es G-graduado, esto es,
M
A= Ag
g ∈G
y si además Ag · Af ⊆ Ag +f , ∀g , f ∈ G

Introducción
Preliminares
Definición 2.10
1 Sean V y V 0 dos espacios vectoriales G-graduados. Un mapeo
lineal f : V → V 0 es llamado homogeneo de grado f si :
f (Vg ) ⊆ Vg0 +f , ∀g ∈ G
Si f es homogeneo de grado cero,i.e, f (Vg ) ⊆ Vg0 , ∀g ∈ G ,

entonces f es llamada par.
2 Sea A0 un álgebra G-graduada. Un morfismo f : A → A0 de
álgebras G-graduadas es por definición un morfismo de
álgebras de A en A0 , el cual es además un mapeo par.

Introducción
Preliminares
Definición 2.11 (Derivaciones)

Sea A un álgebra , una aplicación D : A → A es llamada una
derivación si satisface la regla de Leibniz
D(x · y ) = D(x)y + xD(y )
Para todo x, y ∈ A. Al conjunto de todas las derivaciones de A se

denota por Der (A) ⊂ g `(A).
Si D, δ ∈ Der (A) y α ∈ K, entonces D +δ ∈ Der (A) y αD ∈ Der (A)

Introducción
Preliminares
Lema 2.1
Sea A un álgebra sobre K para cualesquiera D, δ ∈ Der (A) el con-
mutador [D, δ] = D ◦ δ − δ ◦ D es de nuevo una derivación. En
particular, Der (A) es una subálgebra de Lie de g `(A).

Introducción
Preliminares
Definición 2.12
Se puede generalizar, sea A un espacio vectorial equipado con una
operación n-lineal w : A ⊗ · · · ⊗ A → A, sea f : A → A un mapeo ,
se llama derivación respecto a w si:
n
X
f (w (a1 , · · · , an )) = w (a1 , · · · , f (ai ), · · · , an ) (5)
i=1
En este caso f se llama una w-derivación y al conjunto de todas las

derivaciones se denota por Derw (A).

Introducción
Preliminares
Definición 2.13
Un álgebra de Leibniz de orden n, o simplemente una n-álgebra de
Leibniz es un espacio vectorial V equipado con una operación n-lineal
[−, · · · , −] : V ⊗ · · · ⊗ V → V tal que para todo y1 , · · · , yn−1 ∈ V
el mapeo
ad(y1 , · · · , yn−1 ) : V → V
ad(y1 , · · · , yn−1 )(x) = [x, y1 , · · · , yn−1 ]
Es una derivación respecto a [−, · · · , −]. Des esta manera se cumple
la siguiente n-identidad de Leibniz.
[[x1 , · · · , xn ], y1 , · · · , yn−1 ] =
n
X
= [x1 , · · · , xi−1 , [xi , y1 , · · · , yn−1 ], xi+1 , · · · , xn ] (6)
i=1

Introducción
Preliminares
Observación 2.4
1 Para n = 2 , [[x1 , x2 ]y1 ] = [[x1 , y1 ], x2 ] + [x1 , [x2 , y1 ]]
2 Para n = 3,
[[x, y , z], t, u] = [[x, t, u], y , z] + [x, [y , t, u], z] + [x, y , [z, t, u]]

Introducción
Preliminares
Definición 2.14
1 Una triálgebra de Cuasi-Lie es una triálgebra de Leibniz para
la cual se cumple la siguiente identidad
[x, y , y ] = 0 (7)
Para todo x, y ∈ V .
2 Los sistemas triples de Lie son espacios vectoriales equipados
con un corchete trilineal que satisface 6 y en lugar de simetrı́a
sesgada, satisface las siguientes condiciones:
[x, y , z] + [z, x, y ] + [y , z, x] = 0
y
[x, y , y ] = 0
Este es un ejemplo de triálgebras de Cuasi-Lie el cual no es
una triálgebra de Lie.
Introducción
Preliminares
Definición 2.15
Una n-álgebbra de Lie cumple con (6) y además el corchete es
simétrico sesgado:
[x1 , · · · , xn ] = (−1)(σ) [xσ(1) , · · · , xσ(n) ] (8)
∀σ ∈ Sn donde Sn es el grupo simétrico de n elementos y el

número (σ) es igual a 0 o 1 dependiendo de la paridad de la
permutación σ

Introducción
Preliminares
Definición 2.16
Sea G un grupo abeliano. Un mapeo : GxG → K∗ es llamado
simétrico sesgado por dos caracteres (bicarácter) sore G si cumple
las siguientes identidades:
1 (a, b)(b, a) = 1
2 (a, b + c) = (a, b)(a, c)
3 (a + b, c) = (a, c)(b, c)
Para a, b, c ∈ G .
Observación 2.5
Si x y y son dos elementos homogeneos de grado a y b
respectivamente y es simétrico sesgado por dos caracteres,
entonces la notación serı́a (x, y ) en lugar de (a, b)

Introducción
Preliminares
Definición 2.17
Un álgebra de color asociativa es un álgebra G-graduada (A, ·) junto
con un bicarácter : GxG → K∗ tal que
(x · y ) · z = x · (y · z) (9)
Para todo x, y , z ∈ H(A).

Introducción
Preliminares
Definición 2.18
Un álgebra de color de Lie es una tripleta (A, [−, −], ) en la cual
(A, [−, −]) es un álgebra G-graduada y : GxG → K∗ es un bi-
carácter tal que:
[x, y ] = −(x, y )[y , x] (10)
(z, x)[x, [y , z]] + (x, y )[y , [z, x]] + (y , z)[z, [x, y ]] = 0 (11)
Para cualesquiera x, y , z ∈ H(A). La identidad 10 se conoce como
-simétrica sesgada y 11 se conoce como -identidad de Jacobi.

Introducción
Preliminares
Definición 2.19
1 Un operador promediado sobre un álgebra de color asociativa
(A, ·, ) es un mapeo lineal par φ : A → A tal que
φ(φ(x) · y ) = φ(x) · φ(y ) = φ(x · φ(y ))
Para todo x, y ∈ H(A).

2 Un operador promediado sobre un álgebra de color de Lie
(A, [−, −], ) es un mapeo lineal par φ : A → A tal que:
φ([φ(x), y ]) = [φ(x), φ(y )] = φ([x, φ(y )])
Para todo x, y ∈ H(A)

Introducción
Preliminares
Definición 2.20 (Rota Baxter)

Sea (A, ·) un álgera G-graduada y λ ∈ K. U mapeo lineal par R :
AxA → A es llamado un operador de Rota Baxter de peso λ si este
satisface la identidad:
R(x) · R(y ) = R(R(x) · y + x · R(y ) + λx · y ) (12)
Para cualesquiera x, y ∈ H(A).

Introducción
Preliminares
Definición 3.1
Un álgebra de color de Leibniz es un espacio vectorial G-graduado L
junto con un mapeo par bilinneal [−, −] : L ⊗ L → L y un bicarácter
: G ⊗ G → K∗ tal que :
[[x, y ], z] = [x, [y , z]] + (y , z)[[x, z], y ] (13)
Para todo x, y , z ∈ H(L).
Observación 3.1
Un álgebra de color de lie es un álgebra de color de Leibniz con
corchete - simétrico sesgado.

Introducción
Preliminares
Ejemplo 3.1
Sea (A, ·, ) un álgebra de color asociativa, entonces (A, [−, −], )
es un álgebra de color de Lie con el corchete definido por:
[x, y ] := x · y − (x, y )y · x

Introducción
Preliminares
Ejemplo 3.2
Sea (A, [−, −], ) un álgebra de color de Lie y φ : A → A un operador
promediado. Defina una nueva operación {−, −} : AxA → A por
{x, y } := [φ(x), y ]
Entonces (A, {−, −}, ) es un álgebra de color de Lie

Introducción
Preliminares
Para poder producir ejmplos de álgebras de color de Leibniz se ne-

cesita:
Definición 3.2
Un álgebra de color de Leibniz con Rota Baxter de peso λ ∈ K es un
álgebra de color de Leibniz (A, [−, −], ) junto con un mapeo lineal
par R : A → A que satisface:
[R(x), R(y )] = R([R(x), y ]) + [x, R(y )] + λ[x, y ]) (14)
Para cualquier x, y ∈ H(A).

Introducción
Preliminares
Ejemplo 3.3
Sea (A, [−, −], , R) un álgebra de color de Leibniz con Rota Baxter
de peso λ. Entonces A(λ) = (A, [−, −]λ , , R) es también un álgebra
de color de Leibniz con Rota Baxter de peso λ respecto al corchete:
[x, y ]λ = [R(x), y ] + [x, R(y )] + λ[x, y ]
Para todo x, y ∈ H(A).

Introducción
Preliminares
Definición 3.3
Un álgebra no asociativa G-graduada (A, ·) con un bicarácter :
G ⊗ G → K∗ que satisface para todo x, y , z ∈ H(A),
(x · y ) · z − x · (y · z) = (x, y )((y · x) · z − y · (x · z)) (15)
Es llamada un álgebra de color simétrica a izquierda.

Introducción
Preliminares
Teorema 3.1
Sea (A, ·, ) un álgebra de color simétrica a la izquierda, entonces
para cualesquiera x, y ∈ H(A), el conmutador,
[x, y ] = x · y − (x, y )y · x (16)
Hace que A se convierta en un álgebra de color de Lie.
Lema 3.1
Sea (L, [−, −], , R) un álgebra de color de Lie con Rota Baxter de
peso 0 , entonces L es un álgebra de color simétrica a izquierda
con x · y = [R(x), y ] para x, y ∈ H(L).

Introducción
Preliminares
Proposición 3.1
Sea (L, [−, −], , R) un álgebra de color de Lie con Rota Baxter de
peso 0, entonces (L, {−, −}, , R) es también un álgebra de color de
Lie con Rota Baxter de peso 0 respecto al corchete
{x, y } = [R(x), y ] − (x, y )[R(y ), x]
, para cada x, y ∈ H(L).

Introducción
Preliminares
Lema 3.2
Sea (A, ·, , R) un álgebra de color simétrica con Rota Baxter de peso
0, entonces (A, ∗, , R) es también un álgebra de color simétrica a
izquierda con Rota Baxter respecto a x ∗y := R(x)·y −(x, y )y ·R(x)

Introducción
Preliminares
Proposición 3.2
Sea (A, ·, , R) un álgebra de color simétrica a izquierda con Rota
Baxter de peso 0, entonces (A, [−, −], ) es un álgebra de color de
Lie, donde
[x, y ] := R(x) · y + x · R(y ) − (x, y )(R(y ) · x + y · R(x))

Introducción
Preliminares
Lema 3.3
Sea (A, ·, , R) un álgebra de color asociativa con Rota Baxter de
peso λ = −1. Sea la operación bilineal par ∗ : A ⊗ A → A sobre
elementos homogeneos x, y ∈ A por
x ∗ y := R(x) · y − (x, y )y · R(x) − x · y
Entonces (A, ∗, ) es un álgebra de color simétrica a izquierda

Introducción
Preliminares
Proposición 3.3
peso -1, entonces (A, [−, −], ) es un álgebra de color de Lie respecto
a
[x, y ] := R(x) · y + x · R(y ) − x · y − (x, y )(R(y ) · x + y · R(x) − y · x)

Introducción
Preliminares
Definición 3.4
Un álgebra de color (A, ·, ) es llamada un álgebra de color de Lie
admisible si, para cualesquiera elementos homogeneos x, y ∈ A, el
corchete [−, −] definido por
[x, y ] = x · y − (x, y )y · x
satisface la identidad de jacobi.

Introducción
Preliminares
Ejemplo 3.4
Cualquier álgebra de color asociativa y cualquier álgebra de color
de Lie son álgebras de color de Lie admisibles.

Introducción
Preliminares
Lema 3.4
Sea (A, ·, , R) un álgebra de color de Lie con Rota Baxter de peso 0,
entonces (A, ∗, ) es un álgebra de color con Rota Baxter simétrica
a izquierda respecto a
x ∗ y := R(x) · y − (x, y )y · R(x)

Introducción
Preliminares
Proposición 3.4
peso 0, equipado con el corchete
[x, y ] := R(x) · y + x · R(y ) − (x, y )(R(y ) · x + y · R(x) + y · x)
Entonces A se convierte en un álgebra de color de Lie.

Introducción
Preliminares
Definición 3.5
Un álgebra de color post-Lie (L, [−, −], ·, ) es un álgebra de color
de Lie (L, [−, −], ) junto con un mapeo bilineal par · : L ⊗ L → L
tal que
z · [x, y ] − [z · x, y ] − (z, x)[x, z · y ] = 0 (17)
z · (y · x) − (z, y )y · (z · x) + (z, y )(y · z) · x
−(z · y ) · x + (z, y )[y , z] · x = 0 (18)
para cualesquiera x, y , z ∈ H(L).

Álgebras de Color Ternarias de Leibniz

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Álgebras de Color Ternarias de Leibniz

Cargado por

Copyright:

Formatos disponibles

Introducción

Daniel Alejandro Vargas Uzuriaga

Universidad del Cauca

Daniel Alejandro Vargas Uzuriaga UNICAUCA

La noción de n-álgebra de Lie fue introducida por Filipov en 1985

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.1 (Simetrı́a sesgada)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.2 (Álgebra de Leibniz)

[x, [y , z]] = [[x, y ], z] − [[x, z], y ] (1)

[x, y ] = −[y , x] (3)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

De las ecuaciones (1) y (3) se obtiene:

[x, [y , z]] + [y , [z, x]] + [z, [x, y ]] = 0 (4)

Definición 2.3 (Álgebra de Lie)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.4 (Espacio Vectorial Cociente)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.5 (Base Dual)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.6 (Aplicaciones Multilineales)

Note que Mult(V1 , · · · , Vn , X ) se denomina el conjunto de todas las

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

T ◦ S(v1 , · · · , xvi + ywi , · · · , vn ) =

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.7 (Producto Tensorial)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.8 (E.V G-graduado)

1 Sea G un grupo abeliano. Un espacio vectorial V se dice que

2 Un elemento v ∈ V es llamado homogeneo de grado g ∈ G si

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Si f es homogeneo de grado cero,i.e, f (Vg ) ⊆ Vg0 , ∀g ∈ G ,

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.11 (Derivaciones)

D(x · y ) = D(x)y + xD(y )

Para todo x, y ∈ A. Al conjunto de todas las derivaciones de A se

Si D, δ ∈ Der (A) y α ∈ K, entonces D +δ ∈ Der (A) y αD ∈ Der (A)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

En este caso f se llama una w-derivación y al conjunto de todas las

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

[x1 , · · · , xn ] = (−1)(σ) [xσ(1) , · · · , xσ(n) ] (8)

∀σ ∈ Sn donde Sn es el grupo simétrico de n elementos y el

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Para todo x, y , z ∈ H(A).

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Daniel Alejandro Vargas Uzuriaga UNICAUCA

φ(φ(x) · y ) = φ(x) · φ(y ) = φ(x · φ(y ))

Para todo x, y ∈ H(A).

φ([φ(x), y ]) = [φ(x), φ(y )] = φ([x, φ(y )])

Para todo x, y ∈ H(A)

Daniel Alejandro Vargas Uzuriaga UNICAUCA

Definición 2.20 (Rota Baxter)

R(x) · R(y ) = R(R(x) · y + x · R(y ) + λx · y ) (12)

Para cualesquiera x, y ∈ H(A).

Daniel Alejandro Vargas Uzuriaga UNICAUCA

[[x, y ], z] = [x, [y , z]] + (y , z)[[x, z], y ] (13)

[x1 , · · · , xn ] = (−1)(σ) [xσ(1) , · · · , xσ(n) ] (8)

[[x, y ], z] = [x, [y , z]] + (y , z)[[x, z], y ] (13)

Entonces (A, {−, −}, ) es un álgebra de color de Lie

(x · y ) · z − x · (y · z) = (x, y )((y · x) · z − y · (x · z)) (15)

[x, y ] = x · y − (x, y )y · x (16)

{x, y } = [R(x), y ] − (x, y )[R(y ), x]

[x, y ] := R(x) · y + x · R(y ) − (x, y )(R(y ) · x + y · R(x))

x ∗ y := R(x) · y − (x, y )y · R(x) − x · y

Entonces (A, ∗, ) es un álgebra de color simétrica a izquierda

[x, y ] := R(x) · y + x · R(y ) − x · y − (x, y )(R(y ) · x + y · R(x) − y · x)

satisface la identidad de jacobi.

x ∗ y := R(x) · y − (x, y )y · R(x)

[x, y ] := R(x) · y + x · R(y ) − (x, y )(R(y ) · x + y · R(x) + y · x)