No CrossRef data available.
Finding fundamental units in algebraic number fields
Published online by Cambridge University Press: 24 October 2008
Extract
Recently Cusick [4] presented a very elegant and short proof of the fact that a pair of fundamental units of a totally real cubic or quartic number field can be found by taking ‘successive minima’ of the function tr(ε2), where ε runs through the group of units and tr denotes the absolute trace. Hidden in Cusick's proof there is a general theorem, which shows how strictly convex functions can be used to find lattice-vectors extensible to a basis of a given geometrical lattice, and which we state and prove in § 3. A result analogous to Cusick's for some families of functions related to tr (ε2) is given in Theorem 1, thereby improving results of Brunotte and Halter-Koch [2], [5]. For a survey of unit groups of rank 2 and more literature the reader is also referred to [2].
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 98 , Issue 3 , November 1985 , pp. 383 - 388
- Copyright
- Copyright © Cambridge Philosophical Society 1985