Les opérations étant définies terme à terme,Ep est un sous-espace vectoriel de CN. L’application
Ep⟶Cp,u⟼(u0,…,up−1) est un isomorphisme. Par conséquentdimEp=p.
Posons ω=e2iπ/p. Pourk∈{0,…,p−1}, définissons la suite géométrique
gk=(ωkn)n∈N. Ces suites sont p-périodiques. Leur matrice de premiers termes est la matrice de Vandermonde
(ωkj)0≤j,k≤p−1, associée aux nombres distincts1,ω,…,ωp−1. Elle est inversible. La famille(g0,…,gp−1)est donc libre, puis base de Ep.