Necesito demostrar que GRSn,k(α,1)⊥=GRSn,n−k(α,α) , donde α=(1,a,…,an−1) , a es una primitiva n -raíz de la unidad, 1=(1,1,…,1) .
Así que, para demostrar esto, creo que basta con mostrar que c⋅c′=0 para todos c∈GRSn,k(α,1) y para todos c′∈GRSn,n−k(α,α) . Estoy un poco atascado en cómo enfocar esto, ¿debo ir con la matriz generadora o algo más?