שיחת תבנית:תרשים זרימה להוכחות משפט דיריכלה/תרשים

חלקי חילוף

$G-{\text{f. ab. group}}\Rightarrow G\cong \prod \limits _{i=1}^{k}\mathbb {Z} \vert _{n_{i}}$ $G-{\text{f. ab. group}}\Rightarrow G\cong \prod \limits _{i=1}^{k}\mathbb {Z} \vert _{n_{i}}$

$\forall 1\neq x\in \mathbb {Z} \vert _{m}^{\times }$ $\forall 1\neq x\in \mathbb {Z} \vert _{m}^{\times }$

$\mathbb {Z} |_{m}^{\times }\cong \prod \limits _{i=1}^{k}\mathbb {Z} |_{n_{i}}$ $\mathbb {Z} |_{m}^{\times }\cong \prod \limits _{i=1}^{k}\mathbb {Z} |_{n_{i}}$

=$1\neq x\in \mathbb {Z} \vert _{m}^{\times }\Rightarrow \sum \limits _{\chi \in {\widehat {\mathbb {Z} \vert _{m}^{\times }}}}\chi (x)=0$ =$1\neq x\in \mathbb {Z} \vert _{m}^{\times }\Rightarrow \sum \limits _{\chi \in {\widehat {\mathbb {Z} \vert _{m}^{\times }}}}\chi (x)=0$