Recognizing Hopf algebroids defined by a group action. (Q2483831): Difference between revisions

Let \(A\) be a complete Noetherian regular local ring, and suppose that \(S\) is a profinite group acting continuously on \(A\) via ring homomorphisms. Let \(\Gamma=\text{Map}_c(S,A)\), the algebra of continuous functions from \(S\) to \(A\). Then \((A,\Gamma)\) has a canonical structure of a complete Hopf algebroid, determined by the action of \(S\) on \(A\). The author gives necessary and sufficient conditions for a general complete Hopf algebroid to be of this form. The author also supplies some applications to Morava theory.