More about a Galois-type correspondence theory (Q5957528): Difference between revisions

The authors prove a Galois-type correspondence theory for actions of pointed Hopf algebras. Let \(R\) be a prime algebra, \(Q\) the symmetric Martindale quotient ring of \(R\) and \(K\) the extended centroid. It is well-known that \(K\) is a field. For nonempty subsets \(V\), \(W\) of any ring, let \(V^W\) denote the centralizer of \(W\) in \(V\). Let \(H\) be a finite-dimensional pointed Hopf algebra acting on \(R\). It is known that the action of \(H\) can be uniquely extended to \(Q\), and then \(R\subseteq R\#H\subseteq Q\#H\). A subalgebra \(U\) of \(R\) is called rationally complete if \(aI\subseteq U\) implies \(a\in U\) for \(a\in R\) and a nonzero ideal \(I\) of \(U\). Assume that the action of \(H\) on \(R\) is X-outer, i.e., \((Q\#H)^R=K\), which implies that \(K\) is stable under the action of \(H\). For \(U\subseteq R\), set \(\Phi(U):=(K\#H)^U\). The authors prove that \(R^{\Phi(U)}=U\) for any subalgebra \(U\) of \(R\) containing \(R^H\), and that if \(H\) is a finite-dimensional pointed Hopf algebra over a field \(k\) with \(\text{char }k=0\), then \(\Lambda=\Phi(R^\Lambda)\) for any \(H\)-comodule subalgebra \(\Lambda\subseteq K\#H\) containing \(K\).