Pra-Lie-alĝebro

En algebro, pra-Lie-alĝebro estas ĝeneraligo de la koncepto de asocieca alĝebro, plenumanta malfortigitan aksiomon de asocieco, kies komutilo tamen plenumas la aksiomon de alĝebro de Lie.

Laŭ la usona fizikisto John Baez, Ŝablono:Citaĵo

Difino

Supozu ke $K$ estas komuta ringo. Do, dekstra pra-Lie-alĝebro super $K$ estas $K$-modulo $V$ ekipita per dulineara operacio

$◃:V{\otimes }_{K}V\to V$

plenumanta la jenan aksiomon:

${\mathrm{asoc}}_{◃}(x,y,z)={\mathrm{asoc}}_{◃}(x,z,y)$.

En la ĉi-supra aksiomo, $\mathrm{asoc}$ estas la asociilo

${\mathrm{asoc}}_{◃}(x,y,z)\stackrel{\text{dif}}{=}(x◃y)◃z-x◃(y◃z)$.

La maldekstra pra-Lie-alĝebro estas simile $K$-modulo ekipita per dulineara operacio

$▹:V{\otimes }_{K}V\to V$

plenumanta la malan aksiomon:

${\mathrm{asoc}}_{▹}(x,y,z)={\mathrm{asoc}}_{▹}(y,x,z)$.

Ecoj

Dekstra (aŭ maldekstra) pra-Lie-alĝebro povas esti rigardata kiel alĝebro de Lie, se oni difinas la Lie-krampon kiel la komutilon:

$[x,y]\stackrel{\text{dif}}{=}a◃b-b◃a$.

Ekzemploj

Asocieca alĝebro (eble sen unuo) estas kaj dekstra pra-Lie-alĝebro kaj maldekstra pra-Lie-alĝebro, ĉar la asociilo simple nulas.

Historio

La koncepton pre-Lie-alĝebro enkondukis la usona matematikisto Murray Gerstenhaber (1927–).

Eksteraj ligiloj

• Ŝablono:Citaĵo el la reto