A Hopf-Galois correspondence for free algebras. (Q1883069)

Let \(R=k\langle X\rangle\) be a free associative algebra, where \(X\) is a set with at least two elements and \(k\) is a field. Endow \(R\) with the grading defined by assigning degree \(1\) to the variables in \(X\). Consider a finite dimensional pointed Hopf algebra \(H\) over \(k\) acting homogeneously and faithfully on \(R\). The authors state (Theorem 1.2) a Galois correspondence between the set \(\mathcal S\) of all right coideal subalgebras of \(H\), and the set \(\mathcal F\) of all free subalgebras of \(R\) containing the subalgebra of invariants of \(R\) under \(H\). This result has its origins in \textit{V. K. Kharchenko}'s Galois correspondences for group actions and Lie algebra actions [Algebra Logic 17, 316-321 (1979); translation from Algebra Logika 17, 478-487 (1978; Zbl 0433.16004) and Math. USSR, Izv. 18, 381-401 (1982); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 45, 435-462 (1981; Zbl 0469.16019)]. In fact, a major ingredient in the proof of the main theorem (namely, the proof of Theorem 3.1) is an adaptation of some proofs in Kharchenko's aforementioned papers. The Hopf algebraic major tools are the Taft-Wilson Theorem and a recent Galois correspondence for X-outer actions given by \textit{A. Masuoka} and \textit{T. Yanai} [in J. Algebra 265, No. 1, 229-246 (2003; Zbl 1035.16034)].