Lie Ideals Closed Under Non-lie Polynomials |
Common terms and phrases
algebra L arbitrary rings associative algebra assume basis begin called canonical chapter characteristic zero clear clearly closed commutative domain commutative ring conclude consider construct contains a subalgebra corollary countable number defining Definition denote distinct eater-ideals equality exists fact following theorem formal ideal free associative algebra free Lie algebra freely given gives GR(A Heffalump algebra Hence homogeneous ideal of G indeterminates induction involution isomorphic Lie polynomial Lie subalgebra LR(X matrix maximal monomials n-tad nilpotent elements nonzero nonzero formal Note obtained pair particular prime ideal Proof properties prove quotient field R-module radical relations respectively result ring satisfies scalar-simple sequence set of indeterminates skew skew Lie algebras skew(A standard suffice to show Suppose symmetric theorem theorems 2.9 theory triad triad-eaters universal A-Heffalump algebra universal enveloping algebra