Fix a -basis of a finite extension of degree . The coordinates of are polynomial functions of the coordinates of , because multiplication in has fixed structure constants. The determinant of those coordinate columns is therefore a polynomial, andThus the primitive-element locus is the distinguished Zariski-open set , possibly empty for a non-simple extension.
Articles by others on the same topic
There are currently no matching articles.