On the generalized Lie structure of associative algebras (Q677444): Difference between revisions

A cotriangular bialgebra is defined as a pair \((H,\langle 1\rangle)\), where \(H\) is a bialgebra and \(\langle 1\rangle\colon H\otimes H\to k\) is a \(k\)-bilinear form (called the braiding) such that for any \(h,g,l\in H\) (using the Sweedler notation) \[ (a)\;\sum\langle h_1|g_1\rangle g_2h_2=\sum h_1g_1\langle h_2|g_2\rangle,\;(b)\;\langle 1\rangle\text{ is convolution invertible in Hom}_k(H\otimes H,k), \] \[ (c)\;\langle h|gl\rangle=\sum\langle h_1|g\rangle\langle h_2|l\rangle,\quad (d)\;\langle hg|l\rangle=\sum\langle g|l_1\rangle\langle h|l_2\rangle,\quad (e)\;\sum\langle h_1|g_1\rangle\langle g_2|h_2\rangle=\varepsilon(g)\varepsilon(h). \] In this case the category \({^HM}\) of \(H\)-comodules is braided symmetric monoidal [cf. \textit{R. G. Larson} and \textit{J. Towber}, Commun. Algebra 19, 3295-3345 (1991; Zbl 0751.16014)]. The authors are concerned with algebras in \({^HM}\) of \(H\)-analogues of classical concepts. Thus if \(R\) is an algebra in \({^HM}\) which is a sum of two \(H\)-commutative subalgebras, they prove that \([R,R][R,R]=0\). This generalizes various results for superalgebras going back to the theorem of \textit{O. Kegel} [Math. Ann. 149, 258-260 (1963; Zbl 0106.25402)], that a ring which is a sum of two nilpotent subrings is itself nilpotent. Their next aim is to generalize the results of \textit{I. N. Herstein} [Am. J. Math. 77, 279-285 (1955; Zbl 0064.03601)] on Lie ideals in matrix rings. They conjecture that for any cotriangular Hopf algebra \(H\) and any \(H\)-simple algebra \(A\) in \({^HM}\), any \(H\)-Lie ideal \(U\) of \(A\) either contains \([A,A]\) or is contained in the \(H\)-centre of \(A\) unless \(A\) is 4-dimensional. As a special case they prove that if \(H\) is cocommutative and \([U,U]\neq 0\), then \(U\) contains \([A,A]\). They investigate further the case when \(H\) is a group algebra and work out some examples to illustrate the situation.