A note on Jacobi sums. III (Q1318930): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q396524 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Noriko Yui / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3792/pjaa.69.272 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4254663229 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on Jacobi sums. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Jacobi Sums as "Grossencharaktere" / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708084 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Gaussian sum and the Jacobi sum with its application / rank | |||
Normal rank |
Latest revision as of 14:26, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on Jacobi sums. III |
scientific article |
Statements
A note on Jacobi sums. III (English)
0 references
19 December 1994
0 references
The notation and convention remain the same as in part II (cf. preceding review). In the present paper, a new proof is given to the fact that \(\mathbb{Q} (J({\mathfrak p}))= \mathbb{Q}({\mathfrak p})\) if \(f\) is odd. For \(\omega\in \mathbb{Z} [{\mathcal G}]\), define the quotient space \(H({\mathfrak p}^ \omega)= {\mathcal G} ({\mathfrak p}^ \omega)/ {\mathcal G} ({\mathfrak p})\). Now we identify \({\mathcal G}\) with the cyclic group \(\mathbb{F}^*_ \ell\). Then for any \(\omega= \sum_{t\in \mathbb{F}^*_ \ell} a(t) \sigma_ t\in \mathbb{Z}[{\mathcal G}]\), \(H({\mathfrak p}^ \omega)\) is simply given by \[ H ({\mathfrak p}^ \omega)= \Bigl\{ s\in \mathbb{F}\mid \chi(s)=1 \text{ for all } \chi\in \widehat {\mathbb{F}} \text{ such that } \sum_{t\in \mathbb{F}^*_ \ell} a(t) \overline{\chi} (t) \neq 0\Bigr\}. \] Here \(\mathbb{F}\) stands for \(\mathbb{F}^*_ \ell/ (\mathbb{F}^*_ \ell )^ g\). The proof of the statement then boils down to show that \(H({\mathfrak p}^ \omega) =1\) if \(f\) is odd. The new proof is somewhat inspired by Stickelberger's theorem.
0 references
Jacobi sums
0 references
decomposition field
0 references
Stickelberger's theorem
0 references
cyclotomic field
0 references
power residue symbol
0 references
Galois group
0 references