More about a Galois-type correspondence theory (Q5957528): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:23, 30 January 2024
scientific article; zbMATH DE number 1717606
Language | Label | Description | Also known as |
---|---|---|---|
English | More about a Galois-type correspondence theory |
scientific article; zbMATH DE number 1717606 |
Statements
More about a Galois-type correspondence theory (English)
0 references
22 September 2002
0 references
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\).
0 references
X-outer actions
0 references
actions of pointed Hopf algebras
0 references
symmetric Martindale quotient rings
0 references
extended centroids
0 references
rationally complete subalgebras
0 references