Đại số, V, p. 166
Cho n và p là các số nguyên tố lẻ và phân biệt. a) Cho Q∈Fp[X] là ảnh của đa thức cyclotomic Φn. Chứng minh rằng số i các nhân tử bất khả quy của Q là chẵn khi và chỉ khi p là một bình phương modulo n. (Cho K là trường phân rã của Q. Chứng minh rằng Gal(K/Fp) có thể được đồng nhất với nhóm con của (Fn)∗ sinh bởi ảnh của p. Xét tính chẵn lẻ của chỉ số ((Fn)∗:Gal(K/Fp)).) b) Chứng minh rằng biệt thức của Xn−1∈Fp[X] là
(−1)2n(n−1)+n−1nn. c) Chứng minh rằng
i là chẵn khi và chỉ khi
(−1)2n(n−1)n là một bình phương modulo p (áp dụng Bài tập 22 cho đa thức
Xn−1). d) Đặt
(pn)=1 nếu
n là một bình phương modulo p và
(pn)=−1 nếu không. Suy ra từ c) rằng
(pn)(np)=(−1)4(n−1)(p−1)(một Luật tương hoˆ˜ bậc hai »).