Page 1 Next

Displaying 1 – 20 of 29

Showing per page

Un anneau de Prüfer

H. Lombardi (2010)

Actes des rencontres du CIRM

Let E be the ring of integer valued polynomials over . This ring is known to be a Prüfer domain. But it seems there does not exist an algorithm for inverting a nonzero finitely generated ideal of E . In this note we show how to obtain such an algorithm by deciphering a classical abstract proof that uses localisations of E at all prime ideals of E . This confirms a general program of deciphering abstract classical proofs in order to obtain algorithmic proofs.

Un exemple effectif de gradué non noethérien associé à une valuation divisorielle

Vincent Cossart, Carlos Galindo, Olivier Piltant (2000)

Annales de l'institut Fourier

Soit R = k [ x , y , z ] ( x , y , z ) le localisé de l’anneau des polynômes à trois variables sur le corps k de caractéristique nulle. Nous construisons une valuation divisorielle ν de R , nous calculons un système minimal de générateurs de la k -algèbre gr ν ( R ) associée à la filtration ν -adique. Ce système est infini : gr ν ( R ) n’est pas noethérien.

Currently displaying 1 – 20 of 29

Page 1 Next