Bài 2
Cho và là các số nguyên dương nguyên tố cùng nhau với . Tập được tô bởi hai màu, mỗi số một màu xanh hoặc trắng, sao cho: (i) với mỗi , hai số và cùng màu; và (ii) với mỗi mà , hai số và cùng màu. Chứng minh rằng mọi số trong đều cùng một màu.
Bước 1 trên 5: Các bội của hoán vị tập
Hiểu nôm na
Nhân với theo modulo chỉ đơn giản là đánh số lại các số theo một thứ tự mới, giống như xáo một bộ bài mà không mất hay lặp lá nào, chính vì không có ước chung với .
Phân tích chi tiết
Vì nên phép nhân với là một song ánh trên các lớp thặng dư modulo ; gọi là đại diện của nằm trong (khác 0 vì và nên ). Khi chạy từ , các giá trị chạy qua đúng một lần tất cả các phần tử của , theo một thứ tự nào đó.