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})$