1: \begin{abstract}
2: Actions of semisimple Hopf algebras $H$ over an algebraically
3: closed field of characteristic zero on commutative
4: domains were classified recently by the authors in
5: \cite{EtingofWalton:ssHopf}. The answer turns out to be very
6: simple -- if the action is inner faithful, then $H$ has to be a
7: group algebra. The present article contributes to the
8: non-semisimple case, which is much more complicated.
9: Namely, we study actions of finite dimensional (not necessarily semisimple)
10: Hopf algebras on commutative domains, particularly when $H$ is
11: pointed of finite Cartan type.
12:
13: The work begins by reducing to the case where $H$ acts inner
14: faithfully on a field; such a Hopf algebra is referred to as {\it Galois-theoretical}.
15: We present examples of such Hopf algebras, which include the Taft
16: algebras, $u_q(\mf{sl}_2)$,
17: and some Drinfeld twists of other small quantum groups.
18: We also give many examples of finite dimensional Hopf algebras
19: which are not Galois-theoretical.
20: Classification results on finite dimensional pointed
21: Galois-theoretical Hopf algebras of finite Cartan type will be provided in the sequel, Part II, of this study.
22: \end{abstract}
23: