Skip to main content
2 of 3
formatting
YCor
  • 63.9k
  • 5
  • 187
  • 286

Complemented subalgebra in a free Lie ring

A Lie ring is a triple $(G,+, [\ ,\ ]),$ where $(G,+)$ is an abelian group and $ [\ ,\ ]$ is a bilinear map satisfying

  • $[x,x]=0$
  • $[\ ,\ ]$ is bilinear
  • $[[x,y],z]+[[y,z],x]+[[z.x],y]=0,\ \forall\ x,y,z\in G.$ (Jacobi identity).

The center of the Lie ring is defined as $$Z(G)=\{x\ |\ [x,y]=0,\ \forall\ y\in G\}.$$

Let $(G,+, [\ ,\ ])$ be a Lie ring with free presentation $$0\rightarrow R\rightarrow F\rightarrow G\rightarrow 1.$$ Now consider the quotient Lie ring $\tilde{F}=\frac{F}{R\cap [F,F]}$ and $\tilde{R}=\frac{R}{R\cap [F,F]}$. Then the subring $Z(\tilde{F})\cap [\tilde{F},\tilde{F}]$ of $Z(\tilde{F})$ has a complement subring in $Z(\tilde{F})$, i.e. there exists an ideal $\tilde{T}$ of $Z(\tilde{F})$ such that $$Z(\tilde{F})=Z(\tilde{F})\cap [\tilde{F},\tilde{F}]\times \tilde{T}.$$

I have seen in some article that authors have taken as assumption that if $\tilde{x}=x+[R,F]\in\frac{F}{[R,F]} $ such that $\tilde{x}^n\in \frac{[F,F]}{[R,F]}$ for some integer $n\in \mathbb{N}$ then $\tilde{x}\in \frac{[F,F]}{[R,F]}$ and assumed that this holds. But I am not able to conclude it. Please guide me in this regard.

MANI
  • 101
  • 6