Browsing by Author "Jeans, Neville Stuart"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Calculation of fundamental units in some types of quartic number fields : a thesis presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics at Massey University
    (Massey University, 1984) Jeans, Neville Stuart
    Dirichlet's theorem describing the structure of the unit group of the ring of integers of an algebraic number field shows that the units are generated by a primitive root of unity of the field plus a finite set of units called a fundamental system of units. However Dirichlet's theorem does not suggest any method by which a fundamental system of units can be obtained. In this thesis we consider the problem of calculating a fundamental system of units for certain types of quartic field which are a quadratic extension of a quadratic field Q(δ). Our attention is mainly centered on type I quartic fields, that is quartic fields for which Q(δ) is complex. In such cases a fundamental system of units contains a single unit called a fundamental unit. To calculate fundamental units of type I quartic fields we use the simple continued fraction algorithm, real quadratic field case as a guide. This topic is reviewed in chapter one where we also note Voronoi's view of simple continued fractions in terms of relative minima of a Z module. In chapter two we consider the idea of relative minima of a module over a ring of complex quadratic integers. Basically we generalize the simple continued fraction algorithm which calculates best approximations to a real number using rational integer coefficients to an algorithm which calculates best approximations to a complex number using complex quadratic integer coefficients. The ideas are developed with respect to an arbitrary complex quadratic field Q(δ) and show many similarities to the simple continued fraction algorithm. (Existing work of this nature restricts its attention to cases where Q(δ) has class number one). We obtain an algorithm which is periodic for complex numbers w satisfying w2 є Q(δ), w ∉ Q(δ). This enables us to calculate units of type I quartic fields. In chapter three we consider quartic fields Q(Γ) which are a quadratic extension of a quadratic field Q(δ). In section one we express the ring of integers of Q(Γ) in terms of the integers of Q(δ) thereby recognising four forms which these rings may take. In section two we consider the problem of calculating fundamental units of type I quartic fields. The algorithm developed in chapter two is only guaranteed to locate a fundamental unit when the ring of integers of Q(Γ) is of the simplest of the four forms mentioned above. A modified version of the algorithm allows us to calculate a fundamental unit when the ring of integers of Q(Γ) is of the second simplest form. For the two remaining forms we obtain a unit U which may or may not be fundamental. We therefore develop an algorithm which calculates a fundamental unit from U. To illustrate the use of our algorithms we calculate fundamental units for the type I quartic fields Q(4√D), D Є Z, -99 ≤ D ≤ -1 Finally in section three we consider the calculation of a fundamental system of units for type IIb quartic fields, that is semi-real quartic fields which are a quadratic extension of a real quadratic field. A connection between type IIb and type I quartic fields enables us to calculate fundamental systems of units for type IIb quartic fields.
  • Thumbnail Image
    Item
    Units in some algebraic number fields : a thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Mathematics at Massey University.
    (Massey University, 1978) Jeans, Neville Stuart
    Dirichlet's theorem describes the structure of the group of units of the ring of algebraic integers of any algebraic number field. This theorem shows that any unit can be written in terms of a fundamental system of units. However Dirichlet's theorem does not suggest any method by which such a fundamental system of units (or indeed any units) can be obtained. This thesis looks at three types of algebraic number fields for which a fundamental system of units contains one unit, the so called fundamental unit. In each case properties of units and the problem of obtaining a fundamental unit are discussed. Chapter one is an introductory chapter which summarises the basic theory relevant to algebraic number fields of arbitrary degree. Basic properties of units and Dirichlet's theorem are also given. Chapter two looks at units of Quadratic fields, Q(√d). Units of imaginary quadratic fields are mentioned briefly but the chapter is mainly concerned with the more complicated problem of obtaining real quadratic units. The relevant theory of simple continued fractions is presented and the way in which units can be obtained from the simple continued fraction expansion of √d is outlined. The chapter then also looks at some recent papers dealing with the length of the period of √d and concludes by showing how units can be obtained from the simple continued fraction expansion of (1 + √d)/2 when d ≡ 1(mod 4). Chapter three looks at units of pure cubic fields. The basic properties of pure cubic units are developed and reference is made to various algorithms which can be used to obtain pure cubic units. The main purpose of this chpater is to present the results of the paper 'Determining the Fundamental Unit of a Pure Cubic Field Given any Unit' (Jeans and Hendy [l978]). However in this thesis a different approach to that of the paper is used and for two of the results sharper bounds have been obtained. Several examples are given using the algorithm which is developed from these results. Chapter four, which is original work, investigates the quartic fields, Q(d¼), where d is a square-free negative integer. Similarities between these quartic fields and the pure cubic and real quadratic fields are developed of which the main one is a quartic analogue of the results given in the paper mentioned above. The examples given in chapter three required multiprecision computer programs and these programs have been listed in appendix one.