CO* = M

;i ta forme

rf(a)

et l'on aura \m l = a„,,Om, ; si nous considérons la différence i„" = <o" — ",„,<•>,„, et si nous poursuivons ce raisonnement, nous en concluerons l'exactitude du t lu'-. . rème 1 5).

Les nombres w, g>,„ forment ce que nous appellerons une hase du système de

tous les nombres entiers du corps k, ou tout simplement une base <lu corps /.'. Toute .autre base du corps est donnée par les formules

ta* =a„û>, +... + alm (..„,, où le déterminant des coefficients <z = ± i. [Dedekind ', Kronecker16.]