Divisorial ideal