This page has been proofread, but needs to be validated.
856
NUMBER
  

where are elements of which may be called the co-ordinates of with respect to the base . Thus is a modulus (§ 44), and we may write . Having found one base, we can construct any number of equivalent bases by means of equations such as , where the rational integral coefficients are such that the determinant .

If we write

is a rational integer called the discriminant of the field. Its value is the same whatever base is chosen.

If is any integer in , the product of and its conjugates is a rational integer called the norm of , and written . By considering the equation satisfied by we see that where is an integer in . It follows from the definition that if are any two integers in , then ; and that for an ordinary real integer , we have .


46. Ideals.—The extension of Kummer’s results to algebraic numbers in general was independently made by J. W. R. Dedekind and Kronecker; their methods differ mainly in matters of notation and machinery, each having special advantages of its own for particular purposes. Dedekind’s method is based upon the notion of an ideal, which is defined by the following properties:—

(i.) An ideal is an aggregate of integers in .

(ii.) This aggregate is a modulus; that is to say, if are any two elements of (the same or different) is contained in . Hence also contains a zero element, and is an element of .

(iii.) If is any element of , and any element of , then is an element of . It is this property that makes the notion of an ideal more specific than that of a modulus.

It is clear that ideals exist; for instance, itself is an ideal. Again, all integers in which are divisible by a given integer (in ) form an ideal; this is called a principal ideal, and is denoted by . Every ideal can be represented by a base (§§ 44, 45), so that we may write , meaning that every element of can be uniquely expressed in the form , where is a rational integer. In other words, every ideal has a base (and therefore, of course, an infinite number of bases). If are any two ideals, and if we form the aggregate of all products obtained by multiplying each element of the first ideal by each element of the second, then this aggregate, together with all sums of such products, is an ideal which is called the product of and and written or . In particular . This law of multiplication is associative as well as commutative. It is clear that every element of is contained in : it can be proved that, conversely, if every element of is contained in , there exists an ideal such that . In particular, if is any element of , there is an ideal such that . A prime ideal is one which has no divisors except itself and . It is a fundamental theorem that every ideal can be resolved into the product of a finite number of prime ideals, and that this resolution is unique. It is the decomposition of a principal ideal into the product of prime ideals that takes the place of the resolution of an integer into its prime factors in the ordinary theory. It may happen that all the ideals in are principal ideals; in this case every resolution of an ideal into factors corresponds to the resolution of an integer into actual integral factors, and the introduction of ideals is unnecessary. But in every other case the introduction of ideals or some equivalent notion, is indispensable. When two ideals have been resolved into their prime factors, their greatest common measure and least common multiple are determined by the ordinary rules. Every ideal may be expressed (in an infinite number of ways) as the greatest common measure of two principal ideals.

47. There is a theory of congruences with respect to an ideal modulus. Thus means that is an element of . With respect to , all the integers in may be arranged in a finite number of incongruent classes. The number of these classes is called the norm of , and written . The norm of a prime ideal is some power of a real prime ; if , is said to be a prime ideal of degree . If are any two ideals, then . If , then , and there is an ideal such that . The norm of a principal ideal is equal to the absolute value of as defined in § 45.

The number of incongruent residues prime to is—

,

where the product extends to all prime factors of . If is any element of prime to ,

.

Associated with a prime modulus for which we have primitive roots, where has the meaning given to it in the ordinary theory. Hence follow the usual results about exponents, indices, solutions of linear congruences, and so on. For any modulus we have , where the sum extends to all the divisors of .

48. Every element of which is not contained in any other ideal is an algebraic unit. If the conjugate fields consist of real and imaginary fields, there is a system of units , where , such that every unit in is expressible in the form where is a root of unity contained in and are natural numbers. This theorem is due to Dirichlet.

The norm of a unit is or ; and the determination of all the units contained in a given field is in fact the same as the solution of a Diophantine equation

.

For a quadratic field the equation is of the form , and the theory of this is complete; but except for certain special cubic corpora little has been done towards solving the important problem of assigning a definite process by which, for a given field, a system of fundamental units may be calculated. The researches of Jacobi, Hermite, and Minkowsky seem to show that a proper extension of the method of continued fractions is necessary.


49. Ideal Classes.—If is any ideal, another ideal can always be found such that is a principal ideal; for instance, one such multiplier is . Two ideals are said to be equivalent () or to belong to the same class, if there is an ideal such that are both principal ideals. It can be proved that two ideals each equivalent to a third are equivalent to each other and that all ideals in may be distributed into a finite number, , of ideal classes. The class which contains all principal ideals is called the principal class and denoted by .

If are any two ideals belonging to the classes respectively, then belongs to a definite class which depends only upon and may be denoted by or indifferently. Thus the class-symbols form an Abelian group of order , of which is the unit element; and, mutatis mutandis, the theorems of § 37 about composition of classes still hold good.

The principal theorem with regard to the determination of is the following, which is Dedekind’s generalization of the corresponding one for quadratic fields, first obtained by Dirichlet. Let

where the sum extends to all ideals contained in ; this converges so long as the real quantity is positive and greater than . Then being a certain quantity which can be calculated when a fundamental system of units is known, we shall have

.

The expression for is rather complicated, and very peculiar; it may be written in the form

where means the absolute value of the square root of the discriminant of the field, have the same meaning as in § 48, is the number of roots of unity in , and is a determinant of the form , of order , with elements which are, in a certain special sense, “logarithms” of the fundamental units .

50. The discriminant enjoys some very remarkable properties. Its value is always different from ; there can be only a finite number of fields which have a given discriminant; and the rational prime factors of are precisely those rational primes which, in , are divisible by the square (or some higher power) of a prime ideal. Consequently, every rational prime not contained in is resolvable, in , into the product of distinct primes, each of which occurs only once. The presence of multiple prime factors in the discriminant was the principal difficulty in the way of extending Kummer’s method to all fields, and was overcome by the introduction of compound moduli—for this is the common characteristic of Dedekind’s and Kronecker’s procedure.


51. Normal Fields.—The special properties of a particular field are closely connected with its relations to the conjugate fields . The most important case is when each of the conjugate fields is identical with : the field is then said to be Galoisian or normal. The aggregate of all rational functions of and its conjugates is a normal field: hence every arithmetical field of order is either normal, or contained in a normal field of a higher order. The roots of an equation which defines a normal field are associated with a group of substitutions: if this is Abelian, the field is called Abelian; if it is cyclic, the field is called cyclic. A cyclotomic field is one the elements of which are all expressible as rational functions of roots of unity; in particular the complete cyclotomic field , of order , is the aggregate of all rational functions of a primitive mth root of unity. To Kronecker is due the very remarkable theorem that all Abelian (including cyclic) fields are cyclotomic: the first published proof of this was given by Weber, and another is due to D. Hubert.

Many important theorems concerning a normal field have been established by Hilbert. He shows that if is a given normal field of order , and any of its prime ideals, there is a finite series of associated fields , of orders , such that , and that if , , a prime ideal in . If is the last of this series, it is called the field of inertia