Primitive normal bases for finite fields

Abstract

It is proved that any finite extension of a finite field has a normal basis consisting of primitive roots.