Tập iđêan nguyên tố gắn kết của mô đun đối đồng điều địa phương artin