On cubic exceptional units (Q1325290): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3358827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion groups of elliptic curves with integral j-invariant over pure cubic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3933736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4237382 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4050661 / rank | |||
Normal rank |
Revision as of 16:12, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On cubic exceptional units |
scientific article |
Statements
On cubic exceptional units (English)
0 references
21 July 1994
0 references
Let \(m_ 1,m_ 2 \in \mathbb{Z}\) and \(P(x) \in \mathbb{Z}[x]\) of degree \(n > 0\). For an algebraic integer \(\alpha\) denote \(N(\alpha)\) the product of all its distinct conjugates. Let \(\mathbb{H}\) denote the set of cubic algebraic integers and \(\mathbb{H}_{P,m_ 1,m_ 2} = \mathbb{H}_{m_ 1,m_ 2}\) the set of solutions \(\eta \in \mathbb{H}\) of the system of equations \[ N(\eta) = m_ 1,\quad N(P(\eta)) = m_ 2.\tag{1} \] It is proved that if \(P\) is a power of a linear or a quadratic polynomial with positive discriminant, and if for a pair \((m_ 1,m_ 2) \neq (0,0)\) the set \(\mathbb{H}_{m_ 1,m_ 2}\) is non-empty then it is infinite, otherwise it is finite. This result is generally not effective, but if \(P\) has either at least two distinct irreducible divisors or \(P\) is a power of a quadratic polynomial with negative discriminant then the solutions of (1) are effectively computable. A simple consequence of the result is that if \(P(x) \in \mathbb{Z}[x]\) is of degree at least two and is not a power of a linear or a quadratic polynomial with positive discriminant then the set of those cubic units \(\eta\) for which \(P(\eta)\) is also a unit is finite. We remark that for special polynomials the problem of the complete resolution of (1) is closely related to the problem of determination all possible finite abelian groups which can appear as torsion group of elliptic curves with integral \(j\)-invariant over cubic number fields.
0 references
exceptional units
0 references
norm form equations
0 references
cubic algebraic integers
0 references