Hopf algebra forms of the multiplicative group and other groups (Q1083506): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:07, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hopf algebra forms of the multiplicative group and other groups |
scientific article |
Statements
Hopf algebra forms of the multiplicative group and other groups (English)
0 references
1986
0 references
Let k be a commutative ring and G a finitely generated group with finite group of automorphisms F. In this paper, the authors determine Hopf(kG), the set of Hopf algebra forms of kG, i.e. the set of bialgebras H over k which, after faithfully flat ring extension L, become isomorphic to \(kG\otimes_ kL\cong LG\). By using the descent theory of \textit{A. Grothendieck} [Sém. Bourbaki 12, 1959/60, Exp. 190 (1960; Zbl 0229.14007)] or \textit{R. Haggenmüller} [''Über Invarianten separabler Galoiserweiterungen kommutativer Ringe'' (Dissertation, Univ. München 1979)] and the fact that \(Hopf\)-Aut\({}_ L(LG)\) is isomorphic to V(LF), the set of group-like elements of LF, and thus also to \(Gal\)-Aut\({}_ k(E^ F_ k)\) where \(E^ F_ k\) is the trivial F-Galois extension, the authors show that there is a bijection between Hopf(kG) and the set of F-Galois extensions of k. Explicitly, if K is an F-Galois extension of k, then the corresponding Hopf algebra form of kG is \[ H=\{\sum c_ gg\in KG| \quad \sum f(c_ g)f(g)=\sum c_ gg\text{ for all } f\in F\}. \] This correspondence together with known descriptions of quadratic extensions then yields an explicit description in terms of generators and relations of the Hopf algebra forms of kG for \(G={\mathbb{Z}}\), \(C_ 3\), \(C_ 4\) or \(C_ 6\) if \(Pic_ 2(k)=0\) and 2 is not a zero divisor in k. Note that pages 125 and 126 in this paper should be reversed.
0 references
finitely generated group
0 references
finite group of automorphisms
0 references
Hopf algebra forms
0 references
bialgebras
0 references
descent
0 references
group-like elements
0 references
trivial F-Galois extension
0 references
generators
0 references
relations
0 references