Sulla determinazione della base canonica di un ideale, ecc. 



1 1 



sibile per p il nnmero — — e quindi d h . Se ne deduce che anche in questo caso p di- 

 ghh ' t 



vide g . D' altra parte, dovendo p entrare in d h a potenza più alta che in g hh , ed essendo 

 per la (13) : 



g hk = m(g, D( d h , d k )j , 



dovrà p entrare in d,, a potenza più alta che in g. Per conseguenza la massima potenza 

 di p che divide g è, anche in questo caso, p r/ , e perciò si conchiude come nel caso pre- 

 cedente. 



Poiché il valore del primo membro di (15) resta inalterato sopprimendo il fattore w 

 si deduce, in virtù di (11), che esso è uguale a /, e la prop. è dimostrata. 



Cai aula, maggio 1917. 



