Skip to main content
3 of 4
deleted 2 characters in body; edited title
YCor
  • 63.9k
  • 5
  • 187
  • 286

Lie structure over $R$-module

In Higgins' paper Baer invariants and the Birkhoff-Witt theorem (J. Algebra 11 (1969) 469–482, doi:10.1016/0021-8693(69)90086-6) the following definition is given:

A Lie structure over the $R$-module $M$ is a $T(M)$-bimodule $A$ together with a bilinear function $M\otimes M\to A$ taking $x \otimes y \mapsto \langle x,y\rangle$, satisfying

  • $\langle x,x\rangle = 0$;

  • $\langle x,y\rangle t(uv-vu)=(xy-yx)t\langle u,v\rangle$, for all $x,y,u,v \in M$ and $t \in T(M)$; and

  • $(\langle x,y\rangle z-z\langle x,y\rangle)+(\langle y,z\rangle x-x\langle y,z\rangle)+(\langle z,x\rangle y-y\langle z,x\rangle) = 0$, for $x,y,z \in M$.

My question is, how does this generalize the case of a Lie algebra over a field? And what is the motivation behind the second condition? Why can't we simply define a Lie structure over a ring to be an alternating bilinear form which satisfies the Jacobi identity?

nobody
  • 427
  • 2
  • 12