INVARIANTS ET RÉSIDUELLE D*UNE FORME MIXTE. III

Cette opération est univoque. Supposons en effet

F = Ao -h w Al H- Cl)' Aj H- . . . = Bo 4- w B, -f- . . . .

Il faut avoir

Ao — Bo^o (modco).

Mais Ao — Bq est une %f„m'j donc

Ao— Bo=:o el Ao=Bc.

Après départ du facteur co, on aura de même

Aj — Bj^o (modto),

et comme A, — B, est une Mm-i.m-n ^^ ^ encore

44** On est maintenant à même de montrer que le domaine holoïde Cl est complet et bien défini. Ce sera l'objet du Chapitre suivant.

CIUPITUE IV.