Reciprocity by resultant in \(k[t]\) (Q2190075): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: MathOverflow / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5290047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Field Arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: QUADRATIC RECIPROCITY VIA RESULTANTS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On polynomial reciprocity law. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5531050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5607310 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2770573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sums of Squares of Polynomials with Coefficients in a Finite Field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Selmer groups and quadratic reciprocity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5834777 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal Subfields of an Algebraically Closed Field not Containing a Given Element / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2776773 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3158374 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:33, 22 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reciprocity by resultant in \(k[t]\) |
scientific article |
Statements
Reciprocity by resultant in \(k[t]\) (English)
0 references
18 June 2020
0 references
This article begins with a review of the quadratic reciprocity law in the polynomial ring \({\mathbb F}_q[t]\); in such fields, the reciprocity law can be formulated using resultants; in fact, it is easily seen to follow from the equation \(\big(\frac ab\big) = \chi(\)Res\((b,a))\), where \(\chi\) is the quadratic character on \({\mathbb F}_q^\times\). The authors generalize this result to poylnomial rings over perfect procyclic fields. A perfect procyclic field \(k\) is a pair \((k,F)\), where \(k\) is a perfect field and \(F\) a topological generator of the automorphism group of \(\overline{k}/k\); such an \(F\) exists if and only if every finite subextension of \(\overline{k}/k\) is Galois and cyclic. For any natural number \(n\) such that \(k\) contains the \(n\)-th roots of unity, a residue character \(\chi_{k,n}: k^\times \longrightarrow \mu_n\) into the group of \(n\)-th roots of unity may be defined by setting \(\chi_{k,n}(\alpha) = \frac{F(\alpha^{1/n})}{\alpha^{1/n}}\). Assume that \(a\) and \(p\) are coprime polynomials in the polynomial ring \(k[t]\), and that \(p\) is irreducible of degree \(d\). Let \(l_d\) be the unique subextension of \(\overline{k}/k\), and let \(\iota: k[t]/(p) \rightarrow l_d\) be an isomorphism of \(k\)-algebras. Then \((\frac ap)_n = \chi_{{l_d},n}(\iota(a \bmod p)) \) does not depend on the choice of \(\iota\) and defines an \(n\)-th power residue symbol. The main results are the relation \(\big( \frac ab \big)_n = \chi_{k,n}\mathrm{Res}(b,a))\) for monic polynomials \(b\) and the reciprocity law \(\big( \frac ab \big)_n = \chi_{k,n}(-1)^{\deg a \cdot \deg b} \big( \frac ba \big)_n\). The article is complemented by a discussion of proofs of the ordinary quadratic reciprocity law using resultants.
0 references
reciprocity law
0 references
resultant
0 references
polynomial ring
0 references
perfect procyclic field
0 references