Splitting of the radical in finite-dimensional H-module algebras (Q923701)

The author extends the classical radical splitting theory of Wedderburn and Malcev for finite-dimensional algebras to Hopf module algebras. Thus let H be a bialgebra over a field k, A an H-Hopf module algebra. The author defines and gives several equivalent conditions for A to be H- separable, one of which is that the H-invariants \((A\otimes A)^ H\) of \(A\otimes A\) with the diagonal action contain an element e such that \(ae=e\) for a in A with the natural left and right actions of A on \(A\otimes A\) and \(m(e)=1\), where m is the multiplication in A. For a finite-dimensional H-module algebra A, the H-radical \(N=Rad_ HA\) is the maximal H-stable nilpotent ideal. The main theorem asserts that if A/N is H-separable and a projective H-module, then A has an H-stable subalgebra S isomorphic to A/N and \(A=S+N\). If S and \(S'\) are two such subalgebras, then \(N^ H\) has an element r such that \(S'=(1-r)^{-1}S(1-r)\). This result applies to algebras A graded by a finite group, and to H which are semisimple group algebras of a finite group or restricted enveloping algebras of certain restricted Lie algebras. Some of these special cases, as well as H being the group algebra of a completely reducible group, were considered earlier by the reviewer [Trans. Am. Math. Soc. 113, 18-29 (1964; Zbl 0127.257)] and \textit{H. P. Allen} [Bull. Am. Math. Soc. 78, 245-246 (1972; Zbl 0235.17006)], both of whom also studied actions on Lie algebras and other nonassociative algebras.