HT90 and ``simplest'' number fields (Q358946): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1207.6099 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a parameterized family of quadratic and cubic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automorphism polynomials in cyclic cubic extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3139838 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tables of octic fields with a quartic subfield / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Device for Generating Fields of Even Class Number / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5610449 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on a Polynomial of Emma Lehmer / rank
 
Normal rank
Property / cites work
 
Property / cites work: Special Units in Real Cyclic Sextic Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3924293 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3253828 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856819 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5811275 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A ratio ergodic theorem for Borel actions of ℤ<sup><i>d</i></sup>×ℝ<sup><i>k</i></sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3941473 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2770573 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the class number and unit index of simplest quartic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unités d'une famille de corps cycliques réels de degré 6 liés à la courbe modulaire \(X_ 1(13)\). (Units of a family of real cyclic fields of degree 6 related to the modular curve \(X_ 1(13))\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connection Between Gaussian Periods and Cyclic Units / rank
 
Normal rank
Property / cites work
 
Property / cites work: Euclidean number fields of large degree / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simple families of Thue inequalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837802 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Euclidean fields having a large Lenstra constant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3964682 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3481804 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient computation of root numbers and class numbers of parametrized families of real abelian number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characterization of C-fields via Galois groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizing cyclic cubic extensions by automorphism polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetic properties of periodic points of quadratic maps, II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur un type particulier d'unités algébriques / rank
 
Normal rank
Property / cites work
 
Property / cites work: On simple families of cyclic polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quintic Polynomials and Real Cyclotomic Fields with Large Class Number / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Simplest Cubic Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unit Groups and Class Numbers of Real Cyclic Octic Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: An inequality relating the regulator and the discriminant of a number field / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal integral bases for Emma Lehmer's parametric family of cyclic quintics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3863959 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class numbers of cubic cyclic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3943047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class Numbers of the Simplest Cubic Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Family of Cyclic Quartic Fields Arising from Modular Curves / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:42, 6 July 2024

scientific article
Language Label Description Also known as
English
HT90 and ``simplest'' number fields
scientific article

    Statements

    HT90 and ``simplest'' number fields (English)
    0 references
    0 references
    9 August 2013
    0 references
    Let \(L/k\) be a cyclic extension of degree \(n\) with Galois group \(\langle\sigma\rangle\). Hilbert's Theorem 90 characterizes elements of norm \(1: N_{L/K}(\beta)= 1\) if and only if there exists \(\alpha\in L\) such that \(\beta= \alpha/\sigma(\alpha)\). The usual proof uses the formula \[ \alpha= \theta+ \sigma(\theta)\beta+ \sigma^2(\theta)\beta\sigma(\beta)+\cdots+ \sigma^{n-1}(\theta) \beta\sigma(\beta)\cdots \sigma^{n-2}(\beta). \] If \(N_{L/K}(\beta)= 1\), this formula makes \(\beta= \alpha/\sigma(\alpha)\) a formal identity, but we need Artin's theorem on characters to prove that \(\alpha\neq 0\) for some \(\theta\in L\). Instead of this, the author imposes here ``the Murphy condition (M)'' that taking \(\theta=1\) makes \(\alpha= 0\): \[ 1+ r+ r\sigma(r)+\cdots+ r\sigma^{n-1}(r)\cdots\sigma^{n-2}= 0;\tag{M} \] then \(N_{L/k}= 1\). He proves that for \(n\geq 3\), there is a primitive element \(r\) of \(L\) over \(k\) for which (M) holds. Unfortunately, (M) alone does not force cyclic extensions. When \(n= 3\), (M) leads to a defining polynomial of the form \[ P(X)= X^3- AX^2- (A+3) X-1 \] for some \(A\in k\). \textit{D. Shanks} called the fields defined by a \(P(X)\) with \(A\in\mathbb Z\) the ``simplest'' cubic fields [Math. Comput. 28, 1137--1152 (1974; Zbl 0307.12005)]. Certain families of cyclic number fields of degrees 4, 5 and 6 have subsequently been dubbed ``simplest''. They also have defining polynomials whose zeros are units satisfying (M). Further investigation of (M) for \(n=4\) leads to an elementary algebraic construction of a 2-parameter family of octic polynomials with ``generic'' Galois group \({_3T_{11}}\). Imposing an additional algebraic condition on these octics, the author produces a new family of cyclic quartic extensions. This family includes the ``simplest'' quartic fields and Washington's cyclic quartic fields as special cases.
    0 references
    0 references
    Hilbert's Theorem 90
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references