14.08.2013 Views

TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...

TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...

TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

(ii) For all x,y,z,t ∈ N, one has<br />

4.4. Symmetric Novikov algebras<br />

B((x,y,z),t) = B((xy)z − x(yz),t) = B(x,y(zt) − (yz)t) = −B(x,(y,z,t)).<br />

Therefore, As(N) = (N,N,N) ⊥ . To prove N(N) = As(N), we fix x ∈ As(N) and let<br />

y,z,t ∈ N. Since (x,z,t) = 0 and (III) one has (z,x,t) = 0. Moreover, B((y,z,x),t) =<br />

−B(y,(z,x,t)) and B non-degenerate imply (y,z,x) = 0, for all y,z ∈ N. Hence,<br />

N(N) = As(N).<br />

(iii) Let x ∈ LAnn(N) then B(xN,N) = B(x,N 2 ) = 0. It means that x ∈ (N 2 ) ⊥ . Conversely,<br />

if x ∈ (N 2 ) ⊥ then since B(xN,N) = B(x,N 2 ) = 0 one has x ∈ LAnn(N).<br />

It implies that LAnn(N) = (N 2 ) ⊥ . Similarly, we obtain LAnn(N) = RAnn(N) =<br />

Ann(N) = (N 2 ) ⊥ .<br />

Proposition 4.4.7. Let N be a Novikov algebra then<br />

(1) Z(N) is a commutative subalgebra.<br />

(2) As(N), N(N) are ideals.<br />

Proof.<br />

(1) Let x,y ∈ Z(N) then (xy)z = (xz)y = (zx)y = z(xy)+(z,x,y) = z(xy), for all z ∈ N. Therefore,<br />

xy ∈ Z(N) and then Z(N) is a subalgebra of N. Certainly, Z(N) is commutative.<br />

(2) Let x ∈ As(N),y,z,t ∈ N. By the equality<br />

(xy,z,t) = ((xy)z)t − (xy)(zt) = ((xz)t)y − (x(zt))y = (x,z,t)y = 0,<br />

one has xy ∈ As(N). Moreover,<br />

(yx,z,t) = ((yx)z)t − (yx)(zt) = (y(xz))t − y(x(zt))<br />

= (y,xz,t) + y((xz)t) − y(x(zt)) = y(x,z,t) = 0<br />

since xz ∈ As(N). Therefore As(N) is an ideal of N.<br />

Similarly, let x ∈ N(N),y,z,t ∈ N one has:<br />

and<br />

(y,z,xt) = (yz)(xt) − y(z(xt)) = ((yz)x)t − (yz,x,t) − y((zx)t − (z,x,t))<br />

= ((yz)x)t − (y(zx))t + (y,zx,t) = (y,z,x)t = 0<br />

(y,z,tx) = (yz)(tx) − y(z(tx)) = ((yz)t)x − (yz,t,x) − y((zt)x − (z,t,x))<br />

Then N(N) is also an ideal of N.<br />

= ((yz)x)t − y((zx)t) = (y,z,x)t + (y,zx,t) = 0.<br />

118

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!