Dedekixd, p. 452. 4. » p

. n £ N.7i £ lî.o.B h^(x^ , x.^ ,...a? J £ {h=T x^-\-T x^-^.,,-^-t xj . [defj

. 7i £ N . Ti c . £c £ (alg f Z,J . .'. a? £ irr^ /i . = : a^ , a, , ... a,^ £ /i .

. h,kzQ.hok,xz (alg f Z J o irr' fc . o . a? £ irr^ 7i . . 71 £N. . 0,^=Q^7t£ [a5£ (algf ZJ.r^irr^ r. 7i=raîjH-ra?2-f-...H-raî^ . -=xa]. [def.]

. A% ??- £ N . Ti £ Q^j . (a?j , a?2 , e. . a?/^) £ B 7i . o . A: ^ w . , Y ^Q^ ,

. 72 £ N . alg £ Q^ : =^ A .

B alg == A .

XE (algfZJr^irr^ r . /i = ra?i-f-r ccg -+-... -f-ra?,^ . o .*.

7t £ . =- : i , ^• £ Z,j . 0^-, ^ . a?i a?/^ £ 7i : 71 £ N . a? £ alg^ .o.Q^xzQ^.

» » . . Q^ a? == r -f-ra?-f-ra2^-f- ... H- r a?""* .

» » . 0. (I,a3,a?^^ ... a;''-^)£irr^r .

7t £ N . 7i £ Q^ . . a? £ alg^ . 7i = (î' a? . - =cc a .

N . et- £ alg,^ . o .*.

(2/1 , 2/2 , - 2/J £ B (iY x).a,,a.,,,..a,,zT-==^O.o. {a, y, ,a^y^, ..

(2/1 j y 2 r-Vn) £ B (Q'x) . : a, , «2 , ... a^, £ r . «i 2/i ? «2 2/2 ? - «>. 2/h £ A

— =«!,.. an A •

(a?^ , aÎ2 ^ ... a?,j) £ B (Q^x') . a £ r f (Z,, , Z,,) . Det a -=0 : i £ Z,^ . O/ . Vi = - «/ft ^h'-o.^y^jy^j ... 2/,J £ B (Q^a.-) .

(a?, , a?2 , ... X,,) , (y, , y., , .., ?/,,) £ B (iVx) . .-. a £ r f (Z,, , Z J . Det a- = : i £ Z,, . 0,- . ?/,• = 1 a^^ x^i-^^^a,

(2/1 7 2^2 ? -. 2/.J £ B (Q' aï) . a £ r f (Z,, , Z^J : i £ Z, . 0, . .'Tî/^ == 2 a^^i y^ : . norm a? == + Det a .

3, 3'. Dedekind, p. 466.