The positive discriminant case of Nagell's theorem for certain cubic orders (Q626835): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Advanced Topics in Computional Number Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5838513 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fundamental units in a family of cubic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Systems of fundamental units in cubic orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The class number one problem for some totally complex quartic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3863959 / rank | |||
Normal rank |
Latest revision as of 19:36, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The positive discriminant case of Nagell's theorem for certain cubic orders |
scientific article |
Statements
The positive discriminant case of Nagell's theorem for certain cubic orders (English)
0 references
18 February 2011
0 references
Let \(a\) and \(b\) be two integers and \(f = X^{3} + aX^{2} + bX + 1\) be a cubic polynomial which is irreducible over the rational numbers. Let \(u\) be a real root of \(f\) and \(R:= Z[u]\) be the cubic order generated by \(u\). An element \(c\) of \(R\) is said to be a fundamental unit of \(R\), provided its absolute value \(|c|\) is a member of some basis of the torsion-free part of the unit group of \(R\). A natural question is whether \(u\) is necessary a fundamental unit of \(R\) in this sense. The case where \(f\) has a negative discriminant (case where \(u\) is the unique real root of \(f\)), was treated by \textit{T. Nagell} in his paper [``Zur Theorie der kubischen Irrationalitäten.'' Acta Math. 55, 33--65 (1930; JFM 56.0168.04)]. In this paper, the authors study the case where \(f\) has a positive discriminant (where the other two conjugates of \(u\) are also real); and they prove that \(u\) is always a fundamental unit of the order \(Z[u]\). The exceptions are shown to consist of a single infinite family together with one sporadic case. Their result is analogue of Nagell's result in the case where \(f\) has a negative discriminant (where \(u\) is the unique real root of \(f\)).
0 references
Cubic polynomials
0 references
cubic orders
0 references
discriminant
0 references
trace forms
0 references
fundamental units.
0 references