11.105 (1990)
Partially SolvedIts relatively free group of given rank has a presentation $F/N$, where $F$ is absolutely free of the same rank and $N$ fully invariant in $F$. The associated Lie ring $\mathscr{L}(F/N)$ has a presentation $L/J$, where $L$ is the free Lie ring of the same rank and $J$ an ideal of $L$.
$\qquad$ a) Is $J$ always fully invariant in $L$ if $\mathfrak{V}$ is any variety of groups?
$\qquad$ b) Is $J$ fully invariant in $L$ if $\mathfrak{V}$ is the Burnside variety of all groups of given exponent $q$, where $q$ is a prime-power, $q \geqslant 4$?
Progress
a) No, not always; the ideal $J$ is not fully invariant for $F/(F^2)^4$, that is, for $\mathfrak{V} = \mathfrak{B}_4\mathfrak{B}_2$ (D. Groves, J. Algebra, 211, no. 1 (1999), 15–25).
Proof claims
No proof claims yet.
Log in to claim a proof.
Comments
No comments yet. Be the first to comment.
Log in to post a comment.