HomeSearchLibrary
Normal basis theorem | OmniWiki