9f25d23dab360022.tex
1: \begin{abstract}
2:   It is well known that for any finite Galois extension field $\K/\F$,
3:   with Galois group $G = \mathrm{Gal}(\K/\F)$, there exists an element
4:   $\alpha \in \K$ whose orbit $G\cdot\alpha$ forms an $\F$-basis of
5:   $\K$. Such an element $\alpha$ is called \emph{normal} and
6:   $G\cdot\alpha$ is called a normal basis. In this paper we introduce
7:   a probabilistic algorithm for finding a normal element when $G$ is
8:   either a finite abelian or a metacyclic group. The algorithm is
9:   based on the fact that deciding whether a random element $\alpha \in
10:   \K$ is normal can be reduced to deciding whether $\sum_{\sigma \in
11:     G} \sigma(\alpha)\sigma \in \K[G]$ is invertible. In an algebraic
12:   model, the cost of our algorithm is quadratic in the size of $G$ for
13:   metacyclic $G$ and slightly subquadratic for abelian $G$.
14: \end{abstract}
15: