Let $\chi_0$ be the unique Dirichlet character $\text{mod }1$ (i.e. $\chi_0(n) = 1$ for all $n$), $\zeta_p$ be a primitive $p$th root of $1$, and for any $a \in \mathbb{F}_p^\times$ and any Dirichlet character $\chi$ modulo $p$ (or $\chi_0 \text{ mod }1$) define the Gauss sum$$g_a(\chi) = \sum_{x \in \mathbb{F}_p} \chi(x)\zeta_p^{ax}.$$
Let $m$ be an integer prime to $p$ such that $\chi^m = \chi_0$ on elements of $\mathbb{F}_p^\times$. We let $\zeta_m$ be a primitive $m$th root of unity. For $b$ any integer prime to $m$ define $\sigma_b \in \text{Gal}(\mathbb{Q}(\zeta_m, \zeta_p)/\mathbb{Q})$ by $\sigma_b(\zeta_m) = \zeta_m^b$, $\sigma_b(\zeta_p) = \zeta_p$. How do I see that $$g_1(\chi)^{b - \sigma_b} = {{g_1(\chi)^b}\over{\sigma_b(g_1(\chi))}}$$belongs to $\mathbb{Q}(\zeta_m)$ and that $g_1(\chi)^m \in \mathbb{Q}(\zeta_m)$?
