Serre 算術使用者指南/算術級數定理

有限阿貝爾群的特徵

模特徵

命題 5 使用了幾個巧妙的技巧

1. $\varepsilon :(2\mathbb {N} +1,\cdot )\to (\mathbb {Z} /2,+)$ 是一個么半群同態
2. $x\equiv 1{\text{ }}({\text{mod }}4l_{1}\cdots l_{k})$ 意味著 $x\equiv 1{\text{ }}({\text{mod }}4)$ 以及 $x\equiv 1{\text{ }}({\text{mod }}l_{i})$