Hopf Forms and Hopf-Galois Theory

Authors Timothy Kohl, Robert G. Underwood

Publication date 10 October 2020

Abstract: Let

K

be a finite field extension of

Q

and let

N

be a finite group with automorphism group

F = A u t (N)

. R. Haggenm"{u}ller and B. Pareigis have shown that there is a bijection [Theta: {mathcal Gal}(K,F) ightarrow {mathcal Hopf}(K[N])] from the collection of

F

-Galois extensions of

K

to the collection of Hopf forms of the group ring

K [N]

. For

N = C_{n}

,

n g e 1

,

C_{p}^{m}

,

p

prime,

m g e 1

, and

N = D_{3}, D_{4}, Q_{8}

, we show that

Q [N]

admits an absolutely semisimple Hopf form

H

and find

L

for which

T h e t a (L) = H

. Moreover, if

H

is the Hopf algebra given by a Hopf-Galois structure on a Galois extension

E / K

, we show how to construct the preimage of

H

under

T h e t a

assuming certain conditions.

This page was built for publication: Hopf Forms and Hopf-Galois Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6350977)